A Primer on Memory Consistency and Cache Coherence

A Primer on Memory Consistency and Cache Coherence 前三章阅读笔记

1. Memory consistency

   ​ For a shared memory machine, the memory consistency model defines the architecturally visible behavior of its memory system. Consistency definitions provide rules about loads and stores (or memory reads and writes) and how they act upon memory.

   ​ 对于一个共享存储的计算机，存储的一致性模型定义了该计算机的存储系统的结构上可见的行为。一致性的定义为Loads和Stores提供了一些规则，以规定他们如何在主存上执行。

2. Cache coherence

   ​ As part of supporting a memory consistency model, many machines also provide cache coherence protocols that ensure that multiple cached copies of data are kept up-to-date.

   ​ Cache一致性是存储一致性的一个部分，许多机器会提供cache一致性协议，以保证同一个数据的多个在cache中的副本能够保持最新的状态。

3. Unlike consistency, coherence (or cache coherence) is neither visible to software nor required. Coherence seeks to make the caches of a shared-memory sys