mem-ruby: removed checkCoherence from MOESI_CMP_directory

The implementation is empty and this is not used by other protocols

Change-Id: Iaed7d6d4b7ef1eb4cd47bdc0710dc9dbb7a86a0c
Signed-off-by: Tiago Mück <tiago.muck@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/21923
Reviewed-by: Jason Lowe-Power <power.jg@gmail.com>
Reviewed-by: Pouya Fotouhi <pfotouhi@ucdavis.edu>
Maintainer: Jason Lowe-Power <power.jg@gmail.com>
Tested-by: kokoro <noreply+kokoro@google.com>

diff --git a/src/mem/ruby/protocol/MOESI_CMP_directory-L1cache.sm b/src/mem/ruby/protocol/MOESI_CMP_directory-L1cache.sm
index b8d8ab4a0f4527a98d25f19ff67cc118b4c38a54..d7b175c7ec41707885334b7da8c5c15f8220ad6c 100644 (file)
--- a/src/mem/ruby/protocol/MOESI_CMP_directory-L1cache.sm
+++ b/src/mem/ruby/protocol/MOESI_CMP_directory-L1cache.sm
@@ -215,7 +215,6 @@ machine(MachineType:L1Cache, "L1 cache protocol")
          ((cache_entry.CacheState != State:O) && (state == State:O)) ) {
 
         cache_entry.CacheState := state;
-        sequencer.checkCoherence(addr);
       }
       else {
         cache_entry.CacheState := state;

diff --git a/src/mem/ruby/protocol/MOESI_CMP_directory-L2cache.sm b/src/mem/ruby/protocol/MOESI_CMP_directory-L2cache.sm
index 5dfc6a9dde1bd907cbcd754b156bd417a2e40d8d..0faa03ff2c3e4bd8acce1cb8ae3541881c09e7e2 100644 (file)
--- a/src/mem/ruby/protocol/MOESI_CMP_directory-L2cache.sm
+++ b/src/mem/ruby/protocol/MOESI_CMP_directory-L2cache.sm
@@ -522,13 +522,6 @@ machine(MachineType:L2Cache, "Token protocol")
                 (state == State:SLS)) {
        assert(is_valid(cache_entry));
        assert(L2cache.isTagPresent(addr));
-
-       if ( ((cache_entry.CacheState != State:M) && (state == State:M)) ||
-           ((cache_entry.CacheState != State:S) && (state == State:S)) ||
-           ((cache_entry.CacheState != State:O) && (state == State:O)) ) {
-        // disable Coherence Checker for now
-        // sequencer.checkCoherence(addr);
-      }
     } else if ( (state == State:ILS) ||
                 (state == State:ILX) ||
                 (state == State:ILO) ||

diff --git a/src/mem/ruby/protocol/MOESI_CMP_directory-dir.sm b/src/mem/ruby/protocol/MOESI_CMP_directory-dir.sm
index 6f868b49d38f97734a501abf7c6125b5eea3c620..70035e2d9c83d5590e22aa7532d13e7692284515 100644 (file)
--- a/src/mem/ruby/protocol/MOESI_CMP_directory-dir.sm
+++ b/src/mem/ruby/protocol/MOESI_CMP_directory-dir.sm
@@ -156,9 +156,6 @@ machine(MachineType:Directory, "Directory protocol")
     assert(getDirectoryEntry(addr).Sharers.count() == 0);
 
     directory.deallocate(addr);
-
-    // disable coherence checker
-    // sequencer.checkCoherence(addr);
   }
 
   State getState(TBE tbe, Addr addr) {