MESI是硬件层缓存一致性协议，JMM是JVM对其的抽象封装；volatile写通过内存屏障触发MESI状态转换与失效广播，实现JMM可见性语义，内存屏障是二者协作的关键桥梁。
Java 中的多核缓存一致性协议（如 MESI）和 Java 内存模型（JMM）不是同一层的东西，但它们紧密协作：MESI 是硬件实现的底层机制，JMM 是 JVM 对它的抽象封装和语义约定。
MESI 协议是 JMM 可见性的物理基础
MESI 本身不关心“线程”或“volatile”，它只管 CPU 缓存行的状态（Modified/Exclusive/Shared/Invalid）和总线上的失效广播。当一个线程写 volatile 变量时，JVM 通常会生成带 lock 前缀的指令（x86 下），触发两件事：
- 强制把当前缓存行写回主内存，并标记为 Modified 状态；
- 通过总线嗅探向其他核心广播 Invalidate 请求，使其对应缓存行变为 Invalid；
- 后续其他线程读该 volatile 变量时，因缓存失效，必须重新从主内存加载最新值。
这个过程就是 JMM 所要求的“写 volatile 后，其他线程读到新值”的可见性保障——它背后真正起作用的是 MESI 的状态转换与广播机制。
JMM 不直接调用 MESI，而是通过内存屏障间接控制它
JMM 本身不规定硬件怎么做，它只定义 happens-before 规则和内存操作语义。比如 synchronized 释放锁、volatile 写、Thread.start() 等都会插入特定类型的内存屏障（如 StoreLoad 屏障）。这些屏障在 x86 上可能编译为 mfence 或隐含在 lock 指令中，在 ARM 上则需显式指令。
立即学习“Java免费学习笔记（深入）”；
- StoreStore 屏障防止上面的写被重排到下面的写之后；
- LoadLoad 屏障防止上面的读被重排到下面的读之前；
- 关键的是，StoreLoad 屏障能强制刷出 store buffer，确保本地写对其他核“及时可见”，从而压缩 MESI “最终一致”的延迟窗口。
换句话说：MESI 提供能力，JMM 定义何时需要这个能力，内存屏障是两者之间的翻译器。
不是所有 JMM 行为都依赖 MESI
JMM 的很多语义和 MESI 无关，比如：
- final 字段的初始化安全性：靠的是 JMM 的“final field semantics”规则，保证构造完成前 final 字段不会被其他线程看到未初始化值，这由 JVM 在对象发布时插入屏障实现，和缓存行状态无关；
- synchronized 的互斥语义：本质是 lock/unlock 操作带来的 happens-before 关系，其底层可能是 CAS + 自旋 + OS 调度，不一定触发 MESI 广播（比如锁未竞争时根本不动缓存行）；
- 不同架构的实现差异：ARM 或 RISC-V 没有 lock 指令，JVM 就改用 DMB 指令配合 cache 清理来模拟类似效果，MESI 不是唯一路径。
理解错位常见误区
容易混淆的几个点：
- volatile ≠ MESI：volatile 是 JMM 语义，MESI 是一种可能的硬件支撑方式；某些场景下 JVM 可能用纯屏障代替广播（尤其在单核或弱一致性架构上）；
- JMM 不是 MESI 的“软件版”：它更像一份契约——告诉开发者“只要你按规则写，我就保证行为可预期”，而不管底下是 MESI、MOESI 还是自定义一致性协议；
- “缓存一致性”不等于“顺序一致性”：MESI 保证最终一致，JMM 靠内存屏障+happens-before 把局部区域提升到顺序一致级别。
