Java内存模型（JMM）是Java虚拟机规范中定义的一套用于屏蔽不同硬件和操作系统的内存访问差异，保证Java程序在各种平台下都能达到一致的内存访问效果的规范。它核心围绕主内存和工作内存的划分，以及两者之间的交互规则展开，是理解Java并发编程中可见性、原子性、有序性三大特性的基础。
JMM的核心内存划分
JMM将Java内存划分为两部分，分别是主内存和工作内存，两者的作用有明确区分：
- 主内存：是所有线程共享的内存区域，存储了Java程序中的实例字段、静态字段、数组元素等所有共享变量，是变量存储的主要区域。
- 工作内存：是每个线程私有的内存区域，存储了线程需要使用的共享变量的副本，线程对变量的所有操作都只能在工作内存中进行，不能直接读写主内存中的变量。
工作内存与主内存的交互操作
JMM定义了8种原子性的操作来完成工作内存和主内存之间的交互，每种操作都有明确的执行条件：
| 操作名称 | 作用 | 执行主体 |
|---|---|---|
| lock（锁定） | 把主内存中的变量标记为线程独占状态 | 主内存→工作内存 |
| unlock（解锁） | 释放主内存中处于锁定状态的变量，释放后其他线程可以锁定该变量 | 主内存←工作内存 |
| read（读取） | 把主内存中的变量值传输到工作内存中，供后续load操作使用 | 主内存→工作内存 |
| load（载入） | 把read操作从主内存得到的变量值放入工作内存的变量副本中 | 主内存→工作内存 |
| use（使用） | 把工作内存中的变量值传递给执行引擎，当虚拟机遇到需要使用变量值的字节码指令时执行该操作 | 工作内存→执行引擎 |
| assign（赋值） | 把执行引擎接收到的值赋给工作内存中的变量，当虚拟机遇到给变量赋值的字节码指令时执行该操作 | 执行引擎→工作内存 |
| store（存储） | 把工作内存中变量的值传输到主内存中，供后续write操作使用 | 工作内存→主内存 |
| write（写入） | 把store操作从工作内存得到的变量值放入主内存的变量中 | 工作内存→主内存 |
交互操作的规则约束
上述8种操作并不是可以随意组合的，JMM规定了以下必须遵循的规则：
- read和load、store和write必须成对出现，不允许单独执行其中一个操作，即主内存的变量读取到工作内存必须完成完整的read+load流程，工作内存的变量写回主内存必须完成完整的store+write流程。
- 线程不允许丢弃最近的assign操作，即线程修改了工作内存中的变量后，必须执行store和write操作将修改同步回主内存。
- 线程不允许无原因地将变量从工作内存同步回主内存，必须是线程执行了assign操作后才可以触发同步。
- 一个新的变量只能在主内存中诞生，不允许在工作内存中直接使用一个未被初始化的变量，即use和store操作前必须先执行load或assign操作。
- 一个变量同一时刻只能被一个线程锁定，线程可以多次执行lock操作，但需要执行相同次数的unlock操作才能解锁。
- 执行lock操作会清空工作内存中该变量的副本值，执行unlock操作前必须先把变量同步回主内存。
交互关系的实际示例
下面通过一个简单的变量修改示例，展示工作内存和主内存的完整交互流程：
public class JMMTest {
private static int count = 0; // 共享变量，存储在主内存中
public static void main(String[] args) {
// 线程A执行count自增操作
Thread threadA = new Thread(() -> {
// 1. read+load：从主内存读取count的值0到工作内存，生成副本
// 2. use：将工作内存中count的值0传递给执行引擎
// 3. assign：执行引擎计算0+1=1，将1赋值给工作内存的count副本
// 4. store+write：将工作内存中count的值1同步回主内存
count++;
});
// 线程B执行count自增操作
Thread threadB = new Thread(() -> {
// 同样执行read+load→use→assign→store+write的流程
// 如果线程A的操作还未同步回主内存，线程B读取到的还是0，最终两个线程自增后count可能为1
count++;
});
threadA.start();
threadB.start();
}
}
交互关系的实际意义
理解工作内存和主内存的交互关系，能够解释很多并发编程中的常见问题：
- 变量可见性问题：线程修改了工作内存中的变量后没有及时同步回主内存，或者其他线程没有重新从主内存读取变量，就会导致变量修改不可见，这也是
volatile关键字的作用原理，它会强制线程每次使用变量时都从主内存重新读取，修改后立即同步回主内存。 - 原子性问题：比如上述的count++操作，看似是一个步骤，实际上包含了read、load、use、assign、store、write多个操作，在多线程下会出现操作交叉，导致结果不符合预期，需要使用
synchronized或者原子类来保证操作的原子性。 - 有序性问题：JMM允许编译器和处理器对指令进行重排序，只要重排序后的结果在单线程下一致即可，但重排序可能会影响多线程的内存交互结果，
volatile和synchronized也可以在一定程度上保证有序性。
总的来说，JMM的工作内存和主内存交互规则是Java并发编程的底层支撑，掌握这些规则能够帮助开发者更清晰地理解并发相关的问题，写出更健壮的并发代码。