ruby: mesi coherence protocol: invalidate lock
authorDibakar Gope ext:(%2C%20Nilay%20Vaish%20%3Cnilay%40cs.wisc.edu%3E) <gope@wisc.edu>
Thu, 28 Feb 2013 16:04:26 +0000 (10:04 -0600)
committerDibakar Gope ext:(%2C%20Nilay%20Vaish%20%3Cnilay%40cs.wisc.edu%3E) <gope@wisc.edu>
Thu, 28 Feb 2013 16:04:26 +0000 (10:04 -0600)
commitc636a09e83b08c27ce60a0f1d13536d736a06926
tree06f6c03aa546d90b18752f218b52d84c6f1eb96e
parent82cf1565d02608111459379634c6daa31d4a6895
ruby: mesi coherence protocol: invalidate lock
The MESI CMP directory coherence protocol, while transitioning from SM to IM,
did not invalidate the lock that it might have taken on a cache line. This
patch adds an action for doing so.

The problem was found by Dibakar, but I was not happy with his proposed
solution. So I implemented a different solution.

Committed by: Nilay Vaish <nilay@cs.wisc.edu>
src/mem/protocol/MESI_CMP_directory-L1cache.sm
src/mem/protocol/RubySlicc_Types.sm
src/mem/ruby/system/Sequencer.cc
src/mem/ruby/system/Sequencer.hh