authors: Jason Lowe-Power
last edited: 2023-11-20 18:18:55 +0000

MI Example

Protocol Overview

Stable States and Invariants

States Invariants
M The cache block has been accessed (read/written) by this node. No other node holds a copy of the cache block
I The cache block at this node is invalid

The notation used in the controller FSM diagrams is described here.

Cache controller


Directory controller


Other features