MESI

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.

1. Core 0 performs a Write to 0xACE.

2. Immediately after, Core 1 performs a Read from 0xACE.

Question: Which sequence of state transitions and bus actions is correct?