ruby: mesi three level: multiple corrections to the protocol
authorNilay Vaish <nilay@cs.wisc.edu>
Tue, 4 Aug 2015 03:44:29 +0000 (22:44 -0500)
committerNilay Vaish <nilay@cs.wisc.edu>
Tue, 4 Aug 2015 03:44:29 +0000 (22:44 -0500)
commit676ae5782796bd6b4f202e138b72c1048efceabd
tree9fc422b12874e842f4ea4bb473e3c24d8275c6e6
parent9bf3b8828a19570f50914d86d76e32896ecd12bb
ruby: mesi three level: multiple corrections to the protocol

1. Eliminate state NP in L0 and L1 Caches:  The two states 'NP' and 'I' both
mean that the cache block is not present in the cache.  'I' also means that the
cache entry has been allocated.  This causes problems when we do not correctly
initialize the cache entry when it is re-used.  Hence, this patch eliminates
the state NP altogether.  Everytime a new block comes into the cache, a cache
entry is allocated.  Everytime a block leaves, the corresponding entry is
deallocated.

2. Separate transient state for instruction fetches: purely for accouting
purposes.

3. Drop state IS_I in L1 Cache and the message type STALE_DATA: when
invalidation is received for a block in IS, the block used to be moved to IS_I.
This meant that the data that would arrive in future would be used but not
stored since the controller lost the permissions after gaining them.  This
state is being dropped and now invalidation messages would not processed till
the data has arrived.  This also means that STALE_DATA type is not longer
required.
src/mem/protocol/MESI_Three_Level-L0cache.sm
src/mem/protocol/MESI_Three_Level-L1cache.sm
src/mem/protocol/MESI_Three_Level-msg.sm