第三章：内存Consistency动机和顺序Consistency

文档摘要

第三章：内存 Consistency 动机和顺序 Consistency 本章深入研究了内存 consistency 模型（又名内存模型），这些模型为程序员和实现者定义了共享内存系统的行为。这些模型定义了正确性，以便程序员知道期望什么，实现者知道提供什么。我们首先激发了定义内存行为的需求（第 3.1 节），说明内存 consistency 模型应该做什么（第 3.2 节），以及比较和对比 consistency 和 coherence（第 3.3 节）。然后，我们探索（相对）直观的顺序 consistency (sequential consistency, SC) 模型。