【JVM深度解析】第24篇：JVM内存模型（JMM）核心原理

摘要JMMJava Memory ModelJava 内存模型是 Java 并发编程的基础它定义了线程之间共享变量的可见性、有序性问题以及如何通过 Happens-Before 规则和内存屏障来解决这些问题。理解 JMM你才能真正明白 volatile、synchronized、final 等关键字的底层原理以及为什么多线程代码如此容易出错。本文深入解析 JMM 的三大核心问题原子性、可见性、有序性以及 Happens-Before 规则、内存屏障、CPU 缓存一致性MESI 协议等底层机制。一、JMM 概述1.1 为什么需要 JMMJMM 解决的核心问题 ┌──────────────────────────────────────────────────────────────────┐ │ │ │ 问题多核 CPU 缓存 指令重排序 并发 Bug 的根源 │ │ │ │ 示例 │ │ Thread A: │ │ flag true; // 写入主内存 │ │ data 42; // 写入 CPU 缓存未刷回 │ │ │ │ Thread B: │ │ if (flag) { // 读取 flag true │ │ System.out.println(data); // 读取到 0 │ │ } │ │ │ │ 结果Thread B 可能输出 0 而不是 42 │ │ │ └──────────────────────────────────────────────────────────────────┘1.2 JMM 的抽象结构┌──────────────────────────────────────────────────────────────────┐ │ JMM 抽象结构 │ ├──────────────────────────────────────────────────────────────────┤ │ │ │ ┌──────────────────────────────────────────────────────────┐ │ │ │ 主内存Main Memory │ │ │ │ ┌─────────────────────────────────────────────────┐ │ │ │ │ │ shared variables (heap, method area) │ │ │ │ │ │ - 对象字段 │ │ │ │ │ │ - 静态变量 │ │ │ │ │ │ - 数组元素 │ │ │ │ │ └─────────────────────────────────────────────────┘ │ │ │ └──────────────────────────────────────────────────────────┘ │ │ │ │ ↑ load ↑ store │ │ ↓ store ↓ load │ │ │ │ ┌──────────┐ ┌──────────┐ ┌──────────┐ ┌──────────┐ │ │ │ Thread 1 │ │ Thread 2 │ │ Thread 3 │ │ Thread N │ │ │ │ Working │ │ Working │ │ Working │ │ Working │ │ │ │ Memory │ │ Memory │ │ Memory │ │ Memory │ │ │ │ (CPU Cache)│ │ (CPU Cache)│ │ (CPU Cache)│ │ (CPU Cache)│ │ │ └──────────┘ └──────────┘ └──────────┘ └──────────┘ │ │ │ │ 每个线程有自己的 Working Memory工作内存 │ │ 共享变量先复制到工作内存操作后再写回主内存。 │ │ │ └──────────────────────────────────────────────────────────────────┘二、JMM 三大特性2.1 原子性Atomicity原子性操作要么全部完成要么全部不执行不会被中断。// 原子操作x1;// 原子基本类型赋值objnewObject();// 原子引用赋值// 非原子操作x;// 非原子read-modify-writeobj.field1;// 非原子可能只写了 1 个字节时被打断obj.hashCode();// 非原子内部有多个步骤// synchronized 保证原子性publicsynchronizedvoidincrement(){x;// 整个方法体是原子的}2.2 可见性Visibility可见性一个线程对共享变量的修改能被其他线程及时看到。// 可见性问题publicclassVisibilityDemo{privatebooleanflagfalse;publicvoidwriter(){flagtrue;// 写入主内存// 可能只写入了 CPU 缓存Thread B 看不到}publicvoidreader(){if(flag){// 读取到的是旧值 false// 可能永远不会执行到这里}}}2.3 有序性Ordering有序性程序代码的执行顺序与预期一致但 CPU 可能重排序。// 重排序示例publicclassReorderDemo{privateinta0;privatebooleanflagfalse;publicvoidwriter(){a1;// 操作 1flagtrue;// 操作 2// 编译器/CPU 可能重排序为// flag true;// a 1;}publicvoidreader(){if(flag){// 读取 flag trueSystem.out.println(a);// a 可能还是 0}}}三、Happens-Before 规则3.1 什么是 Happens-BeforeHappens-Before 是 JMM 最核心的概念——它定义了什么时候一个操作 A happens-before 操作 BHappens-Before 的含义 ┌──────────────────────────────────────────────────────────────────┐ │ │ │ A HB BA happens-before B意味着 │ │ │ │ 1. A 的结果对 B 可见 │ │ 2. A 的执行顺序在 B 之前 │ │ │ │ 注意这不意味着 A 一定在 B 之前执行 │ │ 只是保证了如果 A 在 B 之前执行完成结果对 B 可见 │ │ │ └──────────────────────────────────────────────────────────────────┘3.2 JMM 定义的原则Happens-Before 规则 ┌──────────────────────────────────────────────────────────────────┐ │ │ │ 1. 程序顺序规则Program Order Rule │ │ 在同一线程中按代码顺序前面的操作 HB 后面的操作 │ │ │ │ 2. 监视器锁规则Monitor Lock Rule │ │ unlock 操作 HB 后续对同一个锁的 lock 操作 │ │ │ │ 3. volatile 变量规则Volatile Variable Rule │ │ 对 volatile 变量的写 HB 后续对该变量的读 │ │ │ │ 4. 线程启动规则Thread Start Rule │ │ Thread.start() HB 该线程的每个操作 │ │ │ │ 5. 线程终止规则Thread Termination Rule │ │ 线程的所有操作 HB 其他线程检测到该线程终止 │ │ │ │ 6. 传递性规则Transitivity │ │ A HB BB HB C ⇒ A HB C │ │ │ └──────────────────────────────────────────────────────────────────┘3.3 实战应用// Happens-Before 应用示例// 场景双重检查锁定单例publicclassSingleton{privatestaticvolatileSingletoninstance;publicstaticSingletongetInstance(){if(instancenull){// T1: 读取 instancesynchronized(Singleton.class){if(instancenull){// T2: 再次检查instancenewSingleton();// 分解为三步// 1. 分配内存// 2. 调用构造函数// 3. 写入 instance 引用// volatile 保证这 3 步不会重排序}}}returninstance;}}四、内存屏障4.1 内存屏障类型┌──────────────────────────────────────────────────────────────────┐ │ 内存屏障类型 │ ├──────────────────────────────────────────────────────────────────┤ │ │ │ LoadLoad 屏障 │ │ 确保 Load1 在后续 Load2 之前读取数据 │ │ ───────────────────────────── │ │ │ │ StoreStore 屏障 │ │ 确保 Store1 在后续 Store2 之前刷新到主内存 │ │ ───────────────────────────── │ │ │ │ LoadStore 屏障 │ │ 确保 Load 在后续 Store 之前完成 │ │ ───────────────────────────── │ │ │ │ StoreLoad 屏障 │ │ 确保 Store 在后续 Load 之前完成 │ │ 最重的一种屏障同时保证可见性和有序性 │ │ │ └──────────────────────────────────────────────────────────────────┘4.2 volatile 的底层实现// volatile 写操作的汇编代码// 对 volatile 变量的写入会生成内存屏障指令// javap -c -v 输出publicvoidsetValue(int);0:aload_01:iload_12:putfield #2// putfield 本身包含 StoreStore 屏障5:return// volatile 读操作的汇编代码publicintgetValue();0:aload_01:getfield #2// getfield 本身包含 LoadLoad LoadStore 屏障4:ireturn五、总结JMM 是 Java 并发编程的基石。通过 Happens-Before 规则和内存屏障JMM 解决了多线程环境下的原子性、可见性、有序性问题。理解 JMM才能理解 volatile、synchronized、final 等关键字的底层原理写出正确的多线程代码。系列导航上一篇【JVM深度解析】第23篇字节码执行引擎深度剖析下一篇【JVM深度解析】第25篇volatile与synchronized深度原理系列目录JVM深度解析参考资料JSR 133: Java Memory ModelJava Memory Model - Oracle DocumentationUnderstanding JMM - Jakob Jenkov