But There Is An Optimization
Relax “completed” to “committed”
Then, it is sufficient to be asserting exclusive ownership for writes on the bus, since all caches will see that even, the serializing event
This is sufficient for
- Coherence
- Sequential Consistency
Notice that write-backs are really separate and need not be ordered