Serialization
The bus defines the ordering on writes in SMPs
For directory systems, memory (home) does
If home always had the value, FIFO would work
Fix: Add a “busy state” indicating a transaction is in flight
Consider a block in modified state and two nodes request
exclusive access in an invalidation protocol. The requests
reach home in one order, but they could reach the owner
in a different order. Which order prevails?