MESI 协议

概念

MESI 协议是高速缓存一致性协议，是为了解决多 cpu 、并发环境下，多个 cpu 缓存不一致问题而提出的协议。

协议规定，缓存行在任何时刻一定处于四个状态之一：

• Modified: 缓存行已经被修改，但是没有被写回主存；
• Exclusive: 缓存行与主存相同，并且是主存的唯一拷贝；
• Shared: 和主存系统，可能也存在于其他的缓存中，并不是主存的唯一拷贝；
• Invalid: 缓存行无效

MESI 状态转换：

特点

MESI  是一种基于回写（write-back）、缓存无效化（invalidate）的协议。

回写：本地修改并不会立即同步到主存(write-through)，而是等到出现 dirty 数据被交换出来时才同步；

缓存无效：一旦某个cpu 发生了本地写，会广播一个 “invalid message”，其它cpu 会将本地缓存重置为无效。

问题

在某个 cpu 发生本地写事件后，需要通过总线发送 invalid message, 等到其他的cpu 回复完成 invalid 各自的本地缓存后，这个cpu 才能真正地修改缓存然后继续向下执行，这个过程是同步阻塞的，也被成为缓存锁。这样做的好处是保证了缓存间的强一致性。

优化思路很简单，就是通过缓存、队列来实现异步，提高了效率，但是牺牲了强一致性,具体表现就是会出现指令重排的现象!!

比如:

a = 1;
b = a + 1;
assert(b == 2);

会把 a = 1 放入 store buffer 发送 invalidate 消息并得到 ack, 继续执行了 b = a +1, a 从主存从新读取仍然是默认的 0 , 所以 b = 1, 断言失败, cpu 表现出来了重排序执行效果:

b = a + 1;
a = 1;
assert(b == 2);

另外 invalid queue 和 store buffer 有溢出的风险。

这个时候如果确实需要禁止 cpu 重排序,保证强一致性怎么办呢？大家思考一下，下篇文章会给出答案！

---

如果觉得还不错的话，关注、分享、在看， 原创不易，且看且珍惜~