2. Snooping协议基础：总线监听机制、写失效与写更新、MESI协议状态机详解
好，咱们今天聊聊Snooping协议。说白了，这就是多核处理器里，各个核之间怎么“通气”的问题。
你想想看，一个芯片里四五个核，每个核都有自己的L1缓存。核A改了某个数据，核B还在用老版本，这不就乱套了吗？Snooping协议就是来解决这个问题的。我当年做第一颗多核芯片时，就在这上面栽过跟头——总线监听没处理好，结果数据一致性出了问题，查了整整两周才定位到。
2.1 总线监听机制
总线监听，英文叫Bus Snooping。名字挺形象——每个核的缓存控制器，都像个小偷一样“偷听”总线上的事务。
具体怎么工作的呢？
- 每个缓存控制器都连着共享总线
- 当某个核发起内存访问时，事务会在总线上广播
- 其他核的缓存控制器“听到”这个事务，检查自己的缓存
- 如果发现冲突，就采取相应动作
嗯，这里要注意：监听机制是硬件自动完成的，软件完全感知不到。我见过不少工程师把监听和软件同步搞混，其实完全是两码事。
核心要点：总线监听是硬件层面的缓存一致性协议，对软件透明。它保证了每个核看到的数据都是最新的。
2.2 写失效与写更新
总线监听有两种基本策略：写失效和写更新。我习惯把它们比作“通知删除”和“通知更新”。
写失效（Write-Invalidate）
当一个核要写某个缓存行时，它会先发一个“失效”信号到总线上。其他核收到后，如果自己缓存里有这份数据，就把对应的缓存行标记为无效。
说白了就是：“我要改了，你们手里的旧版本都给我扔掉！”
我在项目中遇到过一个问题：某个核频繁写一个共享变量，导致其他核的缓存行反复失效，性能掉得厉害。后来发现是伪共享（False Sharing）问题，把数据结构重新排列了一下就好了。
写更新（Write-Update）
写更新策略不一样。当核A写数据时，它不光更新自己的缓存，还把新数据广播到总线上。其他核收到后，直接更新自己缓存里的对应行。
说白了就是：“我改了，这是新值，你们也同步更新一下！”
| 特性 | 写失效 | 写更新 |
|---|---|---|
| 总线流量 | 低（只发失效信号） | 高（要发整个数据块） |
| 实现复杂度 | 简单 | 复杂 |
| 适用场景 | 写多读少 | 读多写少 |
| 主流选择 | ARM、x86都用这个 | 较少使用 |
你猜现在主流用哪个？写失效。ARM和x86都选它。为什么？因为写更新的总线开销太大了，尤其是缓存行有64字节时，每次写都要广播64字节，总线很快就撑不住了。
避坑指南：我曾经在某个项目中，为了追求“数据实时性”选了写更新策略。结果总线带宽被吃光，性能反而下降了30%。后来老老实实换回写失效，配合MESI协议，问题就解决了。
2.3 MESI协议状态机详解
MESI是四个状态的缩写：Modified、Exclusive、Shared、Invalid。这是目前最经典的缓存一致性协议，ARM Cortex-A系列处理器就在用。
我刚开始学MESI时，觉得状态机好复杂。后来发现，你只要记住一个原则就行：每个缓存行在任何时刻，只能处于这四个状态中的一个。
四个状态的含义
- M（Modified）：数据被修改过，和主存不一致。这个核独占这份数据，其他核没有副本。
- E（Exclusive）：数据没被修改，和主存一致。但这个核独占，其他核没有副本。
- S（Shared）：数据没被修改，和主存一致。但其他核也可能有副本。
- I（Invalid）：数据无效，不能使用。需要从主存或其他核那里重新获取。
说白了，M和E都是“独占”，区别在于M是脏数据，E是干净数据。S是“共享”，I是“无效”。
状态转换规则
状态转换由两类事件触发：本地请求（本核发起的读写）和总线监听（其他核发起的读写）。
我画个简单的转换逻辑给你看：
// 本地读请求
当前状态 I -> 发总线读 -> 其他核有副本? -> 是: S, 否: E
当前状态 E -> 保持 E
当前状态 S -> 保持 S
当前状态 M -> 保持 M
// 本地写请求
当前状态 I -> 发总线读独占 -> 其他核失效副本 -> M
当前状态 E -> 直接写 -> M
当前状态 S -> 发总线失效 -> 其他核失效副本 -> M
当前状态 M -> 直接写 -> M
// 监听其他核的读请求
当前状态 M -> 写回主存 -> S
当前状态 E -> 变成 S
当前状态 S -> 保持 S
当前状态 I -> 保持 I
// 监听其他核的写请求
当前状态 M -> 写回主存 -> I
当前状态 E -> 变成 I
当前状态 S -> 变成 I
当前状态 I -> 保持 I
嗯，看着有点多，但核心逻辑其实就几条：
- 写之前，必须确保其他核没有有效副本（发失效信号）
- 读的时候，如果其他核有M状态的数据，必须先写回主存
- E和S的区别在于：E状态写不需要发总线事务，S状态写需要
性能关键：E状态是性能最好的状态。因为从E到M不需要总线事务，直接本地写就行。所以尽量让数据保持在E状态，能省不少总线带宽。
一个实际例子
假设核A和核B共享变量x，初始都在主存中：
- 核A读x：发总线读，没有其他核有副本 → 核A的缓存行进入E状态
- 核B读x：发总线读，核A监听到 → 核A从E变成S，核B进入S状态
- 核A写x：发总线失效，核B监听到 → 核B从S变成I，核A从S变成M
- 核B读x：发总线读，核A监听到 → 核A写回主存，从M变成S，核B进入S状态
你看，整个过程都是硬件自动完成的。软件只需要正常读写变量，一致性由MESI协议保证。
注意：MESI协议不是万能的。伪共享（False Sharing）就是MESI的典型性能陷阱。两个核各自修改不同的变量，但这两个变量恰好在同一个缓存行里，就会导致缓存行在核之间来回失效，性能急剧下降。
小结
总线监听机制是缓存一致性的基础，写失效是主流策略，MESI是经典的状态机实现。我个人建议，做多核系统设计时，先把MESI的状态转换图贴在工位上，写代码前看一眼，能避免很多坑。
下一章我们会讲目录协议，那是另一种一致性方案，适合核数更多的场景。到时候再聊。