diff options
Diffstat (limited to 'src/mem/protocol')
-rw-r--r-- | src/mem/protocol/MESI_CMP_directory-L2cache.sm | 2 | ||||
-rw-r--r-- | src/mem/protocol/RubySlicc_Exports.sm | 20 |
2 files changed, 14 insertions, 8 deletions
diff --git a/src/mem/protocol/MESI_CMP_directory-L2cache.sm b/src/mem/protocol/MESI_CMP_directory-L2cache.sm index c037527de..aeaf3d60d 100644 --- a/src/mem/protocol/MESI_CMP_directory-L2cache.sm +++ b/src/mem/protocol/MESI_CMP_directory-L2cache.sm @@ -219,7 +219,7 @@ machine(L2Cache, "MESI Directory L2 Cache CMP") } else if (state == State:M) { cache_entry.changePermission(AccessPermission:Read_Write); } else if (state == State:MT) { - cache_entry.changePermission(AccessPermission:Stale); + cache_entry.changePermission(AccessPermission:Invalid); } else { cache_entry.changePermission(AccessPermission:Busy); } diff --git a/src/mem/protocol/RubySlicc_Exports.sm b/src/mem/protocol/RubySlicc_Exports.sm index 2799be55d..c02af62ef 100644 --- a/src/mem/protocol/RubySlicc_Exports.sm +++ b/src/mem/protocol/RubySlicc_Exports.sm @@ -47,14 +47,20 @@ external_type(DataBlock, desc="..."){ // Declarations of external types that are common to all protocols // AccessPermission +// The following five states define the access permission of all memory blocks. +// These permissions have multiple uses. They coordinate locking and +// synchronization primitives, as well as enable functional accesses. +// One should not need to add any additional permission values and it is very +// risky to do so. enumeration(AccessPermission, desc="...", default="AccessPermission_NotPresent") { - Busy, desc="No Read or Write"; - Read_Only, desc="Read Only"; - Read_Write, desc="Read/Write"; - Invalid, desc="Invalid"; - NotPresent, desc="NotPresent"; - ReadUpgradingToWrite, desc="Read only, but trying to get Read/Write"; - Stale, desc="local L1 has a modified copy, assume L2 copy is stale data"; + // Valid data + Read_Only, desc="block is Read Only (modulo functional writes)"; + Read_Write, desc="block is Read/Write"; + + // Invalid data + Invalid, desc="block is in an Invalid base state"; + NotPresent, desc="block is NotPresent"; + Busy, desc="block is in a transient state, currently invalid"; } // TesterStatus |