[_CD6_]<dragon7.0>BigCache>BigCacheSim.mesa!1

Types and Constants

wdsPerBlk: CARDINAL = 8;

blksPerSLn: CARDINAL = 4;

sLnsPerBLn: CARDINAL = 8;

blksPerBLn: CARDINAL = blksPerSLn*sLnsPerBLn;

sLnsPerSCache: CARDINAL = 64;

SCPerBC: CARDINAL = 8;

bLnsPerBC: CARDINAL = sLnsPerSCache * SCPerBC;

AddrPageIdx: TYPE = [0..4194304); -- 22 bits

PageWdIdx: TYPE = [0..1024); -- 10 bits

BCLineIdx: TYPE = [0..bLnsPerBC);

BlkWdIdx: TYPE = [0..wdsPerBlk);

DeviceID: TYPE = [0..1024);

DynaBusCmd: TYPE = {

RBRqst, RBRply,

WSRqst, WSRply,

CWSRqst, CWSRply,

WBRqst, WBRply, -- WBRply not used

FBRqst, FBRply,

IORRqst, IORRply,

IOWRqst, IOWRply,

BIORqst, BIORply,

MapRqst, MapRply,

DMRqst, DMRply};

Word: TYPE = LONG CARDINAL;

AddressRec: TYPE = RECORD[page: AddrPageIdx𡤀, wd: PageWdIdx𡤀];

Data: TYPE = REF DataAry;

DataAry: TYPE = ARRAY WdIndex OF Word ← ALL[0];

BlockAry: TYPE = RECORD[

victim: BlkIndex ← 0,

victimLock: BOOL ← FALSE,

blks: ARRAY BlkIndex OF BlockRec];

BlockRec: TYPE = RECORD[

owner: BOOL ← FALSE, -- Owner

shared: BOOL ← FALSE, -- Shared

rpValid: BOOL ← FALSE, -- Real page valid

vpValid: BOOL ← FALSE, -- Virtual page valid

rAddr: AddressRec ← [ ], -- Real address

vAddr: AddressRec ← [ ], -- Virtual address

data: Data ← NIL ];

SnoopRec: TYPE = RECORD[

enabled: BOOL ← FALSE, -- Enable snooping of the outstanding address

shared: BOOL ← FALSE, -- Shared Accumulator

rplyStale: BOOL ← FALSE, -- RplyStale

addr: AddressRec ← [ ] ]; -- Outstanding address

PacketRec: TYPE = RECORD[

valid: BOOL ← FALSE,

head: HeaderRec ← [],

data: Data ← NIL ];

HeaderRec: TYPE = RECORD[

id: DeviceID ← 0,

cmd: DynaBusCmd ← RBRqst,

shared: BOOL ← FALSE,

rAddr: AddressRec ← [ ] ];

FifoRec: TYPE = RECORD[

count: INT ← 0,

ary: SEQUENCE size: CARDINAL OF PacketRec ];

CacheRec: TYPE = RECORD[

id: DeviceID ← 0, -- this caches id

p: PacketRec ← [], -- received packet

snoop: SnoopRec ← [], -- state of the snooper

array: CacheAry ← [], -- main cache arrary

fifoHi5: REF FifoRec ← NEW[FifoRec[4]], -- Hi priority port for 5 cycle requests

fifoLo2: REF FifoRec ← NEW[FifoRec[1]], -- Lo priority port for 2 cycle requests

tipFB: BOOL ← FALSE, -- a flush block request is outstanding

tipNFB: BOOL ← FALSE, -- non flush block request is outstanding

pAddr: AddressRec ← [ ], -- processor side address

pWord: Word ← 0, -- processor side data

];

c: Cache ← NewCache[];

Utils

NewCache: PROC RETURNS[c: Cache] ← {

c ← NEW[CacheRec];

c.p.data ← NEW[DataRec];

FOR blk IN BlkIndex DO

IF c.array[blk].data ← NEW[DataRec] ENDLOOP};

VirtualMatch: PROC[c: Cache]

RETURNS[found: BOOL ← FALSE, blk: BlkIndex ← 0] = {

FOR blk IN BlkIndex DO

IF c.array[blk].vAddr = c.pAddr THEN RETURN[TRUE, blk] ENDLOOP};

MatchPacketReal: PROC[c: Cache]

RETURNS[found: BOOL ← FALSE, blk: BlkIndex ← 0] = {

FOR blk IN BlkIndex DO

IF c.array[blk].rAddr = c.p.head.rAddr THEN RETURN[TRUE, blk] ENDLOOP};

ExtractWd: PROC[d: Data, addr: AddressRec] RETURNS[wd: Word] =

{RETURN[data[addr.wd MOD wdsPerBlk]]};

InsertWd: PROC[d: Data, addr: AddressRec, wd: Word] =

{data[addr.wd MOD wdsPerBlk] ← wd};

Hi slave controller - Read and Write

ReceivePacket: PROC[c: Cache] = {

SELECT c.p.head.cmd FROM

RBRqst => {

IF myRequest

THEN {

InitSnooper[snoop, rAddr];

array[array.victim].rpValid ← F;

array[array.victim].vpValid ← F}

ELSE {

[aMatch, blk] ← MatchPacketReal[c];

sMatch ← SnoopMatch[snoop, rAddr];

IF aMatch THEN array[blk].shared ← T;

IF sMatch THEN snoop.shared ← T;

busShared ← aMatch OR sMatch;

busOwner ← aMatch AND array[blk].owner;

IF aMatch AND array[blk].owner THEN

EnQOut[fifo: fifoHi5, cmd:RBRply, shared: T, addr: rAddr, data: array[blk].data]}};

RBRply =>

IF myRequest THEN {

[aMatch, blk] ← MatchPacketReal[c];

snoop.enabled ← F;

tipNonFB ← F;

array.victimLock ← F;

IF aMatch THEN array[blk].vAddr ← vAddr;

IF ~aMatch THEN array[array.victim] ← [

owner: F,

shared: snoop.shared OR p.shared,

rpValid: T,

vpValid: ~snoop.RplyStale,

vAddr: vAddr,

rAddr: rAddr,

data: data ]};

WSRqst, CWSRqst => {

IF myRequest

THEN InitSnooper[snoop, rAddr]

ELSE {

[aMatch, blk] ← MatchPacketReal[c];

sMatch ← SnoopMatch[snoop, rAddr];

busShared ← aMatch OR sMatch} };

WSRply, CWSRply => {

IF myRequest

THEN {snoop.enabled ← F; tipNonFB ← F}

ELSE {sMatch ← SnoopMatch[snoop, rAddr]; IF sMatch THEN snoop.rplyStale ← T};

[aMatch, blk] ← MatchPacketReal[c];

IF aMatch THEN {

array[blk].shared ← p.shared OR myRequest AND snoop.shared;

array[blk].owner ← myRequest;

word ← ExtractWd[array[blk].data. rAddr];

IF cmd=CWSRply AND word=old THEN word ← new;

array[blk].data ← InsertWd[array[blk].data, rAddr, word]} };

WBRqst => {

IF myRequest

THEN InitSnooper[snoop, rAddr]

ELSE {

[aMatch, blk] ← MatchPacketReal[c];

sMatch ← SnoopMatch[snoop, rAddr];

IF sMatch THEN snoop.rplyStale ← T;

IF aMatch THEN array[blk].data ← data;

IF aMatch THEN array[blk].owner ← F} };

WBRply => IF myRequest THEN {snoop.enabled ← F; tipNonFB ← F};

FBRqst => IF myRequest THEN snoop.enabled ← F;

FBRply => IF myRequest THEN tipFB ← F;

Hi slave controller - IO

IORRqst => {

[ioMatch, blk] ← IOMatch[array, ioAddr];

IF ioMatch THEN {

wd: Word ← ExtractWd[array[blk].data, ioAddr];

EnQOut[fifo: fifoHi5, cmd: IORRply, addr: ioAddr, wd: wd]} };

IORRply => IF myPacket THEN tipNonFB ← F;

IOWRqst => {

[ioMatch, blk] ← IOMatch[array, ioAddr];

IF ioMatch THEN {

array[blk].data ← InsertWd[array[blk].data, ioAddr, data];

EnQOut[fifo: fifoHi5, cmd: IOWRply, addr: ioAddr, data: data]} };

IOWRply => IF myPacket THEN tipNonFB ← F;

BIORqst => NoOp[];

BIORply => {

blk: BlkIndex;

ioMatch: BOOL;

IF myPacket THEN tipNonFB ← F;

[ioMatch, blk] ← IOMatch[array, ioAddr];

IF ioMatch THEN

array[blk].data ← InsertWd[array[blk].data, ioAddr, data]};

MapRqst => NoOp[];

MapRply => {

myPacket: BOOL ← requestorId=myId;

IF myPacket THEN tipNonFB ← F;

IF myPacket THEN array[mapBlk] ← [

shared: snoop.shared OR p.shared,

owner: F,

vpValid: ~snoop.RplyStale,

rpValid: T,

vAddr: vAddr,

rAddr: rAddr ]};

DMRqst => NoOp[];

DMRply => { }; -- Clear vpValid on all matching real pages

ENDCASE;

Lo slave controller

SELECT cmd FROM

RBRqst => {

reply ← busOwner; -- After Wait[dso]

rplyShared ← busShared; -- After Wait[dso]

IF ~ownedBelow THEN

EnQOut[fifo: fifoHi5, cmd: RBRply, shared: sharedBelow, addr: rAddr, data: mem[rAddr]]};

RBRply => NoOP[];

WBRqst => {

MemStore[mem, rAddr, data];

EnQOut[fifo: fifoHi5, cmd: WBRply, shared: F, addr: rAddr]};

WBRply => NoOP[];

FBRqst => {

MemStore[mem, rAddr, data];

EnQOut[fifo: fifoHi5, cmd: FBRply, shared: F, addr: rAddr]};

FBRply => NoOP[];

WSRqst => {

p.shared ← busShared; -- After Wait[dso];

EnQOut[fifo: fifoHi5, cmd: WSRply, shared: p.shared, addr: rAddr, data: data]};

WSRply => NoOP[];

CWSRqst => {

p.shared ← busShared; -- After Wait[dso];

EnQOut[fifo: fifoHi5, cmd: CWSRply, shared: p.shared, addr: rAddr, new: new, old: old]};

CWSRply => NoOP[];

IORRqst => {

wd: Word;

ioMatch: BOOL;

[ioMatch, wd] ← IOMatch[array, ioAddr];

IF ioMatch THEN {

data ← RdIOReg[ioAddr];

EnQOut[fifo: fifoHi5, cmd: IORRply, addr: ioAddr, data: data]}};

IORRply => NoOP[];

IOWRqst => {

wd: Word;

ioMatch: BOOL;

[ioMatch, wd] ← IOMatch[array, ioAddr];

IF ioMatch THEN {

WtIOReg[ioAddr, data];

EnQOut[fifo: fifoHi5, cmd: IOWRply, addr: ioAddr, data: data]}};

IOWRply => NoOP[];

BIORqst => EnQOut[fifo: fifoHi5, cmd: BIOWRply, addr: ioAddr, data: data];

BIORply => NoOp[];

MapRqst => NoOp[];

MapRply => NoOp[];

DMRqst => EnQOut[fifo: fifoHi5, cmd: DeMapRply, addr: rAddr];

DMRply => NoOp[];

ENDCASE};

Cache processor side

PFetch: PROC[c: Cache] = {

aMatch: BOOL;

blk: BlkIndex;

[aMatch, blk] ← VirtualMatch[c];

IF ~aMatch THEN {

HandleMiss[c];

[aMatch, blk] ← VirtualMatch[c]};

c.pWord ← ExtractWd[ c.array[blk].data[c.pAddr MOD wdsPerBlk] ] };

PStore: PROC[c: Cache] = {

aMatch: BOOL;

blk: BlkIndex;

[aMatch, blk] ← VirtualMatch[c];

IF ~aMatch THEN {

HandleMiss[];

[aMatch, blk] ← VirtualMatch[c];

IF ~array[blk].shared

THEN {

InsertWd[array[blk].data, vAddr, c.pWord];

array[blk].owner ← T}

ELSE {

EnQOut[fifo: bufLo2, cmd: WSRqst, shared: F, addr: rAddr, wd: c.pWord];

tipNonFB ← T; WHILE tipNonFB DO NoOp[] ENDLOOP}}};

HandleMiss: PROC[c: Cache] = {

aMatch: BOOL;

blk: BlkIndex;

rAddr: AddressRec;

WHILE tipFB DO NoOp[] ENDLOOP; -- tipFB must be cleared on Reset

[aMatch, blk] ← VirtualPageMatch[c];

Multiple Matches Possible

IF aMatch

THEN rAddr ← array[blk].rAddr

ELSE {

EnQOut[fifo: bufLo2, cmd: MapRqst, shared: F, addr: vAddr];

tipNonFB ← T; WHILE tipNonFB DO NoOp[] ENDLOOP};

Somthing funny to make rAddr from vAddr and rPage

FreezeVictim[];

victimAddr ← array[array.victim].rAddr;

IF array[array.victim].owner THEN {

InitSnooper[snoop, array[array.victim].raddr]; -- do this before owner can change

EnQOut[fifo: fifoHi5, cmd: FBRqst, addr: rAddr, data: array[array.victim].data];

tipFB ← 1}; -- Snooper must abort FB if stale data (WSRply, CWSRply, WB)

EnQOut[fifo: bufLo2, cmd: RBRqst, shared: F, addr: rAddr, data: victimAddr];

tipNonFB ← T; WHILE tipNonFB DO NoOp[] ENDLOOP};

Note that we don't wait for the FBRply. Its checked for before the next processor reference!