基础篇（三）：CPU多级缓存模型 / MESI缓存一致性协议

什么是CPU多级缓存模型

1. 什么是CPU多级缓存

2. CPU和主内存之间为啥要有个高速缓存

CPU与主存运行速度的差异，导致CPU长时间空闲。

CPU是计算机的大脑，是负责执行指令的；自身的频率和指令执行的速度非常快，一秒执行的指令大概10^9级别的；内存的的速度要比CPU慢上好几个级别，每秒处理的速度大概是10^6的级别的。
这样就会导致一个问题；如果CPU要频繁的访问主存的话，每次都需要等待很长的时间，执行性能就会低，大部分时间都在等待主存返回数据，没有发挥出CPU的性能。

3. 引入高速缓存，减少CPU等待时间，提升运行效率

4. 多核CPU的多级缓存架构是怎么样的？

如上图所示，现代计算机一般都是多核CPU的，其中每个CPU都有自己的高速缓存，其中主内存是共用的。读取数据的时候先从主内存读取到自己的高速缓存中，CPU需要数据时先从自己的高速缓存中查找，找不到再去主内存中拉取，同时刷入自己的高速缓存中。

5. 多核CPU的多级缓存架构带来的缓存数据一致性问题

如上图所示：在多线程并发操作的时候，由于CPU多级缓存的存在，有可能你修改了值，但是别的CPU的高速缓存还是旧值，CPU计算的时候使用了旧值计算，导致数据有问题。

MESI缓存一致性协议

协议作用

MESI协议也叫做缓存一致性协议，主要是用来进行协调多核CPU的高级缓存的数据一致的。

MESI一致性协议数据状态

MESI一致性协议定义了高速缓存中数据的4种状态，分别是：
M（Modified）: 修改过的，只有一个CPU能独占这个修改状态，独占的意思是当有一个CPU的高速缓存数据处于这个状态的时候，其它CPU的高速缓存对这个共享的数据均不能操作；高速缓存中的数据发生了更新，需要被刷入主内存中。
E（Exclusive）: 独占状态，只有一个CPU能独占这个状态，同样当某个CPU的高速缓存的数据处于这个状态的时候，其它CPU的均不能操作这个共享数据
S（Share）：共享的状态，当CPU的高速缓存中的数据这个状态的时候，各个CPU可以并发的对这个数据进行读取
I（Invalid）：无效的，意思是当前高速缓存的这个数据已经是无效了或者过期了，不能使用。

状态解析

首先像上面的图一样，CPU0、CPU1将共享变量 i = 0 读取，进入自己高速缓存的时候；缓存的状态是S，也就是共享的；

CPU0要对 i = 0 的变量进行修改操作

1. CPU0发送消息给总线，说我要修改数据了，帮我通知一下其它的CPU
2. 其它的CPU收到总线通知消息，将自己高速缓存上 i = 0 的数据状态变为Invalid过期
3. 其它CPU返回给总线说我们都过期了
4. 总线收到其它CPU返回过期OK了
5. 总线返回给CPU0说，好了，其它CPU都通知到位了，它们高速缓存上的 i = 0的数据都是过期状态了
6. CPU0收到了过期确认，都过期了，那我就可以独占这份数据了，嘿嘿，准备可以修改数据了
   

CPU0修改数据，刷新回主内存

7. CPU0执行 i++ 操作，将 i = 1 的最新结果刷入到高速缓存中，同时将高速缓存的数据状态设为M（修改过的）
8. 然后将高速缓存中 i = 1 的最新结果又刷入主内存中

CPU1要读取数据操作，发现高速缓存上数据过期

9. CPU1发现自己高速缓存上 i = 0 的数据是 Invalid 过期状态，于是从主存重新读取
10. 然后CPU1从主内存读取到 i = 1的最新的数据，将自己状态设置成S