mem, cpu: Add assertions to snoop invalidation logic
authorStephan Diestelhorst <stephan.diestelhorst@arm.com>
Mon, 10 Aug 2015 10:25:52 +0000 (11:25 +0100)
committerStephan Diestelhorst <stephan.diestelhorst@arm.com>
Mon, 10 Aug 2015 10:25:52 +0000 (11:25 +0100)
This patch adds assertions that enforce that only invalidating snoops
will ever reach into the logic that tracks in-order load completion and
also invalidation of LL/SC (and MONITOR / MWAIT) monitors. Also adds
some comments to MSHR::replaceUpgrades().

src/arch/arm/locked_mem.hh
src/cpu/o3/lsq_unit_impl.hh
src/mem/cache/blk.hh
src/mem/cache/mshr.hh

index f324f773b2b04f411e34651ede901cbb22ac8777..8aa1812456dc2eadf7bd2d94d51a5ef76766fe93 100644 (file)
@@ -64,7 +64,10 @@ template <class XC>
 inline void
 handleLockedSnoop(XC *xc, PacketPtr pkt, Addr cacheBlockMask)
 {
-    DPRINTF(LLSC,"%s:  handleing snoop for address: %#x locked: %d\n",
+    // Should only every see invalidations / direct writes
+    assert(pkt->isInvalidate() || pkt->isWrite());
+
+    DPRINTF(LLSC,"%s:  handling snoop for address: %#x locked: %d\n",
             xc->getCpuPtr()->name(),pkt->getAddr(),
             xc->readMiscReg(MISCREG_LOCKFLAG));
     if (!xc->readMiscReg(MISCREG_LOCKFLAG))
@@ -74,7 +77,7 @@ handleLockedSnoop(XC *xc, PacketPtr pkt, Addr cacheBlockMask)
     // If no caches are attached, the snoop address always needs to be masked
     Addr snoop_addr = pkt->getAddr() & cacheBlockMask;
 
-    DPRINTF(LLSC,"%s:  handleing snoop for address: %#x locked addr: %#x\n",
+    DPRINTF(LLSC,"%s:  handling snoop for address: %#x locked addr: %#x\n",
             xc->getCpuPtr()->name(),snoop_addr, locked_addr);
     if (locked_addr == snoop_addr) {
         DPRINTF(LLSC,"%s: address match, clearing lock and signaling sev\n",
index b87ab02401b80bdaed1cccf7ccf1cb0e950f1c38..73be5e56f9af97eea5ed6747c25feac2997cda2a 100644 (file)
@@ -435,6 +435,9 @@ template <class Impl>
 void
 LSQUnit<Impl>::checkSnoop(PacketPtr pkt)
 {
+    // Should only ever get invalidations in here
+    assert(pkt->isInvalidate());
+
     int load_idx = loadHead;
     DPRINTF(LSQUnit, "Got snoop for address %#x\n", pkt->getAddr());
 
index 39d45d6e134d05c1d9cc90326359193b5eae5669..700847030ab4530a8172ffd192fe849ade8a5536 100644 (file)
@@ -335,6 +335,8 @@ class CacheBlk
      */
     bool checkWrite(PacketPtr pkt)
     {
+        assert(pkt->isWrite());
+
         // common case
         if (!pkt->isLLSC() && lockList.empty())
             return true;
index 82a674672cb97f0ea89975aa0cf937174b2d62a9..ea37193433e8e688a503e02370bd72f97bc4bad4 100644 (file)
@@ -149,7 +149,13 @@ class MSHR : public Packet::SenderState, public Printable
         bool isReset() const { return !needsWritable && !hasUpgrade; }
         void add(PacketPtr pkt, Tick readyTime, Counter order,
                  Target::Source source, bool markPending);
+
+        /**
+         * Convert upgrades to the equivalent request if the cache line they
+         * refer to would have been invalid (Upgrade -> ReadEx, SC* -> Fail).
+         * Used to rejig ordering between targets waiting on an MSHR. */
         void replaceUpgrades();
+
         void clearDownstreamPending();
         bool checkFunctional(PacketPtr pkt);
         void print(std::ostream &os, int verbosity,