📚 课程目录第3章 MESI协议核心状态机

3. MESI协议核心状态机

MESI协议是ARM多核处理器中最常见的缓存一致性协议之一，其名称来源于四种缓存行状态：Modified（已修改）、Exclusive（独占）、Shared（共享）、Invalid（无效）。理解这四种状态的定义、迁移条件以及总线事务交互流程，是后续在ARM平台上进行协议移植适配的基础。本节将从状态语义出发，逐步展开状态迁移的触发条件，并结合总线事务说明多核之间的协作过程。

一、四种状态的核心定义

在MESI协议中，每个缓存行都会携带一个状态标记，用于描述该行在当前核心缓存中的有效性与所有权。四种状态的定义如下：

Modified（M）：当前缓存行已被本核修改，数据与主存不一致，且本核是该行唯一有效副本。此时本核拥有该行的写权限，其他核心若需读取，必须由本核回写或转发。
Exclusive（E）：当前缓存行与主存一致，且仅存在于本核缓存中。本核可在不通知其他核心的情况下直接升级为Modified，因为不存在其他副本。
Shared（S）：当前缓存行与主存一致，且可能存在于多个核心的缓存中。本核只有读权限，若要写入，必须先使其他副本失效。
Invalid（I）：当前缓存行无效，不包含有效数据。读取该行会触发缓存缺失，需要从主存或其他缓存获取。

关键理解：M状态强调“脏且独占”，E状态强调“净且独占”，S状态强调“净且共享”，I状态强调“不可用”。状态之间的迁移本质上是在“所有权”和“数据新鲜度”两个维度上变化。

二、状态迁移条件与触发事件

状态迁移由本地核心的读写请求以及总线上的侦听事件共同驱动。常见迁移条件可归纳为以下几类：

本地读缺失（I→E或I→S）：本核读取一个无效行，向总线发起读事务。若其他核心均无副本，则从主存加载并进入E；若其他核心有副本，则进入S。
本地写缺失（I→M）：本核写入一个无效行，发起读独占事务（Read Exclusive）。总线需使其他核心的副本失效，成功后本核进入M。
本地写命中（S→M）：本核在S状态下写入，需发起总线升级事务（Upgrade），使其他核心副本失效，成功后进入M。
本地写命中（E→M）：本核在E状态下写入，无需总线事务，直接静默升级为M。
侦听到远程读（M→S）：其他核心读取本核的M行，本核需将数据回写主存或直接转发，自身降级为S。
侦听到远程写（M→I或S→I）：其他核心要写入该行，本核必须使自身副本失效，M行还需先回写数据。
侦听到远程读独占（E→I或S→I）：其他核心要独占该行，本核的E或S副本必须失效。

下表汇总了典型迁移路径及其触发条件，便于在移植时对照实现：

当前状态	触发事件	目标状态	是否需总线事务
I	本地读，无其他副本	E	是（BusRd）
I	本地读，有其他副本	S	是（BusRd）
I	本地写	M	是（BusRdX）
E	本地写	M	否
S	本地写	M	是（BusUpgr）
M	远程读	S	是（回写/转发）
M	远程写	I	是（回写+失效）
S	远程写	I	是（失效）
E	远程读独占	I	是（失效）

三、总线事务交互流程

MESI协议的状态迁移并非孤立发生，而是通过总线上的事务请求与侦听响应完成。以典型的四核ARM系统为例，当Core0发生写缺失时，其交互流程如下：

Core0: 写缺失 → 发起 BusRdX 事务
总线: 广播 BusRdX 给 Core1/Core2/Core3
Core1: 若为S或E → 置I，发失效确认
Core2: 若为M → 回写数据到主存，置I，发失效确认
Core3: 若为I → 无动作
Core0: 收到所有确认后，加载数据并置M

这一流程体现了MESI协议的两个关键机制：写失效（Write Invalidate）和写回（Write Back）。写失效保证在写入前清除其他副本，写回保证M状态的数据在降级前不会丢失。ARM多核处理器通常通过ACE或CHI总线协议实现这些事务，移植时需要将MESI状态机映射到具体总线通道。

在ARM平台移植时，需特别注意：M状态的脏数据回写可能通过主存完成，也可能通过缓存到缓存直接转发（Cache-to-Cache Transfer）。后者可降低延迟，但要求总线支持数据转发通道。

四、典型场景与移植适配案例

假设一个四核ARM Cortex-A76集群运行共享内存程序，Core0与Core1同时读取变量x，随后Core0修改x，Core1再次读取x。其状态变化过程为：

初始：x在Core0和Core1中均为I。
Core0读x：BusRd，无其他副本，Core0进入E。
Core1读x：BusRd，侦听到Core0有E副本，Core0降为S，Core1进入S。
Core0写x：BusUpgr，Core1的S副本失效置I，Core0进入M。
Core1再读x：BusRd，侦听到Core0为M，Core0回写数据并降为S，Core1进入S。

在移植适配中，常见误区是忽略E状态的静默升级特性，导致不必要的总线事务，降低性能。另一个误区是未正确处理M状态下的远程读请求，造成数据丢失或死锁。建议在RTL仿真或FPGA原型阶段，用覆盖率驱动验证所有迁移路径，尤其是M→S、M→I、S→M、E→M这四条关键路径。

移植时若总线不支持Cache-to-Cache转发，M状态的远程读必须等待主存回写完成，会显著增加延迟。此时可考虑在协议层增加“转发优先”策略，或调整缓存行替换策略以减少M状态驻留时间。

五、状态机可视化

下图展示了MESI四种状态及其主要迁移路径，箭头标注了触发事件与总线事务类型，可作为移植实现时的状态机参考模型。

该状态机图可作为移植适配时的对照基准。在ARM平台上，需将图中的总线事务映射到ACE的ReadShared、ReadUnique、CleanUnique等通道，并确保侦听响应与状态迁移严格一致。只有状态机逻辑与总线事务时序完全对齐，才能保证多核缓存一致性的正确性。