authors: Jason Lowe-Power
last edited: 2023-01-11 16:05: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

MI_example_cache_FSM.jpg

Directory controller

MI_example_dir_FSM.jpg

Other features