mem: Fix incorrect assert failure in the Cache
This patch fixes an assert condition that is not true at all times. There are valid situations that arise in dual-core dual-workload runs where the assert condition is false. The function call following the assert however needs to be called only when the condition is true (a block cannot be invalidated in the tags structure if has not been allocated in the structure, and the tempBlock is never allocated). Hence the 'assert' has been replaced with an 'if'.
This commit is contained in:
parent
c446dc40bd
commit
e88cffb30a
1 changed files with 4 additions and 4 deletions
8
src/mem/cache/cache_impl.hh
vendored
8
src/mem/cache/cache_impl.hh
vendored
|
@ -183,8 +183,8 @@ Cache<TagStore>::satisfyCpuSideRequest(PacketPtr pkt, BlkType *blk,
|
|||
pkt->assertMemInhibit();
|
||||
}
|
||||
// on ReadExReq we give up our copy unconditionally
|
||||
assert(blk != tempBlock);
|
||||
tags->invalidate(blk);
|
||||
if (blk != tempBlock)
|
||||
tags->invalidate(blk);
|
||||
blk->invalidate();
|
||||
} else if (blk->isWritable() && !pending_downgrade
|
||||
&& !pkt->sharedAsserted() && !pkt->req->isInstFetch()) {
|
||||
|
@ -1456,8 +1456,8 @@ Cache<TagStore>::handleSnoop(PacketPtr pkt, BlkType *blk,
|
|||
// Do this last in case it deallocates block data or something
|
||||
// like that
|
||||
if (invalidate) {
|
||||
assert(blk != tempBlock);
|
||||
tags->invalidate(blk);
|
||||
if (blk != tempBlock)
|
||||
tags->invalidate(blk);
|
||||
blk->invalidate();
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue