Module 9: Addendum to Module 6: Shared Memory Multiprocessors
  Lecture 18: Sharing Patterns and Cache Coherence Protocols
 


MSI Protocol

  • Forms the foundation of invalidation-based writeback protocols
    • Assumes only three supported cache line states: I, S, and M
    • There may be multiple processors caching a line in S state
    • There must be exactly one processor caching a line in M state and it is the owner of the line
    • If none of the caches have the line, memory must have the most up-to-date copy of the line

State Transition