4. MESI协议实战：状态转换案例分析，伪共享问题，MESI在现代CPU中的实现

好，咱们今天来点真格的。

前面几章把MESI协议的理论讲了个七七八八，但说实话，光看状态机图是学不会的。你得亲手推演几个案例，踩几个坑，才能真正理解这玩意儿在CPU里是怎么跑的。

我个人习惯，每次讲MESI实战，都会从三个角度切入：状态转换的完整推演、伪共享这个经典大坑、以及现代CPU里MESI到底长什么样。咱们一个一个来。

4.1 状态转换案例分析：从单核到多核的完整推演

先看一个最简单的场景。假设两个核心，Core0和Core1，共享变量X。

场景一：Core0读，Core1读

Core0发起读请求。此时X不在任何缓存中，总线嗅探发现Miss。Core0从内存加载X，状态设为Shared。

接着Core1也读X。总线嗅探发现Core0已经有了一份。Core0回应「我有，且是干净的」。Core1也从内存加载X，状态设为Shared。两个核心都持有S状态。

嗯，这里要注意：两个S状态的核心，谁都不能擅自修改数据。谁想写，必须先发Invalidate。

场景二：Core0写，Core1读

Core0想写X。它发现自己的状态是S，于是向总线发送Invalidate消息。Core1收到后，把自己缓存里的X标记为Invalid，并回复Ack。Core0收到所有Ack后，把状态改为Modified，然后写入新值。

这时候Core1再读X，会发生什么？

Core1发起读请求，总线嗅探发现Core0持有M状态。Core0写回内存，同时把数据发给Core1。Core0状态变为Shared，Core1状态也是Shared。

我在项目中遇到过一个问题：有些工程师以为M状态的核心会直接「共享」数据给其他核心，其实不是。M状态的核心必须先写回，才能转为S。这个顺序搞反了，数据一致性就崩了。

场景三：Core0写，Core1写（经典的写冲突）

Core0持有M状态，Core1想写X。Core1发送Invalidate，Core0收到后，发现自己持有M。它先写回内存，然后把自己的状态改为Invalid，回复Ack。Core1收到Ack后，从内存加载X，状态设为Modified。

你看，整个过程里，数据永远不会丢失。要么在缓存里，要么在内存里。这就是MESI的核心保障。

4.2 伪共享问题：一个让你性能暴跌10倍的坑

伪共享（False Sharing），说白了就是两个核心在改不同的变量，但这两个变量碰巧在同一个缓存行里。

你想想看，Core0在改变量A，Core1在改变量B。A和B在同一个缓存行里。Core0改A，导致整个缓存行变成M状态，Core1的缓存行被Invalidate。Core1改B，又导致Core0的缓存行被Invalidate。两个核心来回抢缓存行，性能直接崩盘。

我曾经帮一个团队排查性能问题。他们的多线程程序跑在48核的机器上，按理说应该线性加速，结果跑到8个线程就上不去了。我一看代码，好家伙，两个线程各自维护一个计数器，两个计数器紧挨着声明。这就是典型的伪共享。

怎么解决？缓存行填充。

// 伪共享版本
struct Counter {
    volatile long value;
};

// 修复版本：缓存行填充
struct Counter {
    volatile long value;
    char padding[64 - sizeof(long)]; // 填充到64字节
};

现代CPU的缓存行一般是64字节。你把变量填充到64字节，确保两个变量不在同一个缓存行里，伪共享就解了。

4.3 MESI在现代CPU中的实现：没那么简单

你以为现代CPU里跑的就是标准的MESI？太天真了。

实际上，Intel和AMD都用了MESIF或MOESI的变种。为什么？因为标准的MESI在大量核心的场景下，总线带宽扛不住。

MESIF（Intel）：多了一个F（Forward）状态。当多个核心持有S状态时，指定一个核心作为「转发者」。其他核心读数据时，由这个转发者提供，不用每次都去内存。这能减少总线流量。

MOESI（AMD）：多了一个O（Owned）状态。当某个核心持有M状态，但其他核心也想读时，M状态的核心可以不写回内存，直接把自己的数据共享出去，自己变成O状态。O状态的核心负责写回内存，但其他核心可以放心读。

我个人的经验是：别纠结于具体是MESI还是MOESI。你只要理解核心思想——读共享、写独占、状态机转换——就够了。具体实现细节，那是CPU架构师的事。

另外，现代CPU还引入了目录协议。当核心数超过8个时，总线嗅探的广播开销太大。目录协议用一个中心化的目录记录每个缓存行的状态，核心只跟目录通信，不广播。这能大幅降低总线压力。

4.4 知识体系总览

下面这张图，是我自己梳理的MESI实战知识体系。你看一眼，心里就有谱了。

这张图把咱们今天讲的内容串起来了。左边是状态转换，中间是伪共享，右边是现代实现。底部是实战建议。你保存下来，以后做性能调优的时候拿出来看看，很有用。

4.5 小结

今天的内容，说白了就三件事：

• 状态转换：MESI的四种状态怎么变，总线嗅探怎么工作。你推演一遍就懂了。
• 伪共享：多核编程的头号杀手。缓存行填充是解药。
• 现代实现：MESIF、MOESI、目录协议。别被名字吓到，核心思想没变。

嗯，今天就到这儿。下一章咱们聊聊缓存一致性协议的性能分析，到时候我会拿真实的数据说话。

---

公众号:蓝海资料掘金营，微信deep3321