changeset 0229c7b15ca1 in /z/repo/gem5
details: http://repo.gem5.org/gem5?cmd=changeset;node=0229c7b15ca1
description:
mem: Add check for block status on WriteLineReq fill
More checks to help with understanding of functionality.
diffstat:
src/mem/cache/cache.cc | 10 ++++++++++
1 files changed, 10 insertions(+), 0 deletions(-)
diffs (20 lines):
diff -r 3fd483cdd458 -r 0229c7b15ca1 src/mem/cache/cache.cc
--- a/src/mem/cache/cache.cc Fri Sep 25 07:26:58 2015 -0400
+++ b/src/mem/cache/cache.cc Fri Sep 25 07:26:58 2015 -0400
@@ -1657,6 +1657,16 @@
blk->status |= BlkSecure;
blk->status |= BlkValid | BlkReadable;
+ // sanity check for whole-line writes, which should always be
+ // marked as writable as part of the fill, and then later marked
+ // dirty as part of satisfyCpuSideRequest
+ if (pkt->cmd == MemCmd::WriteLineReq) {
+ assert(!pkt->sharedAsserted());
+ // at the moment other caches do not respond to the
+ // invalidation requests corresponding to a whole-line write
+ assert(!pkt->memInhibitAsserted());
+ }
+
if (!pkt->sharedAsserted()) {
// we could get non-shared responses from memory (rather than
// a cache) even in a read-only cache, note that we set this
_______________________________________________
gem5-dev mailing list
[email protected]
http://m5sim.org/mailman/listinfo/gem5-dev
