Memory Consistency and Cache Coherence 定义

定义：内存一致性是指多核或多处理器系统中，多个处理器对共享内存的访问顺序是否一致，以及这些访问操作是否满足特定的规则或模型。
关注点：内存操作的全局可见顺序，确保所有处理器对内存的读写操作按照一致的顺序进行。
问题背景：在多核系统中，不同处理器可能同时访问共享内存，如果没有明确的内存一致性模型，可能会导致程序行为不可预测。
内存一致性模型：
- 顺序一致性（Sequential Consistency）：所有处理器的内存操作按照一个全局顺序执行，且每个处理器的操作顺序保持不变。
- 弱一致性模型（Weak Consistency）：允许某些操作乱序执行，但需要通过同步操作（如内存屏障）来保证一致性。
示例：
- 如果两个处理器分别执行写操作和读操作，内存一致性模型定义了读操作是否能立即看到写操作的结果。

定义：缓存一致性是指多核或多处理器系统中，每个处理器的私有缓存与共享内存之间数据的一致性，确保所有处理器看到的数据是最新的。
关注点：多个缓存副本之间的数据一致性，避免脏数据或过时数据。
问题背景：每个处理器都有自己的缓存，如果某个处理器修改了缓存中的数据，其他处理器的缓存可能仍然保存旧值，导致数据不一致。
缓存一致性协议：
- MESI协议：通过标记缓存行的状态（Modified、Exclusive、Shared、Invalid）来维护一致性。
- 写失效（Write Invalidate）：当一个处理器修改数据时，使其他处理器的缓存副本失效。
- 写更新（Write Update）：当一个处理器修改数据时，将新值广播给其他处理器的缓存。
示例：
- 如果处理器A修改了某个内存位置的值，处理器B的缓存中该位置的旧值必须被更新或失效。