为什么需要缓存一致性？
现代多核 CPU 中，每个核心都有自己的私有缓存（L1/L2），但共享主内存。当多个核心同时读写同一内存地址时，如果没有协调机制，一个核心的修改可能对其他核心不可见，导致数据错误。缓存一致性协议就是用来保证所有核心看到的内存视图是一致的。
MESI 是最经典的缓存一致性协议之一，它通过为每个缓存行定义四种状态来协调多核访问。
MESI 的四种状态
- M（Modified）：缓存行已被修改，与主内存不一致，且仅存在于当前核心的缓存中。
- E（Exclusive）：缓存行与主内存一致，且仅存在于当前核心的缓存中。
- S（Shared）：缓存行与主内存一致，可能存在于多个核心的缓存中。
- I（Invalid）：缓存行无效，不可使用。
状态转换由核心的读写请求和其他核心的监听（snooping）消息触发。例如：
- 核心读取未缓存的数据：从内存加载，若其他核心无副本则进入 E，否则进入 S。
- 核心写入 E 状态的行：直接转为 M，无需通知其他核心。
- 核心写入 S 状态的行：需先发送 Invalidate 消息使其他核心的副本失效，然后转为 M。
- 其他核心请求读取 M 状态的行：当前核心需将数据写回内存，并转为 S。
对多线程性能的影响
MESI 虽然保证了正确性，但也引入了性能开销，主要体现在：
1. 缓存行失效（False Sharing）
当多个线程频繁修改位于同一缓存行的不同变量时，即使这些变量逻辑上独立，也会因缓存行在核心间来回失效而引发大量一致性流量。例如两个线程分别递增同一结构体中的两个相邻 int 字段，性能可能比单线程还差。
应对：使用填充（padding）将热点变量隔离到不同缓存行。C++ 中可用 alignas(64)，Java 中可用 @Contended 注解（需开启 JVM 参数 -XX:-RestrictContended）。
2. 原子操作与内存屏障
原子操作（如 CAS）通常需要锁定缓存行，期间其他核心无法访问该行，导致总线或互连上的竞争。内存屏障则强制刷新存储缓冲区，可能阻塞流水线。
应对：减少原子变量的争用，使用无锁数据结构时注意 ABA 问题；优先使用 relaxed 内存序（如 C++11 的 memory_order_relaxed）当不需要顺序保证时。
3. 缓存行迁移
当线程在不同核心间迁移时，其工作集缓存行需要随之迁移，可能引发大量缓存未命中。
应对：通过线程亲和性（affinity）绑定线程到固定核心，或使用 NUMA 感知的内存分配。
实践建议
- 用性能分析工具（如 Linux
perf）监控缓存未命中率（cache-misses）和一致性流量。 - 编写多线程代码时，尽量让每个线程访问独立的数据块，避免共享写。
- 对于必须共享的计数器，考虑使用分片累加（每个线程局部累加，最后合并）。
- 理解所用语言的内存模型（如 Java 内存模型、C++ 内存模型），它们建立在硬件一致性协议之上。
MESI 只是众多一致性协议中的一种（还有 MOESI、MESIF 等），但核心思想相通。掌握它有助于写出对缓存友好的高性能并发程序。