4、一致性协议分类：监听协议与目录协议、写失效与写更新、状态机的基本概念

Cache一致性协议是保证多核处理器中每个核所看到的共享内存视图一致性的核心机制。在深入MESI与MOESI状态机之前，必须先厘清协议的分类维度、写操作的处理策略以及状态机的基本运作逻辑。本章从三个维度展开：按管理方式分为监听协议与目录协议，按写操作传播方式分为写失效与写更新，最后引入状态机的基本概念，为后续章节中MESI/MOESI的具体状态迁移打下理论基础。

4.1 监听协议与目录协议：两种管理哲学

4.1.1 核心原理

监听协议（Snooping Protocol），又称嗅探协议，其核心思想是所有Cache控制器都连接到共享总线（或环形/网格互连）上，每个Cache持续“监听”总线上的事务。当某个处理器发起读写请求时，该请求以广播形式出现在总线上，所有其他Cache控制器同时观察该事务，并根据自身状态决定是否响应（例如提供数据或失效本地副本）。监听协议的关键假设是总线序（Bus Ordering）——所有Cache看到的总线事务顺序一致，从而保证全局一致性。

目录协议（Directory Protocol）则采用集中式或分布式的目录结构来记录每个Cache块的状态和共享者列表。目录项通常包含：状态位（如未共享/共享/独占）、共享者位图（哪些Cache持有副本）、拥有者指针（若存在脏数据）。当处理器发起请求时，Cache控制器不广播，而是直接与目录通信，由目录决定需要通知哪些Cache执行失效或数据转发。目录协议避免了总线广播，因此可扩展性更好，适用于大规模多核系统。

4.1.2 对比分析

4.1.3 案例拆解：从监听转向目录的工程动因

假设一个16核处理器，若采用监听协议，每次写失效需要广播到15个核。总线事务数为O(N²)，当N=16时，总线利用率急剧上升，导致一致性延迟增加30%以上。改用目录协议后，目录记录每个Cache块的共享者位图（16bit），写失效只需向实际共享者发送点对点消息，事务数降为O(共享者数)。实测数据表明：在16核场景下，目录协议将一致性带宽消耗降低约65%，但代价是目录存储开销（每个Cache块额外16bit）和目录访问延迟（约增加2~3个周期）。

4.1.4 常见误区

• 误区1：认为监听协议一定比目录协议快。实际上，监听协议在核数少时延迟低，但核数增多后总线仲裁和广播延迟会急剧上升。
• 误区2：忽略混合方案。现代处理器常采用分层混合：片内L1/L2用监听，跨片L3用目录。
• 误区3：忘记目录本身的一致性。目录项也需要维护，若目录更新与Cache操作并发，需要额外的锁或事务机制。

4.2 写失效与写更新：写操作的两种传播策略

4.2.1 核心原理

写失效（Write Invalidate）策略：当处理器P1写入地址A时，P1的Cache更新本地副本，同时向其他所有Cache发送失效消息，使它们将地址A的副本标记为无效（I状态）。后续若其他处理器访问A，必须重新从内存或拥有者处获取最新数据。写失效的优点是写操作只需传输地址和失效命令，数据量小；缺点是后续读缺失会增加延迟。

写更新（Write Update）策略：当P1写入地址A时，P1不仅更新本地Cache，还将新数据本身广播给所有持有A副本的Cache，使它们同步更新。写更新的优点是其他处理器立即可见最新数据，读命中率高；缺点是总线带宽消耗巨大，每次写都要传输完整数据块（通常64B），且多次写同一地址会重复广播。

4.2.2 操作流程对比

1. 写失效流程：① P1发起写请求 → ② 本地Cache命中且状态为M/E → ③ 发送失效广播（地址+失效命令） → ④ 其他Cache收到后置I状态 → ⑤ P1写完成，状态保持M。
2. 写更新流程：① P1发起写请求 → ② 本地Cache命中 → ③ 广播数据块（地址+完整数据） → ④ 其他Cache收到后更新数据并保持S状态 → ⑤ P1写完成，状态保持M。

4.2.3 案例拆解：写失效在MESI中的实际表现

考虑双核系统，P0和P1都缓存了地址A（状态S）。P0执行写操作：

// 初始状态：P0-Cache[A]=S, P1-Cache[A]=S, Mem[A]=旧值
P0: 写A → 本地状态S，需升级为M
P0: 发送Invalidate(A)到总线
P1: 监听总线，收到Invalidate(A) → P1-Cache[A]置为I
P0: 写A完成，P0-Cache[A]=M
// 最终状态：P0-Cache[A]=M, P1-Cache[A]=I, Mem[A]=旧值（P0持有最新）

若P1随后读A，则发生读缺失，P1发送BusRd(A)，P0监听到后提供数据并降级为S，P1获得数据并置S。整个过程需要2次总线事务（失效+读），但数据量小。

4.2.4 常见误区与总结

• 误区1：认为写更新能减少总线事务。实际上，写更新的事务次数与写次数相同，但每次数据量大；写失效的事务次数与写次数相同，但每次数据量小。
• 误区2：忽略“写失效后读缺失”的连锁效应。若多个核交替写同一地址，会产生“写失效→读缺失→写失效”的乒乓效应，此时写更新可能更优。
• 总结：现代多核处理器几乎全部采用写失效，因为数据块大小（64B）远大于地址（8B），写更新带宽成本过高。只有在极低延迟、小数据块的专用场景（如寄存器文件）中才考虑写更新。

4.3 状态机的基本概念：有限状态机在Cache一致性中的应用

4.3.1 核心原理

Cache一致性协议本质上是有限状态机（FSM）的实例。每个Cache块（通常为64B）在任意时刻处于某个稳定状态，当发生事件（本地处理器操作或总线事务）时，状态机根据当前状态和事件类型执行动作（如更新数据、发送消息、修改状态），并迁移到下一状态。状态机的五要素为：

1. 状态集合：如MESI的{M, E, S, I}，MOESI的{M, O, E, S, I}。
2. 输入事件：本地读（Local Read）、本地写（Local Write）、总线读（BusRd）、总线写（BusRdX）、总线升级（BusUpgr）、缓存替换（Evict）等。
3. 迁移条件：事件与当前状态的匹配关系，例如“当前状态为S，收到BusRdX”触发失效。
4. 动作：包括数据加载、数据响应、失效广播、写回内存等。
5. 下一状态：迁移后的目标状态。

4.3.2 状态机设计的关键考量

• 状态粒度：每个Cache块独立维护状态，状态位通常2~3bit（MESI需2bit，MOESI需3bit）。
• 事件同步：状态迁移必须与总线事务原子完成，避免中间状态被其他核观察到。
• 替换策略：当Cache块被替换时，若状态为M/O，需写回内存；若为S/E，可直接丢弃。
• 伪共享（False Sharing）：不同核访问同一Cache块的不同字节，导致频繁失效，状态机无法区分，需通过软件优化（如数据对齐）缓解。

4.3.3 案例拆解：MESI状态机的典型迁移路径

以单核视角观察地址A的Cache块状态变化：

初始：I（无效）
1. 本地读A → 发送BusRd → 若其他核无副本 → 状态变为E（独占）
2. 本地写A（当前E） → 直接写，状态变为M（修改）
3. 其他核读A（当前M） → 监听BusRd → 提供数据，状态降为S（共享）
4. 其他核写A（当前S） → 监听BusRdX → 置为I（失效）
5. 本地读A（当前I） → 发送BusRd → 从内存获取，状态变为S

该路径展示了状态机如何通过事件驱动完成一致性维护。注意E状态与M状态的区别：E表示独占且干净（与内存一致），M表示独占且脏（与内存不一致）。E状态写操作无需总线事务，M状态写操作也无需总线事务（因为独占），但M状态在替换时必须写回。

4.3.4 常见误区与复盘

• 误区1：认为E状态和M状态可以合并。实际上，E状态允许无总线事务的写操作，而M状态在替换时必须写回，两者性能差异显著。
• 误区2：忽略“总线事务的原子性”。状态迁移必须与总线事务的完成同步，否则可能出现“状态已变但数据未更新”的竞态。
• 误区3：在MOESI中，O状态（Owned）常被误解为“脏共享”。O状态表示数据是脏的但被多个核共享，只有拥有者（O）负责写回内存，其他共享者（S）无需写回。这是MOESI与MESI的关键区别。

4.3.5 状态机设计流程总结

1. 定义状态集合：根据协议需求选择MESI/MOESI等。
2. 枚举事件：列出所有可能的本地操作和总线事务。
3. 绘制状态迁移表：每个（当前状态，事件）对对应（动作，下一状态）。
4. 验证一致性：确保所有可能的事件组合都有定义，且不会产生非法状态。
5. 硬件实现：用组合逻辑+状态寄存器实现FSM，注意时序约束。