Module 15: "Memory Consistency Models"
  Lecture 34: "Sequential Consistency and Relaxed Models"
 


Memory Consistency Models

Memory consistency

SC

SC in MIPS R10000

Relaxed models

Total store ordering

PC and PSO

TSO, PC, PSO

Weak ordering (WO)

[From Chapters 9 and 11 of Culler, Singh, Gupta]
[Additional reading: Adve and Gharachorloo , WRL Tech Report, 1995]