JMM是定义多线程共享变量读写行为的抽象规则，解决可见性、有序性、原子性问题，与JVM内存结构属不同层面；主内存和工作内存是逻辑抽象而非物理分区；volatile仅保障可见性和有序性，不保证复合操作原子性；happens-before是判断线程安全的核心依据。
Java内存模型（JMM）不是JVM堆栈图，而是多线程读写共享变量的“行为契约”——它不描述内存物理布局，而定义“什么时候一个线程能看到另一个线程的修改”。
什么是JMM：别把它和JVM运行时数据区混为一谈
JMM是Java虚拟机规范中的一套抽象规则，解决的是并发场景下可见性、有序性、原子性三大问题。它和JVM内存结构（堆、栈、方法区等）属于不同层面：
• JVM内存结构回答“对象存在哪”；
• JMM回答“线程A改了flag，线程B啥时候能看见”。
常见误区是把volatile当成“让变量放堆里”，其实它只约束读写动作的语义，跟存储位置无关。
主内存 vs 工作内存：不是真实内存分区，而是逻辑抽象
这是JMM最易误解的概念：
• 主内存对应所有线程共享的变量存储位置（如堆中的对象字段、方法区的静态变量）；
• 工作内存不是一块独立内存，而是每个线程对共享变量的本地副本缓存（可能在CPU寄存器或L1/L2缓存中）。
关键点：
• 线程不能直接读写主内存，必须经过“load → use → assign → store → write”流程；
• count++这种操作包含三步（读、加、写），JMM不保证这三步原子，所以即使count是volatile，也不能解决竞态；
• 没有同步机制时，线程B的工作内存里flag可能永远是旧值，哪怕线程A早已写回主内存。
volatile关键字：轻量级同步的边界在哪
volatile只提供两项保障：
• 写操作后立即刷新到主内存（可见性）；
• 禁止该变量前后的指令重排序（有序性）。
但它不保证复合操作的原子性。
典型误用：
public class Counter {
private volatile int count = 0;
public void increment() {
count++; // ❌ 非原子：read-load-use-assign-store-write 全部不被volatile保护
}
}正确做法：
• 单纯状态标志（如
isRunning）用volatile足够；• 计数、累加、条件更新等，必须配合
synchronized或AtomicInteger；• 注意：
volatile不能修饰long/double以外的引用类型字段（如volatile List只保列表引用可见，不保列表内容）。
happens-before原则：判断线程安全的事实依据
这是JMM落地的“判决书”，只要两个操作满足任一happens-before规则，就能确定前者对后者可见且有序。常用规则：
• 程序顺序规则：同一线程内，前面的语句happens-before后面的语句；
• volatile变量规则：对volatile变量的写happens-before后续对该变量的读；
• 监视器锁规则：解锁（synchronized块结束）happens-before后续加锁（同一把锁）；
• 线程启动规则：Thread.start() happens-before 子线程任何动作。
注意：happens-before不可逆推——A happens-before B，不代表B一定看不到A之前的其他非同步操作。
立即学习“Java免费学习笔记（深入）”；
真正难的不是记住这些规则，而是当代码出现偶发性错值或卡顿，你得意识到：问题可能不在逻辑，而在变量是否被正确同步；不在JVM参数调优，而在volatile没用对地方，或synchronized锁粒度太粗导致争用。JMM的细节藏在每一次read/write的语义里，而不是堆内存的大小里。
