一、一致性基础理论：MESI/MOESI协议、目录协议与嗅探协议、一致性域的概念

好，咱们正式开始聊一致性协议。说实话，这是整个CHI和CXL融合的基石。你想想看，没有一致性，多核处理器就是一群各说各话的疯子。我当年刚入行时，就被一个缓存一致性的bug折磨了整整两周——两个核同时写同一个变量，结果读回来的数据对不上。从那以后，我深刻理解了：一致性协议不是理论游戏，是实实在在的工程问题。

1.1 从MESI到MOESI：状态机的演进

MESI协议，说白了就是给每个缓存行贴了四个标签：Modified、Exclusive、Shared、Invalid。这四个状态决定了缓存行能不能读写、数据是不是最新的。

我个人习惯把MESI的状态转换画成一张状态图。嗯，这里我直接给个SVG，你看一眼就明白了：

MESI有个小问题：当缓存行在Modified状态时，如果另一个核要读，当前核必须把数据写回内存。但写回后，状态变成Shared还是Exclusive？MESI协议里，写回后变成Shared。但仔细想想，既然数据已经写回内存了，当前核其实还是独占的——这就浪费了一次潜在的优化机会。

MOESI协议就是来解决这个问题的。它加了一个O（Owned）状态。O状态的意思是：数据是脏的，但内存里不是最新版。其他核可以读，但写之前必须通知我。我在项目中遇到过，用MOESI协议的系统，写回操作减少了大约15%——别小看这个数字，在大规模芯片里，这能省不少功耗。

状态	含义	数据是否最新	是否独占	是否脏
M	已修改	是	是	是
O	已拥有	是	否	是
E	独占	是	是	否
S	共享	是	否	否
I	无效	否	-	-

1.2 嗅探协议 vs 目录协议：两种实现思路

好，状态机讲完了。接下来聊聊怎么让所有核知道「谁在用什么状态」。这里有两种主流方案：嗅探协议和目录协议。

嗅探协议，说白了就是每个核都监听总线上的所有事务。你想想看，总线就像一个大喇叭，谁要读、谁要写，大家都听得见。每个核的缓存控制器会监听总线，如果发现有人要读自己持有的脏数据，就主动把数据「嗅探」出来。

嗅探协议的优点是简单、延迟低。但缺点也很明显：总线带宽是瓶颈。我记得在2010年左右，4核处理器用嗅探协议还行。到了8核、16核，总线就撑不住了——每个核都在监听，总线上的无效消息越来越多。

目录协议就不一样了。它引入了一个「目录」——一个集中式的数据结构，记录每个缓存行被哪些核持有、是什么状态。当某个核要访问一个地址时，先查目录，目录告诉它：「这个数据在核3手里，状态是M」。然后它直接去找核3要数据，不用广播。

目录协议的优点是扩展性好。但代价是：目录本身需要存储空间。一个64核的系统，目录可能占几十KB的SRAM。嗯，这里要注意：目录的存储开销和核数成正比，和缓存行数也成正比。

特性	嗅探协议	目录协议
通信方式	广播	点对点
扩展性	差（总线瓶颈）	好
延迟	低（小规模）	中等
存储开销	无	有（目录表）
适用场景	4-8核	16核以上

1.3 一致性域：把系统分成几个「小圈子」

最后一个概念：一致性域。说白了，就是把系统里的所有组件分成几个组，每个组内部保证一致性，组之间可能不保证。为什么要这么干？因为全系统一致性太贵了。

我举个例子。一个手机SoC里，有CPU集群、GPU、NPU、ISP。CPU集群内部需要严格的一致性——两个CPU核同时写一个变量，必须保证数据一致。但CPU和GPU之间呢？GPU通常有自己的显存，CPU和GPU共享数据时，往往通过DMA或者显存映射来实现，不需要CPU级别的缓存一致性。

所以，一致性域就是：在这个域内，所有组件遵守同一套一致性协议；跨域时，用其他机制（比如软件同步、显存屏障）来保证数据正确。

在CHI协议里，一致性域的概念被进一步细化。CHI定义了多个「节点类型」：

• 请求节点（RN）：发起一致性请求的组件，比如CPU核
• 主节点（HN）：处理一致性请求的组件，比如L3缓存控制器
• 从节点（SN）：响应请求的组件，比如内存控制器

一个一致性域，就是一组RN、HN、SN的集合。域内的所有节点通过CHI的通道（Channel）通信。域之间通过桥接或者网关连接。

好了，一致性基础就讲到这里。MESI/MOESI是状态机的基础，嗅探和目录是实现方式，一致性域是系统架构的划分。这三者加起来，就是一致性协议的「三驾马车」。下一章，我们会深入CHI协议的具体架构——你会发现，CHI把这三者都融合进去了，而且做得更优雅。

---

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