diff -r b595245892d9 -r cf2650519e34 src/mem/cache/cache_impl.hh --- a/src/mem/cache/cache_impl.hh Mon Nov 17 06:21:14 2014 +0000 +++ b/src/mem/cache/cache_impl.hh Mon Nov 17 06:21:29 2014 +0000 @@ -1693,7 +1693,12 @@ } if (respond) { - assert(!pkt->memInhibitAsserted()); + // prevent anyone else from responding, cache as well as + // memory, and also prevent any memory from even seeing the + // request (with current inhibited semantics), note that this + // applies both to reads and writes and that for writes it + // works thanks to the fact that we still have dirty data and + // will write it back at a later point pkt->assertMemInhibit(); if (have_exclusive) { pkt->setSupplyExclusive(); diff -r b595245892d9 -r cf2650519e34 src/mem/packet.hh --- a/src/mem/packet.hh Mon Nov 17 06:21:14 2014 +0000 +++ b/src/mem/packet.hh Mon Nov 17 06:21:29 2014 +0000 @@ -504,7 +504,12 @@ bool isFlush() const { return cmd.isFlush(); } // Snoop flags - void assertMemInhibit() { flags.set(MEM_INHIBIT); } + void assertMemInhibit() + { + assert(isRequest()); + assert(!flags.isSet(MEM_INHIBIT)); + flags.set(MEM_INHIBIT); + } bool memInhibitAsserted() const { return flags.isSet(MEM_INHIBIT); } void assertShared() { flags.set(SHARED); } bool sharedAsserted() const { return flags.isSet(SHARED); }