mem: Create a request copy for deferred snoops
Sometimes, we need to defer an express snoop in an MSHR, but the original request might complete and deallocate the original pkt->req. In those cases, create a copy of the request so that someone who is inspecting the delayed snoop can also inspect the request still. All of this is rather hacky, but the allocation / linking and general life-time management of Packet and Request is rather tricky. Deleting the copy is another tricky area, testing so far has shown that the right copy is deleted at the right time.
This commit is contained in:
parent
706597f021
commit
2847d5f517
2 changed files with 24 additions and 5 deletions
12
src/mem/cache/cache_impl.hh
vendored
12
src/mem/cache/cache_impl.hh
vendored
|
@ -1713,8 +1713,16 @@ Cache::handleSnoop(PacketPtr pkt, CacheBlk *blk, bool is_timing,
|
|||
|
||||
if (!respond && is_timing && is_deferred) {
|
||||
// if it's a deferred timing snoop then we've made a copy of
|
||||
// the packet, and so if we're not using that copy to respond
|
||||
// then we need to delete it here.
|
||||
// both the request and the packet, and so if we're not using
|
||||
// those copies to respond and delete them here
|
||||
DPRINTF(Cache, "Deleting pkt %p and request %p for cmd %s addr: %p\n",
|
||||
pkt, pkt->req, pkt->cmdString(), pkt->getAddr());
|
||||
|
||||
// the packets needs a response (just not from us), so we also
|
||||
// need to delete the request and not rely on the packet
|
||||
// destructor
|
||||
assert(pkt->needsResponse());
|
||||
delete pkt->req;
|
||||
delete pkt;
|
||||
}
|
||||
|
||||
|
|
17
src/mem/cache/mshr.cc
vendored
17
src/mem/cache/mshr.cc
vendored
|
@ -365,17 +365,28 @@ MSHR::handleSnoop(PacketPtr pkt, Counter _order)
|
|||
// Clear flags and also allocate new data as the original
|
||||
// packet data storage may have been deleted by the time we
|
||||
// get to send this packet.
|
||||
PacketPtr cp_pkt = new Packet(pkt, true, true);
|
||||
targets.add(cp_pkt, curTick(), _order, Target::FromSnoop,
|
||||
downstreamPending && targets.needsExclusive);
|
||||
PacketPtr cp_pkt = nullptr;
|
||||
|
||||
if (isPendingDirty()) {
|
||||
// Case 1: The new packet will need to get the response from the
|
||||
// MSHR already queued up here
|
||||
cp_pkt = new Packet(pkt, true, true);
|
||||
pkt->assertMemInhibit();
|
||||
// in the case of an uncacheable request there is no need
|
||||
// to set the exclusive flag, but since the recipient does
|
||||
// not care there is no harm in doing so
|
||||
pkt->setSupplyExclusive();
|
||||
} else {
|
||||
// Case 2: We only need to buffer the packet for information
|
||||
// purposes; the original request can proceed without waiting
|
||||
// => Create a copy of the request, as that may get deallocated as
|
||||
// well
|
||||
cp_pkt = new Packet(new Request(*pkt->req), pkt->cmd);
|
||||
DPRINTF(Cache, "Copying packet %p -> %p and request %p -> %p\n",
|
||||
pkt, cp_pkt, pkt->req, cp_pkt->req);
|
||||
}
|
||||
targets.add(cp_pkt, curTick(), _order, Target::FromSnoop,
|
||||
downstreamPending && targets.needsExclusive);
|
||||
|
||||
if (pkt->needsExclusive()) {
|
||||
// This transaction will take away our pending copy
|
||||
|
|
Loading…
Reference in a new issue