Java 内存模型(Java Memory Model,JMM)定义了 Java 程序中多线程之间的内存访问行为规范,保证了多线程程序在不同平台上的可移植性和执行结果的一致性。下面是 Java 内存模型的主要概念和特点:
-
主内存和工作内存:
- 主内存是 Java 线程之间共享的内存区域,存储着实例字段、静态字段和数组元素等。
- 每个线程都有自己的工作内存,存储着主内存中的部分数据的拷贝副本,用于线程的读写操作。
-
内存间交互操作:
- Java 内存模型定义了一组操作,用于线程之间的数据交互,包括读取和写入操作。
- 线程对共享变量的读取操作会从主内存复制到工作内存中,而写入操作则会将工作内存中的值写回主内存。
-
内存可见性:
- 内存可见性指的是当一个线程修改了共享变量的值后,其他线程能够立即看到这个修改。
- Java 内存模型通过 volatile 关键字、synchronized 关键字和锁机制来保证内存可见性。
-
指令重排序:
- 为了提高程序执行效率,Java 运行时系统可能会对指令进行重排序,但不会影响单线程程序的执行结果。
- Java 内存模型通过 happens-before 规则来保证对多线程程序的正确性,即前一个操作的结果对后续操作是可见的。
-
happens-before 关系:
- happens-befo