Sequential Consistency and Memory
If a multiprocessor system has atomic memory accesses, then is sequentially consistent if memory accesses are performed in program order
- This is called a strongly ordered system.
- A memory access is atomic if its effect is observable for each processor of the system at the same time
For a single-bus shared memory system, the invalidate operation is visible to all processors at the same time.