Java多线程基石—内存模型

news2025/3/17 8:36:21

Java Memory Model Java内存模型（JMM），定义了线程如何与内存交互及线程间的可见性、有序性和原子性。

JMM屏蔽了各种硬件和操作系统的访问差异，保证Java程序在各种平台下对内存的访问都能保证一致效果。

1 JMM

可见性	一个线程对共享变量的修改，其他线程能立即感知。
原子性	操作不可中断，要么全部执行成功，要不完全不执行。
有序性	代码执行顺序与代码编写顺序一致，避免因指令重排带来的问题。

表 JMM的核心目标

主内存	所有线程共享的内存区域，存储共享变量的原始值。
工作内存	每个线程私有的内存区域，保存该线程使用的共享变量副本。

表 JMM的内存结构

类型	作用域	介绍
lock	主内存	锁定，把一个变量标识为线程独占状态。
unlock	主内存	解锁，把一个处于锁定状态的变量释放。
read	主内存	读取，把一个变量的值从主内存传输到工作内存中。
load	工作内存	加载，把read操作的变量值保存到工作内存的变量副本中。
use	工作内存	使用，把工作内存中的变量值传输给执行引擎。
assign	工作内存	赋值，执行引擎的值存放到工作内存的变量副本中。
store	工作内存	存储，把一个工作内存变量副本的值传送到主内存中。
write	主内存	写入，把store操作的变量值保存到主内存的变量中。

表 JMM的8种内存交互行为

编译器和处理器为了优化程序性能而对指令执行顺序进行重新排列的一种机制。

在保证单线程执行结果不变的前提下，指令重排序会发生在三个层级：

1、编译器重排序

Java编译器（javac、JIT）在生成字节码时，会调整无关指令顺序来提高寄存器利用率或减少指令缓存未命中。

2、处理器指令级并行重排序

CPU通过乱序执行和指令级并行动态调整指令执行顺序，来充分利用流水线资源。

3、内存系统重排序

由于CPU缓存、写缓冲区和缓存一致性协议（如MESI）的存在，可能会对指令重排。

指令重排序在单线程环境下不会影响程序逻辑，但在多线程环境下可能会导致可见性、原子性和有序性问题。

写后读

Read After Write,RAW。

例子： int a = 1; int b = a; // b依赖a的值 RAW

写后写

Write After Write,WAW。主要是防止多线程环境下出问题。

例子：int a =1; a =2; // 第二次写不能排到第一次写之前 WAW

读后写

Write After Read,WAR。

例子：int b = a; a = 3;

表数据依赖类型

单程序顺序规则	单线程内代码的书写顺序决定操作顺序。
锁规则	对一个锁的解锁happens-before 后续对这个锁的加锁动作。作用：确保锁释放前的修改对下一个锁持有者可见。
volatile规则	对一个volatile变量的写操作happens-before后续对这个变量的读操作。作用：确保对volatile变量的修改对所有线程立即可见。
线程启动规则	线程的start()方法调用happens-before 该线程内的所有操作。作用：确保父线程在启动子线程前的修改对子线程可见。
线程终止规则	线程中所有操作happens-before其他线程检测到该线程已终止。作用：确保子线程的修改在join()后对父线程可见。
中断规则	对线程interrupt()方法调用happens-before被中断线程检测到中断事件。
对象终结规则	对象的构造函数执行结束happens-before它的finalize()方法被调用。
传递性	如果操作A happens-before操作B，且操作B happens-before操作C，则操作A happens-before 操作C。

表 happens-before 规则

happens-before 保障了可见性：如操作A happens-before 操作B，则A对共享变量的修改对B可见；

是用来禁止特定类型指令重排序的处理器指令，确保内存操作的可见性。

LoadLoad	禁止该屏障前的读操作与屏障后的读操作重排序。
StoreStore	禁止该屏障前的写操作与屏障后的写操作重排序。
LoadStore	禁止该屏障前的读操作与屏障后的写操作重排序。
StoreLoad	禁止该屏障前的写操作与屏障后的读操作重排序。（开销最大）