JMM Java 内存模型

JMM（Java Memory Model），不是 JVM 内存结构（堆、栈、方法区），而是 Java 多线程并发时的内存访问规则。

---

 

1. JMM 到底是什么？ 

JMM 就是一套规则，用来保证多线程环境下，共享变量的可见性、原子性、有序性。它解决的核心问题： 多线程同时读写同一个变量时，数据不一致、读不到最新值、指令重排导致 bug。

 

---

 

2. JMM 的核心结构 

JMM 规定了两种内存：

① 主内存（Main Memory）

• 存放所有共享变量（实例变量、静态变量）
• 所有线程共享

② 工作内存（Working Memory）

• 每个线程自己独有的
• 存储线程用到的变量副本
• 线程不能直接修改主内存，只能修改自己的副本

---

 

3. JMM 的交互规则（最重要）

1. 线程不能直接读写主内存
2. 线程只能操作自己工作内存里的变量副本
3. 修改变量后，必须同步回主内存
4. 其他线程必须从主内存重新读取才能拿到最新值

 

---

 

4. JMM 要解决的 3 大问题（面试必考）

① 可见性（Visibility） 

一个线程改了变量，其他线程能立刻看到。

问题：线程 A 改了，线程 B 可能还读旧值。
解决：volatile、synchronized、Lock

② 原子性（Atomic）

一个操作不可中断，要么全部成功，要么全部失败。

问题：i++ 不是原子操作，多线程会少算。
解决：synchronized、Lock、AtomicInteger

③ 有序性（Ordering） 

程序执行顺序按代码顺序，不被 CPU 乱序优化。

问题：CPU 会指令重排，单线程没事，多线程崩溃。
解决：volatile、synchronized、happens-before

 

---

 

5. JMM 最核心的 3 个关键字

① volatile 

保证：可见性 + 禁止指令重排
不保证：原子性

② synchronized

保证：可见性 + 原子性 + 有序性
全能，但重量大

③ final 

修饰的变量不可变，线程安全

 

---

 

6. JMM 最重要的规则：Happens-Before

 

前面的操作，结果一定对后面可见。

常用规则：

• 单线程按顺序执行
• volatile 写先于读
• unlock 先于 lock
• 线程 start 先于 run
• 线程结束先于后续操作

---

 

7. 一句话总结 JMM 

JMM 就是一套规范，用来控制多线程之间怎么安全地读写共享变量，保证可见性、原子性、有序性，避免并发 bug。

---

 超级记忆版

• JMM ≠ JVM 内存结构
• JMM = 多线程共享变量访问规则
• 解决：可见性、原子性、有序性
• 关键：主内存、工作内存、volatile、synchronized