一篇文章让你明白CPU缓存一致性协议MESI

怼烎@ 2023-06-19 06:45 2阅读 0赞

## CPU高速缓存（Cache Memory） ##

### CPU为何要有高速缓存 ###

CPU在摩尔定律的指导下以每18个月翻一番的速度在发展，然而内存和硬盘的发展速度远远不及CPU。这就造成了高性能能的内存和硬盘价格及其昂贵。然而CPU的高度运算需要高速的数据。为了解决这个问题，CPU厂商在CPU中内置了少量的高速缓存以解决I\\O速度和CPU运算速度之间的不匹配问题。

在CPU访问存储设备时，无论是存取数据抑或存取指令，都趋于聚集在一片连续的区域中，这就被称为局部性原理。

**时间局部性（Temporal Locality）：**如果一个信息项正在被访问，那么在近期它很可能还会被再次访问。比如循环、递归、方法的反复调用等。

**空间局部性（Spatial Locality）：**如果一个存储器的位置被引用，那么将来他附近的位置也会被引用。比如顺序执行的代码、连续创建的两个对象、数组等。

![format_png][]

### 带有高速缓存的CPU执行计算的流程 ###

1.  程序以及数据被加载到主内存
2.  指令和数据被加载到CPU的高速缓存
3.  CPU执行指令，把结果写到高速缓存
4.  高速缓存中的数据写回主内存

![format_png 1][]

### 目前流行的多级缓存结构 ###

由于CPU的运算速度超越了1级缓存的数据I\\O能力，CPU厂商又引入了多级的缓存结构。

**多级缓存结构**

![format_png 2][]

## 多核CPU多级缓存一致性协议MESI ##

多核CPU的情况下有多个一级缓存，如何保证缓存内部数据的一致,不让系统数据混乱。这里就引出了一个一致性的协议MESI。

### MESI协议缓存状态 ###

MESI 是指4中状态的首字母。每个Cache line有4个状态，可用2个bit表示，它们分别是：

缓存行（Cache line）:缓存存储数据的单元。

![format_png 3][]

**注意：**

对于M和E状态而言总是精确的，他们在和该缓存行的真正状态是一致的，而S状态可能是非一致的。如果一个缓存将处于S状态的缓存行作废了，而另一个缓存实际上可能已经独享了该缓存行，但是该缓存却不会将该缓存行升迁为E状态，这是因为其它缓存不会广播他们作废掉该缓存行的通知，同样由于缓存并没有保存该缓存行的copy的数量，因此（即使有这种通知）也没有办法确定自己是否已经独享了该缓存行。

从上面的意义看来E状态是一种投机性的优化：如果一个CPU想修改一个处于S状态的缓存行，总线事务需要将所有该缓存行的copy变成invalid状态，而修改E状态的缓存不需要使用总线事务。

### MESI状态转换 ###

![format_png 4][]

理解该图的前置说明：

**1.触发事件**

![format_png 5][]

**2.cache分类：**

前提：所有的cache共同缓存了主内存中的某一条数据。

本地cache:指当前cpu的cache。

触发cache:触发读写事件的cache。

其他cache:指既除了以上两种之外的cache。

注意：本地的事件触发 本地cache和触发cache为相同。

上图的切换解释：

![format_png 6][]

下图示意了，当一个cache line的调整的状态的时候，另外一个cache line 需要调整的状态。

![format_png 7][]

举个栗子来说：

假设cache 1 中有一个变量x = 0的cache line 处于S状态(共享)。

那么其他拥有x变量的cache 2、cache 3等x的cache line调整为S状态（共享）或者调整为 I 状态（无效）。

### 多核缓存协同操作 ###

假设有三个CPU A、B、C，对应三个缓存分别是cache a、b、 c。在主内存中定义了x的引用值为0。

![format_png 8][]

### 单核读取 ###

那么执行流程是：

CPU A发出了一条指令，从主内存中读取x。

从主内存通过bus读取到缓存中（远端读取Remote read）,这是该Cache line修改为E状态（独享）.

![format_png 9][]

### 双核读取 ###

那么执行流程是：

CPU A发出了一条指令，从主内存中读取x。

CPU A从主内存通过bus读取到 cache a中并将该cache line 设置为E状态。

CPU B发出了一条指令，从主内存中读取x。

CPU B试图从主内存中读取x时，CPU A检测到了地址冲突。这时CPU A对相关数据做出响应。此时x 存储于cache a和cache b中，x在chche a和cache b中都被设置为S状态(共享)。

![format_png 10][]

### 修改数据 ###

那么执行流程是：

CPU A 计算完成后发指令需要修改x.

CPU A 将x设置为M状态（修改）并通知缓存了x的CPU B, CPU B将本地cache b中的x设置为I状态(无效)

CPU A 对x进行赋值。

![format_png 11][]

### 同步数据 ###

那么执行流程是：

CPU B 发出了要读取x的指令。

CPU B 通知CPU A,CPU A将修改后的数据同步到主内存时cache a 修改为E（独享）

CPU A同步CPU B的x,将cache a和同步后cache b中的x设置为S状态（共享）。

![format_png 12][]

## MESI优化和他们引入的问题 ##

缓存的一致性消息传递是要时间的，这就使其切换时会产生延迟。当一个缓存被切换状态时其他缓存收到消息完成各自的切换并且发出回应消息这么一长串的时间中CPU都会等待所有缓存响应完成。可能出现的阻塞都会导致各种各样的性能问题和稳定性问题。

### CPU切换状态阻塞解决-存储缓存（Store Bufferes） ###

比如你需要修改本地缓存中的一条信息，那么你必须将I（无效）状态通知到其他拥有该缓存数据的CPU缓存中，并且等待确认。等待确认的过程会阻塞处理器，这会降低处理器的性能。应为这个等待远远比一个指令的执行时间长的多。

### Store Bufferes ###

为了避免这种CPU运算能力的浪费，Store Bufferes被引入使用。处理器把它想要写入到主存的值写到缓存，然后继续去处理其他事情。当所有失效确认（Invalidate Acknowledge）都接收到时，数据才会最终被提交。

这么做有两个风险

### Store Bufferes的风险 ###

第一、就是处理器会尝试从存储缓存（Store buffer）中读取值，但它还没有进行提交。这个的解决方案称为Store Forwarding，它使得加载的时候，如果存储缓存中存在，则进行返回。

第二、保存什么时候会完成，这个并没有任何保证。

alue = 3；
    void exeToCPUA(){
      value = 10;
      isFinsh = true;
    }
    void exeToCPUB(){
      if(isFinsh){
        //value一定等于10？！
        assert value == 10;
      }
    }

试想一下开始执行时，CPU A保存着finished在E(独享)状态，而value并没有保存在它的缓存中。（例如，Invalid）。在这种情况下，value会比finished更迟地抛弃存储缓存。完全有可能CPU B读取finished的值为true，而value的值不等于10。

即isFinsh的赋值在value赋值之前。

这种在可识别的行为中发生的变化称为重排序（reordings）。注意，这不意味着你的指令的位置被恶意（或者好意）地更改。

它只是意味着其他的CPU会读到跟程序中写入的顺序不一样的结果。

顺便提一下NIO的设计和Store Bufferes的设计是非常相像的。

### 硬件内存模型 ###

执行失效也不是一个简单的操作，它需要处理器去处理。另外，存储缓存（Store Buffers）并不是无穷大的，所以处理器有时需要等待失效确认的返回。这两个操作都会使得性能大幅降低。为了应付这种情况，引入了失效队列。它们的约定如下：

*  对于所有的收到的Invalidate请求，Invalidate Acknowlege消息必须立刻发送
 *  Invalidate并不真正执行，而是被放在一个特殊的队列中，在方便的时候才会去执行。
 *  处理器不会发送任何消息给所处理的缓存条目，直到它处理Invalidate。

即便是这样处理器已然不知道什么时候优化是允许的，而什么时候并不允许。

干脆处理器将这个任务丢给了写代码的人。这就是内存屏障（Memory Barriers）。

![format_png 13][]

写屏障 Store Memory Barrier(a.k.a. ST, SMB, smp\_wmb)是一条告诉处理器在执行这之后的指令之前，应用所有已经在存储缓存（store buffer）中的保存的指令。

读屏障Load Memory Barrier (a.k.a. LD, RMB, smp\_rmb)是一条告诉处理器在执行任何的加载前，先应用所有已经在失效队列中的失效操作的指令。

void executedOnCpu0() {
        value = 10;
        //在更新数据之前必须将所有存储缓存（store buffer）中的指令执行完毕。
        storeMemoryBarrier();
        finished = true;
    }
    void executedOnCpu1() {
        while(!finished);
        //在读取之前将所有失效队列中关于该数据的指令执行完毕。
        loadMemoryBarrier();
        assert value == 10;
    }

# #

## 最后 ##

欢迎大家关注我的公种浩【程序员追风】，整理了1000道2019年多家公司java面试题400多页pdf文档，文章都会在里面更新，整理的资料也会放在里面。喜欢文章记得点个赞哟，感谢支持！

[format_png]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMzLnpoaW1nLmNvbS84MC92Mi03MzE3YWE4MWFkMjYxYjI1NDJiMTM0ZjcyODhiMmU0MV9oZC5wbmc?x-oss-process=image/format,png
[format_png 1]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMyLnpoaW1nLmNvbS84MC92Mi1kY2RlYzY3ZmVhZWJjODkxOWI0MTgwNmFiYjkwNTg2M19oZC5qcGc?x-oss-process=image/format,png
[format_png 2]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMzLnpoaW1nLmNvbS84MC92Mi05MTBmZTBhMTllMWFjNjkxOTdlN2E1MzZiMWZhNGNlMl9oZC5qcGc?x-oss-process=image/format,png
[format_png 3]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMyLnpoaW1nLmNvbS84MC92Mi04ZTRjOGNjOGIwYjhjOGM3YzNhYjg3NzU1ZjI2NTlhOV9oZC5qcGc?x-oss-process=image/format,png
[format_png 4]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMyLnpoaW1nLmNvbS84MC92Mi0zYWNiYTc4M2NiN2MyZjExZmYyY2Y5ZjgxY2FiZTYzOF9oZC5qcGc?x-oss-process=image/format,png
[format_png 5]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMyLnpoaW1nLmNvbS84MC92Mi1iY2VmYmZkYzIwNjU3MGI5M2VmZjZiNmM1OGYyOGU1ZV9oZC5qcGc?x-oss-process=image/format,png
[format_png 6]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWM0LnpoaW1nLmNvbS84MC92Mi1jOWMwYTgxOTQwYmZjODVkOTQwZGRhZDU0ZDdhMWVkY19oZC5qcGc?x-oss-process=image/format,png
[format_png 7]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMzLnpoaW1nLmNvbS84MC92Mi03ZDk2YTM5OGI4NmQyYzE0YjZhMTIxOWQxOGM4YjE5Ml9oZC5qcGc?x-oss-process=image/format,png
[format_png 8]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWM0LnpoaW1nLmNvbS84MC92Mi05YjIyNzAwZjQ5MjI1YzZhYzcxMzA3ZjcyZjEzOGNlZF9oZC5qcGc?x-oss-process=image/format,png
[format_png 9]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMyLnpoaW1nLmNvbS84MC92Mi00YzI3MzY4YzllZTg0MjE3OWYyOGI3OGZmMWRlMzY0MV9oZC5qcGc?x-oss-process=image/format,png
[format_png 10]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWM0LnpoaW1nLmNvbS84MC92Mi1kMTY2YTdhMWUwODJjYzUwNDk5ZGNiYjA5NWI1MzY5Y19oZC5qcGc?x-oss-process=image/format,png
[format_png 11]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMxLnpoaW1nLmNvbS84MC92Mi04ZTFmZGJlMGFlMjE4OGU2OTk1YWQ0MWFiNmJkODVkYl9oZC5qcGc?x-oss-process=image/format,png
[format_png 12]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWMyLnpoaW1nLmNvbS84MC92Mi0wZmZiZjgzNTdjYzA0YmUxMDdiNTY1NDk3YzdiN2Q3ZF9oZC5qcGc?x-oss-process=image/format,png
[format_png 13]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9waWM0LnpoaW1nLmNvbS84MC92Mi1kNmE3YjdmOWI3NTE0ZjEwYWRhZDZmZjcwMDhlOWVmNV9oZC5wbmc?x-oss-process=image/format,png