Java内存模型(JMM)是Java虚拟机(JVM)的一部分,它定义了Java程序中各种变量(线程中的本地变量、堆中的对象、类中的静态字段等)的访问规则,以及在多线程环境中如何和何时可以看到由其他线程修改过的共享变量的值。JMM对于实现高性能、可靠的并发应用程序至关重要。
JMM的主要目标:
- 定义程序中变量的访问规则:确保线程执行程序代码时能正确地读取到变量的值,无论变量被另一个线程在何处、何时修改。
- 提供可见性和有序性保证:确保一个线程对共享变量的修改对其他线程可见(可见性),并且在多线程环境中对于共享变量的访问是有序的(有序性)。
- 提供原子性保证:对基本读取和写入操作的原子性保证。
JMM的关键特性:
1. 可见性
当一个线程修改了共享变量的值,其他线程能够立即知道这个修改。Java提供了volatile
关键字来保证变量的修改对所有线程立即可见。
2. 原子性
Java提供了synchronized
和Lock
机制来保证代码块在多线程环境中的原子性执行。
3. 有序性
Java中,有序性是通过happens-before
原则来保证的,这个原则是JMM中最核心的概念之一。
happens-before原则
happens-before
关系是逻辑上定义两个操作之间的偏序关系。如果一个操作A happens-before操作B,那么JMM将保证A操作的结果对B操作可见,且A的操作顺序在B之前。
happens-before
规则包括:
- 程序顺序规则:在同一个线程中,按照程序代码顺序,前面的操作happens-before于后续的任何操作。
- 监视器锁规则:解锁(unlock)happens-before于随后的对同一个锁的加锁(lock)。
- volatile变量规则:对volatile字段的写操作happens-before于后续对这个volatile字段的读操作。
- 传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。
代码示例
下面是使用volatile
关键字实现的一个可见性示例:
java
public class VolatileExample {
private volatile boolean flag = false;
public void writer() {
flag = true; // 写操作
}
public void reader() {
if (flag) { // 读操作
System.out.println("Flag is true");
}
}
}
在这个例子中,flag
变量被标记为volatile
。这意味着对这个变量的写操作会立即对其他线程可见,而且读取操作会看到最近一次的写入。
内存屏障
JMM是通过内存屏障(Memory Barriers)来实现happens-before
原则的。内存屏障是一种CPU指令,用于控制特定类型的操作的执行顺序。JMM利用这些内存屏障来禁止特定类型的操作重排序。
- Load Barrier(加载屏障):确保之后的读操作不会和屏障之前的读写操作重排序。
- Store Barrier(存储屏障):确保之前的写操作不会和屏障之后的读写操作重排序。
总结
JMM定义了Java多线程程序中变量的读写规则,以及线程之间如何通过共享变量进行通信。它通过volatile
、synchronized
和Lock
等机制提供了一套规则和保证,让开发者可以编写出更加安全、高效的并发程序。理解JMM是实现正确的并发程序的关键。