内存模型和缓存一致性协议入门

这是我在阅读<A Primer on Memory Consistency and Cache Coherence>本书的笔记。

术语：

• memory consistency model : 内存一致性模型
• cache coherence protocol : 缓存一致性协议

现如今，计算机系统和多核芯片都在硬件层面支持共享内存，每个处理器核都可以对共享内存进行读写操作。对于一个共享内存设备，内存一致性模型(memory consistency model)定义了内存系统的正确行为。一致性(consistency)模型包含了很多关于内存读写操作要遵守的规则。为了保证内存一致性，很多计算机也提供了缓存一致性协议(cache coherence protocol)来保证内存数据的多个缓存备份都是最新的。（译者注：如果一台计算机没有缓存，那么他只需要内存一致性模型就可以。但是大多数计算机都是有缓存的，对于这些计算机，不但要提供内存一致性模型来保证内存读写的正确性，还需要提供缓存一致性协议来保证缓存数据的一致性。）

本书的目的就是让读者对内存一致性和缓存一致性有基本的了解。

关键词：计算机体系结构、内存一致性、缓存一致性、共享内存、内存系统、多核处理器、多处理器

如果你在工作学习中碰到过内存一致性和缓存一致性的问题，但你之前并不了解他们，现在，你想读一些资料初步学习一下，这本书，就是为你准备的。本书的受众包括专业程序员和低年级研究生。

在阅读本书之前，我们希望你能对计算机体系结构有最基本的认识。起码你要知道 动态指令调度(dynamic instruction scheduling)、缓存(cache)这些概念。