MESI缓存一致性协议

MESI协议是一种缓存一致性协议,名字取自缓存行的四种状态首字母:Modified(已修改)、Exclusive(独占)、Shared(共享)、Invalid(无效)。它确保在多核系统中,各核心私有缓存里同一内存地址的副本保持一致。

概述

现代CPU为每个核心配备私有的一级、二级缓存以加速访问。当多个核心同时缓存同一内存位置时,一个核心的写入必须让其他核心的旧副本失效或更新,否则会读到过时数据。MESI通过总线嗅探(bus snooping)监听其他核心的读写请求,并按状态机规则转换缓存行状态,从而在硬件层面维护一致性。

核心原理

• Modified:该缓存行被本核修改过且与内存不一致,是唯一有效副本,写回内存前独占。
• Exclusive:该行只存在于本核缓存中,且与内存一致,可直接修改而无需通知他人。
• Shared:该行可能同时存在于多个核心缓存中,均与内存一致,只能读不能直接改。
• Invalid:该行无效,数据已过期,需重新从内存或其他缓存加载。

当一个核心要写入处于Shared状态的行时,会广播失效消息使其他副本变为Invalid,自己转为Modified。许多现代CPU使用其扩展变体MESIF或MOESI以减少内存写回。

应用场景

MESI是理解并发编程性能问题的关键。多线程频繁写同一缓存行会引发缓存行来回失效,即伪共享(false sharing),严重拖慢程序。开发者常通过内存对齐、填充字节将频繁写的变量分散到不同缓存行来规避。它也是内存屏障与内存模型的硬件基础。

常见问题

问:MESI能替代内存屏障吗?答:不能。MESI保证缓存最终一致,但由于存在写缓冲和乱序执行,程序仍需内存屏障来约束指令可见顺序。

问:什么是伪共享?答:两个无关变量恰好位于同一缓存行,不同核心分别频繁修改它们,导致缓存行不断失效互相争抢,性能急剧下降。