Scenario: In a dual-core system using the MESI protocol, Core 0 and Core 1 both have a local copy of the Memory Address 0xACE in the Shared (S) state.
Core 0 performs a Write to 0xACE.
Immediately after, Core 1 performs a Read from 0xACE.
Question: Which sequence of state transitions and bus actions is correct?
When a core writes to a "Shared" block, it must invalidate all other copies.
