Linux内核：内存管理——内存一致性模型

本文主要讨论的是内存一致性问题(memory consistency)，和缓存一致性(cache coherence)是不同的。在《计算机体系结构:量化方法研究》第五章中，memory consistency是由cache coherence引出的，所以我们就先来说说cache coherence吧。考虑下图：

如图，A和B读取X到缓存后，A直写(write through)X的值为0，但此时B缓存中存储的X的值仍然是1。即如果此时B读取X，将会收到数值1！

通俗地说，如果在每次读取某一数据项时都会返回该数据项的最新写入值，则称这个存储系统是一致的。这一定义有些含糊和简单，却包含了两个关键的方面：

1.coherence确定了读取操作可能返回什么值；

2.consistency确定了写入值什么时候读取操作返回。

简单来说，coherence其实保证的就是对某一个地址的读操作返回的值一定是那个地址的最新值(注意coherence和consistency最大的区别就是是对某一个地址还是全局)，而这个最新值可能是该线程所处的CPU核心刚刚写进去的那个最新值，也可能是另一个CPU核心上的线程刚刚写进去的最新值。具体严谨的定义我直接从书上截图好了：

这三个条件只是保证了coherence，还未考