diff options
author | Sascha Bischoff <sascha.bischoff@arm.com> | 2013-02-19 05:56:06 -0500 |
---|---|---|
committer | Sascha Bischoff <sascha.bischoff@arm.com> | 2013-02-19 05:56:06 -0500 |
commit | 86a4d092691bdcdc7b60f7cacd7d5b5c54d9a1ca (patch) | |
tree | 6fdc88e25bc34f2a5275c21c27e4c72608303cbf /src/mem/cache | |
parent | 0622f30961fc32b967bb1ef784afc5a205b16f6e (diff) | |
download | gem5-86a4d092691bdcdc7b60f7cacd7d5b5c54d9a1ca.tar.xz |
mem: Fix SenderState related cache deadlock
This patch fixes a potential deadlock in the caches. This deadlock
could occur when more than one cache is used in a system, and
pkt->senderState is modified in between the two caches. This happened
as the caches relied on the senderState remaining unchanged, and used
it for instantaneous upstream communication with other caches.
This issue has been addressed by iterating over the linked list of
senderStates until we are either able to cast to a MSHR* or
senderState is NULL. If the cast is successful, we know that the
packet has previously passed through another cache, and therefore
update the downstreamPending flag accordingly. Otherwise, we do
nothing.
Diffstat (limited to 'src/mem/cache')
-rw-r--r-- | src/mem/cache/mshr.cc | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/mem/cache/mshr.cc b/src/mem/cache/mshr.cc index 6fa22c9b4..86e2bebad 100644 --- a/src/mem/cache/mshr.cc +++ b/src/mem/cache/mshr.cc @@ -82,7 +82,10 @@ MSHR::TargetList::add(PacketPtr pkt, Tick readyTime, } if (markPending) { - MSHR *mshr = dynamic_cast<MSHR*>(pkt->senderState); + // Iterate over the SenderState stack and see if we find + // an MSHR entry. If we do, set the downstreamPending + // flag. Otherwise, do nothing. + MSHR *mshr = pkt->findNextSenderState<MSHR>(); if (mshr != NULL) { assert(!mshr->downstreamPending); mshr->downstreamPending = true; @@ -130,7 +133,13 @@ MSHR::TargetList::clearDownstreamPending() Iterator end_i = end(); for (Iterator i = begin(); i != end_i; ++i) { if (i->markedPending) { - MSHR *mshr = dynamic_cast<MSHR*>(i->pkt->senderState); + // Iterate over the SenderState stack and see if we find + // an MSHR entry. If we find one, clear the + // downstreamPending flag by calling + // clearDownstreamPending(). This recursively clears the + // downstreamPending flag in all caches this packet has + // passed through. + MSHR *mshr = i->pkt->findNextSenderState<MSHR>(); if (mshr != NULL) { mshr->clearDownstreamPending(); } |