ed8564a6b9
src/mem/cache/prefetch/tagged_prefetcher_impl.hh: Trying to merge src/mem/cache/base_cache.cc: src/mem/cache/base_cache.hh: src/mem/cache/cache.cc: src/mem/cache/cache.hh: src/mem/cache/cache_blk.hh: src/mem/cache/cache_builder.cc: src/mem/cache/cache_impl.hh: src/mem/cache/coherence/coherence_protocol.cc: src/mem/cache/coherence/coherence_protocol.hh: src/mem/cache/coherence/simple_coherence.hh: src/mem/cache/coherence/uni_coherence.cc: src/mem/cache/coherence/uni_coherence.hh: src/mem/cache/miss/blocking_buffer.cc: src/mem/cache/miss/blocking_buffer.hh: src/mem/cache/miss/miss_queue.cc: src/mem/cache/miss/miss_queue.hh: src/mem/cache/miss/mshr.cc: src/mem/cache/miss/mshr.hh: src/mem/cache/miss/mshr_queue.cc: src/mem/cache/miss/mshr_queue.hh: src/mem/cache/prefetch/base_prefetcher.cc: src/mem/cache/prefetch/base_prefetcher.hh: src/mem/cache/prefetch/ghb_prefetcher.cc: src/mem/cache/prefetch/ghb_prefetcher.hh: src/mem/cache/prefetch/stride_prefetcher.cc: src/mem/cache/prefetch/stride_prefetcher.hh: src/mem/cache/prefetch/tagged_prefetcher.hh: src/mem/cache/tags/base_tags.cc: src/mem/cache/tags/base_tags.hh: src/mem/cache/tags/fa_lru.cc: src/mem/cache/tags/fa_lru.hh: src/mem/cache/tags/iic.cc: src/mem/cache/tags/iic.hh: src/mem/cache/tags/lru.cc: src/mem/cache/tags/lru.hh: src/mem/cache/tags/repl/gen.cc: src/mem/cache/tags/repl/gen.hh: src/mem/cache/tags/repl/repl.cc: src/mem/cache/tags/repl/repl.hh: src/mem/cache/tags/split.cc: src/mem/cache/tags/split.hh: src/mem/cache/tags/split_blk.hh: src/mem/cache/tags/split_lifo.cc: src/mem/cache/tags/split_lifo.hh: src/mem/cache/tags/split_lru.cc: src/mem/cache/tags/split_lru.hh: Pulling an early version of the cache into the tree due to merging issues. Will apply patches and push. --HG-- extra : convert_revision : 3276e5fb9a6272681a1690babf2b586dd0e1f380
567 lines
21 KiB
C++
567 lines
21 KiB
C++
/*
|
|
* Copyright (c) 2002-2005 The Regents of The University of Michigan
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions are
|
|
* met: redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer;
|
|
* redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution;
|
|
* neither the name of the copyright holders nor the names of its
|
|
* contributors may be used to endorse or promote products derived from
|
|
* this software without specific prior written permission.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
* OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*
|
|
* Authors: Erik Hallnor
|
|
* Steve Reinhardt
|
|
* Ron Dreslinski
|
|
*/
|
|
|
|
/**
|
|
* @file
|
|
* Definitions of CoherenceProtocol.
|
|
*/
|
|
|
|
#include <string>
|
|
|
|
#include "base/misc.hh"
|
|
#include "mem/cache/miss/mshr.hh"
|
|
#include "mem/cache/cache.hh"
|
|
#include "mem/cache/coherence/coherence_protocol.hh"
|
|
#include "sim/builder.hh"
|
|
|
|
using namespace std;
|
|
|
|
|
|
CoherenceProtocol::StateTransition::StateTransition()
|
|
: busCmd(InvalidCmd), newState(-1), snoopFunc(invalidTransition)
|
|
{
|
|
}
|
|
|
|
|
|
void
|
|
CoherenceProtocol::regStats()
|
|
{
|
|
// Even though we count all the possible transitions in the
|
|
// requestCount and snoopCount arrays, most of these are invalid,
|
|
// so we just select the interesting ones to print here.
|
|
|
|
requestCount[Invalid][Read]
|
|
.name(name() + ".read_invalid")
|
|
.desc("read misses to invalid blocks")
|
|
;
|
|
|
|
requestCount[Invalid][Write]
|
|
.name(name() +".write_invalid")
|
|
.desc("write misses to invalid blocks")
|
|
;
|
|
|
|
requestCount[Invalid][Soft_Prefetch]
|
|
.name(name() +".swpf_invalid")
|
|
.desc("soft prefetch misses to invalid blocks")
|
|
;
|
|
|
|
requestCount[Invalid][Hard_Prefetch]
|
|
.name(name() +".hwpf_invalid")
|
|
.desc("hard prefetch misses to invalid blocks")
|
|
;
|
|
|
|
requestCount[Shared][Write]
|
|
.name(name() + ".write_shared")
|
|
.desc("write misses to shared blocks")
|
|
;
|
|
|
|
requestCount[Owned][Write]
|
|
.name(name() + ".write_owned")
|
|
.desc("write misses to owned blocks")
|
|
;
|
|
|
|
snoopCount[Shared][Read]
|
|
.name(name() + ".snoop_read_shared")
|
|
.desc("read snoops on shared blocks")
|
|
;
|
|
|
|
snoopCount[Shared][ReadEx]
|
|
.name(name() + ".snoop_readex_shared")
|
|
.desc("readEx snoops on shared blocks")
|
|
;
|
|
|
|
snoopCount[Shared][Upgrade]
|
|
.name(name() + ".snoop_upgrade_shared")
|
|
.desc("upgradee snoops on shared blocks")
|
|
;
|
|
|
|
snoopCount[Modified][Read]
|
|
.name(name() + ".snoop_read_modified")
|
|
.desc("read snoops on modified blocks")
|
|
;
|
|
|
|
snoopCount[Modified][ReadEx]
|
|
.name(name() + ".snoop_readex_modified")
|
|
.desc("readEx snoops on modified blocks")
|
|
;
|
|
|
|
snoopCount[Owned][Read]
|
|
.name(name() + ".snoop_read_owned")
|
|
.desc("read snoops on owned blocks")
|
|
;
|
|
|
|
snoopCount[Owned][ReadEx]
|
|
.name(name() + ".snoop_readex_owned")
|
|
.desc("readEx snoops on owned blocks")
|
|
;
|
|
|
|
snoopCount[Owned][Upgrade]
|
|
.name(name() + ".snoop_upgrade_owned")
|
|
.desc("upgrade snoops on owned blocks")
|
|
;
|
|
|
|
snoopCount[Exclusive][Read]
|
|
.name(name() + ".snoop_read_exclusive")
|
|
.desc("read snoops on exclusive blocks")
|
|
;
|
|
|
|
snoopCount[Exclusive][ReadEx]
|
|
.name(name() + ".snoop_readex_exclusive")
|
|
.desc("readEx snoops on exclusive blocks")
|
|
;
|
|
|
|
snoopCount[Shared][Invalidate]
|
|
.name(name() + ".snoop_inv_shared")
|
|
.desc("Invalidate snoops on shared blocks")
|
|
;
|
|
|
|
snoopCount[Owned][Invalidate]
|
|
.name(name() + ".snoop_inv_owned")
|
|
.desc("Invalidate snoops on owned blocks")
|
|
;
|
|
|
|
snoopCount[Exclusive][Invalidate]
|
|
.name(name() + ".snoop_inv_exclusive")
|
|
.desc("Invalidate snoops on exclusive blocks")
|
|
;
|
|
|
|
snoopCount[Modified][Invalidate]
|
|
.name(name() + ".snoop_inv_modified")
|
|
.desc("Invalidate snoops on modified blocks")
|
|
;
|
|
|
|
snoopCount[Invalid][Invalidate]
|
|
.name(name() + ".snoop_inv_invalid")
|
|
.desc("Invalidate snoops on invalid blocks")
|
|
;
|
|
|
|
snoopCount[Shared][WriteInvalidate]
|
|
.name(name() + ".snoop_writeinv_shared")
|
|
.desc("WriteInvalidate snoops on shared blocks")
|
|
;
|
|
|
|
snoopCount[Owned][WriteInvalidate]
|
|
.name(name() + ".snoop_writeinv_owned")
|
|
.desc("WriteInvalidate snoops on owned blocks")
|
|
;
|
|
|
|
snoopCount[Exclusive][WriteInvalidate]
|
|
.name(name() + ".snoop_writeinv_exclusive")
|
|
.desc("WriteInvalidate snoops on exclusive blocks")
|
|
;
|
|
|
|
snoopCount[Modified][WriteInvalidate]
|
|
.name(name() + ".snoop_writeinv_modified")
|
|
.desc("WriteInvalidate snoops on modified blocks")
|
|
;
|
|
|
|
snoopCount[Invalid][WriteInvalidate]
|
|
.name(name() + ".snoop_writeinv_invalid")
|
|
.desc("WriteInvalidate snoops on invalid blocks")
|
|
;
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::invalidateTrans(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk, MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
// invalidate the block
|
|
new_state = (blk->status & ~stateMask) | Invalid;
|
|
return false;
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::supplyTrans(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk,
|
|
MSHR *mshr,
|
|
CacheBlk::State & new_state
|
|
)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::supplyAndGotoSharedTrans(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk,
|
|
MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
new_state = (blk->status & ~stateMask) | Shared;
|
|
pkt->flags |= SHARED_LINE;
|
|
return supplyTrans(cache, pkt, blk, mshr, new_state);
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::supplyAndGotoOwnedTrans(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk,
|
|
MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
new_state = (blk->status & ~stateMask) | Owned;
|
|
pkt->flags |= SHARED_LINE;
|
|
return supplyTrans(cache, pkt, blk, mshr, new_state);
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::supplyAndInvalidateTrans(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk,
|
|
MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
new_state = (blk->status & ~stateMask) | Invalid;
|
|
return supplyTrans(cache, pkt, blk, mshr, new_state);
|
|
}
|
|
|
|
bool
|
|
CoherenceProtocol::assertShared(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk,
|
|
MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
new_state = (blk->status & ~stateMask) | Shared;
|
|
pkt->flags |= SHARED_LINE;
|
|
return false;
|
|
}
|
|
|
|
CoherenceProtocol::CoherenceProtocol(const string &name,
|
|
const string &protocol,
|
|
const bool doUpgrades)
|
|
: SimObject(name)
|
|
{
|
|
if ((protocol == "mosi" || protocol == "moesi") && !doUpgrades) {
|
|
cerr << "CoherenceProtocol: ownership protocols require upgrade transactions"
|
|
<< "(write miss on owned block generates ReadExcl, which will clobber dirty block)"
|
|
<< endl;
|
|
fatal("");
|
|
}
|
|
|
|
Packet::CommandEnum writeToSharedCmd = doUpgrades ? Upgrade : ReadEx;
|
|
|
|
//@todo add in hardware prefetch to this list
|
|
if (protocol == "msi") {
|
|
// incoming requests: specify outgoing bus request
|
|
transitionTable[Invalid][Read].onRequest(Read);
|
|
transitionTable[Invalid][Write].onRequest(ReadEx);
|
|
transitionTable[Shared][Write].onRequest(writeToSharedCmd);
|
|
//Prefetching causes a read
|
|
transitionTable[Invalid][Soft_Prefetch].onRequest(Read);
|
|
transitionTable[Invalid][Hard_Prefetch].onRequest(Read);
|
|
|
|
// on response to given request: specify new state
|
|
transitionTable[Invalid][Read].onResponse(Shared);
|
|
transitionTable[Invalid][ReadEx].onResponse(Modified);
|
|
transitionTable[Shared][writeToSharedCmd].onResponse(Modified);
|
|
|
|
// bus snoop transition functions
|
|
transitionTable[Invalid][Read].onSnoop(nullTransition);
|
|
transitionTable[Invalid][ReadEx].onSnoop(nullTransition);
|
|
transitionTable[Shared][Read].onSnoop(nullTransition);
|
|
transitionTable[Shared][ReadEx].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][ReadEx].onSnoop(supplyAndInvalidateTrans);
|
|
transitionTable[Modified][Read].onSnoop(supplyAndGotoSharedTrans);
|
|
//Tansitions on seeing a DMA (writeInv(samelevel) or DMAInv)
|
|
transitionTable[Invalid][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Invalid][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][WriteInvalidate].onSnoop(invalidateTrans);
|
|
|
|
if (doUpgrades) {
|
|
transitionTable[Invalid][Upgrade].onSnoop(nullTransition);
|
|
transitionTable[Shared][Upgrade].onSnoop(invalidateTrans);
|
|
}
|
|
}
|
|
|
|
else if(protocol == "mesi") {
|
|
// incoming requests: specify outgoing bus request
|
|
transitionTable[Invalid][Read].onRequest(Read);
|
|
transitionTable[Invalid][Write].onRequest(ReadEx);
|
|
transitionTable[Shared][Write].onRequest(writeToSharedCmd);
|
|
//Prefetching causes a read
|
|
transitionTable[Invalid][Soft_Prefetch].onRequest(Read);
|
|
transitionTable[Invalid][Hard_Prefetch].onRequest(Read);
|
|
|
|
// on response to given request: specify new state
|
|
transitionTable[Invalid][Read].onResponse(Exclusive);
|
|
//It will move into shared if the shared line is asserted in the
|
|
//getNewState function
|
|
transitionTable[Invalid][ReadEx].onResponse(Modified);
|
|
transitionTable[Shared][writeToSharedCmd].onResponse(Modified);
|
|
|
|
// bus snoop transition functions
|
|
transitionTable[Invalid][Read].onSnoop(nullTransition);
|
|
transitionTable[Invalid][ReadEx].onSnoop(nullTransition);
|
|
transitionTable[Shared][Read].onSnoop(assertShared);
|
|
transitionTable[Shared][ReadEx].onSnoop(invalidateTrans);
|
|
transitionTable[Exclusive][Read].onSnoop(assertShared);
|
|
transitionTable[Exclusive][ReadEx].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][ReadEx].onSnoop(supplyAndInvalidateTrans);
|
|
transitionTable[Modified][Read].onSnoop(supplyAndGotoSharedTrans);
|
|
//Tansitions on seeing a DMA (writeInv(samelevel) or DMAInv)
|
|
transitionTable[Invalid][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Exclusive][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Invalid][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Exclusive][WriteInvalidate].onSnoop(invalidateTrans);
|
|
|
|
if (doUpgrades) {
|
|
transitionTable[Invalid][Upgrade].onSnoop(nullTransition);
|
|
transitionTable[Shared][Upgrade].onSnoop(invalidateTrans);
|
|
}
|
|
}
|
|
|
|
else if(protocol == "mosi") {
|
|
// incoming requests: specify outgoing bus request
|
|
transitionTable[Invalid][Read].onRequest(Read);
|
|
transitionTable[Invalid][Write].onRequest(ReadEx);
|
|
transitionTable[Shared][Write].onRequest(writeToSharedCmd);
|
|
transitionTable[Owned][Write].onRequest(writeToSharedCmd);
|
|
//Prefetching causes a read
|
|
transitionTable[Invalid][Soft_Prefetch].onRequest(Read);
|
|
transitionTable[Invalid][Hard_Prefetch].onRequest(Read);
|
|
|
|
// on response to given request: specify new state
|
|
transitionTable[Invalid][Read].onResponse(Shared);
|
|
transitionTable[Invalid][ReadEx].onResponse(Modified);
|
|
transitionTable[Shared][writeToSharedCmd].onResponse(Modified);
|
|
transitionTable[Owned][writeToSharedCmd].onResponse(Modified);
|
|
|
|
// bus snoop transition functions
|
|
transitionTable[Invalid][Read].onSnoop(nullTransition);
|
|
transitionTable[Invalid][ReadEx].onSnoop(nullTransition);
|
|
transitionTable[Invalid][Upgrade].onSnoop(nullTransition);
|
|
transitionTable[Shared][Read].onSnoop(assertShared);
|
|
transitionTable[Shared][ReadEx].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][Upgrade].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][ReadEx].onSnoop(supplyAndInvalidateTrans);
|
|
transitionTable[Modified][Read].onSnoop(supplyAndGotoOwnedTrans);
|
|
transitionTable[Owned][Read].onSnoop(supplyAndGotoOwnedTrans);
|
|
transitionTable[Owned][ReadEx].onSnoop(supplyAndInvalidateTrans);
|
|
transitionTable[Owned][Upgrade].onSnoop(invalidateTrans);
|
|
//Tansitions on seeing a DMA (writeInv(samelevel) or DMAInv)
|
|
transitionTable[Invalid][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Owned][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Invalid][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Owned][WriteInvalidate].onSnoop(invalidateTrans);
|
|
}
|
|
|
|
else if(protocol == "moesi") {
|
|
// incoming requests: specify outgoing bus request
|
|
transitionTable[Invalid][Read].onRequest(Read);
|
|
transitionTable[Invalid][Write].onRequest(ReadEx);
|
|
transitionTable[Shared][Write].onRequest(writeToSharedCmd);
|
|
transitionTable[Owned][Write].onRequest(writeToSharedCmd);
|
|
//Prefetching causes a read
|
|
transitionTable[Invalid][Soft_Prefetch].onRequest(Read);
|
|
transitionTable[Invalid][Hard_Prefetch].onRequest(Read);
|
|
|
|
// on response to given request: specify new state
|
|
transitionTable[Invalid][Read].onResponse(Exclusive);
|
|
//It will move into shared if the shared line is asserted in the
|
|
//getNewState function
|
|
transitionTable[Invalid][ReadEx].onResponse(Modified);
|
|
transitionTable[Shared][writeToSharedCmd].onResponse(Modified);
|
|
transitionTable[Owned][writeToSharedCmd].onResponse(Modified);
|
|
|
|
// bus snoop transition functions
|
|
transitionTable[Invalid][Read].onSnoop(nullTransition);
|
|
transitionTable[Invalid][ReadEx].onSnoop(nullTransition);
|
|
transitionTable[Invalid][Upgrade].onSnoop(nullTransition);
|
|
transitionTable[Shared][Read].onSnoop(assertShared);
|
|
transitionTable[Shared][ReadEx].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][Upgrade].onSnoop(invalidateTrans);
|
|
transitionTable[Exclusive][Read].onSnoop(assertShared);
|
|
transitionTable[Exclusive][ReadEx].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][Read].onSnoop(supplyAndGotoOwnedTrans);
|
|
transitionTable[Modified][ReadEx].onSnoop(supplyAndInvalidateTrans);
|
|
transitionTable[Owned][Read].onSnoop(supplyAndGotoOwnedTrans);
|
|
transitionTable[Owned][ReadEx].onSnoop(supplyAndInvalidateTrans);
|
|
transitionTable[Owned][Upgrade].onSnoop(invalidateTrans);
|
|
//Transitions on seeing a DMA (writeInv(samelevel) or DMAInv)
|
|
transitionTable[Invalid][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Exclusive][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Owned][Invalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Invalid][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Shared][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Exclusive][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Modified][WriteInvalidate].onSnoop(invalidateTrans);
|
|
transitionTable[Owned][WriteInvalidate].onSnoop(invalidateTrans);
|
|
}
|
|
|
|
else {
|
|
cerr << "CoherenceProtocol: unrecognized protocol " << protocol
|
|
<< endl;
|
|
fatal("");
|
|
}
|
|
}
|
|
|
|
|
|
Packet::Command
|
|
CoherenceProtocol::getBusCmd(Packet::Command cmdIn, CacheBlk::State state,
|
|
MSHR *mshr)
|
|
{
|
|
state &= stateMask;
|
|
int cmd_idx = cmdIn.toIndex();
|
|
|
|
assert(0 <= state && state <= stateMax);
|
|
assert(0 <= cmd_idx && cmd_idx < NUM_MEM_CMDS);
|
|
|
|
Packet::Command cmdOut = transitionTable[state][cmd_idx].busCmd;
|
|
|
|
assert(cmdOut != InvalidCmd);
|
|
|
|
++requestCount[state][cmd_idx];
|
|
|
|
return cmdOut;
|
|
}
|
|
|
|
|
|
CacheBlk::State
|
|
CoherenceProtocol::getNewState(const Packet * &pkt, CacheBlk::State oldState)
|
|
{
|
|
CacheBlk::State state = oldState & stateMask;
|
|
int cmd_idx = pkt->cmd.toIndex();
|
|
|
|
assert(0 <= state && state <= stateMax);
|
|
assert(0 <= cmd_idx && cmd_idx < NUM_MEM_CMDS);
|
|
|
|
CacheBlk::State newState = transitionTable[state][cmd_idx].newState;
|
|
|
|
//Check if it's exclusive and the shared line was asserted,
|
|
//then goto shared instead
|
|
if (newState == Exclusive && (pkt->flags & SHARED_LINE)) {
|
|
newState = Shared;
|
|
}
|
|
|
|
assert(newState != -1);
|
|
|
|
//Make sure not to loose any other state information
|
|
newState = (oldState & ~stateMask) | newState;
|
|
return newState;
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::handleBusRequest(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk,
|
|
MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
if (blk == NULL) {
|
|
// nothing to do if we don't have a block
|
|
return false;
|
|
}
|
|
|
|
CacheBlk::State state = blk->status & stateMask;
|
|
int cmd_idx = pkt->cmd.toIndex();
|
|
|
|
assert(0 <= state && state <= stateMax);
|
|
assert(0 <= cmd_idx && cmd_idx < NUM_MEM_CMDS);
|
|
|
|
// assert(mshr == NULL); // can't currently handle outstanding requests
|
|
//Check first if MSHR, and also insure, if there is one, that it is not in service
|
|
assert(!mshr || mshr->inService == 0);
|
|
++snoopCount[state][cmd_idx];
|
|
|
|
bool ret = transitionTable[state][cmd_idx].snoopFunc(cache, pkt, blk, mshr,
|
|
new_state);
|
|
|
|
|
|
|
|
return ret;
|
|
}
|
|
|
|
bool
|
|
CoherenceProtocol::nullTransition(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk, MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
// do nothing
|
|
if (blk)
|
|
new_state = blk->status;
|
|
return false;
|
|
}
|
|
|
|
|
|
bool
|
|
CoherenceProtocol::invalidTransition(BaseCache *cache, Packet * &pkt,
|
|
CacheBlk *blk, MSHR *mshr,
|
|
CacheBlk::State & new_state)
|
|
{
|
|
panic("Invalid transition");
|
|
return false;
|
|
}
|
|
|
|
#ifndef DOXYGEN_SHOULD_SKIP_THIS
|
|
|
|
BEGIN_DECLARE_SIM_OBJECT_PARAMS(CoherenceProtocol)
|
|
|
|
Param<string> protocol;
|
|
Param<bool> do_upgrades;
|
|
|
|
END_DECLARE_SIM_OBJECT_PARAMS(CoherenceProtocol)
|
|
|
|
|
|
BEGIN_INIT_SIM_OBJECT_PARAMS(CoherenceProtocol)
|
|
|
|
INIT_PARAM(protocol, "name of coherence protocol"),
|
|
INIT_PARAM_DFLT(do_upgrades, "use upgrade transactions?", true)
|
|
|
|
END_INIT_SIM_OBJECT_PARAMS(CoherenceProtocol)
|
|
|
|
|
|
CREATE_SIM_OBJECT(CoherenceProtocol)
|
|
{
|
|
return new CoherenceProtocol(getInstanceName(), protocol,
|
|
do_upgrades);
|
|
}
|
|
|
|
REGISTER_SIM_OBJECT("CoherenceProtocol", CoherenceProtocol)
|
|
|
|
#endif // DOXYGEN_SHOULD_SKIP_THIS
|