引言
Java内存模型(Java Memory Model,JMM)是Java并发编程中最基础也是最重要的部分。它定义了Java虚拟机中线程与内存之间的交互规范,是保证Java程序在各种平台下都能保持一致的内存可见性、有序性和原子性的关键所在。深入理解JMM对于开发高质量的并发程序至关重要。
一、JMM基础概念
Java内存模型的核心概念是主内存与工作内存。在Java中,所有的变量都存储在主内存中,每个线程都有自己的工作内存。工作内存中保存了该线程使用到的变量的主内存副本。线程对变量的所有操作都必须在工作内存中进行,而不能直接操作主内存。
下面通过一个实例来说明这个概念:
public class MemoryModelDemo {
private int x = 0;
private boolean flag = false;
public void writer() {
x = 42; // 1
flag = true; // 2
}
public void reader() {
if (flag) {
// 3
System.out.println(x); // 4
}
}
}
在这个例子中,如果两个线程同时执行writer和reader方法,由于工作内存的存在,可能会出现意想不到的结果。reader线程可能看到flag的值为true,但却看到x的值为0,这就是著名的重排序现象。
二、内存交互操作
JMM定义了八种原子操作来完成主内存和工作内存的交互:
public class MemoryOperationExample {
private int value = 0;
public void demonstrate() {
// read操作:从主内存读取到工作内存
int temp = value; // read
// load操作:将read到的值载入工作内存
// use操作:使用工作内存中的值
temp = temp + 1; // use
// assign操作:将计算结果赋值给工作内存中的变量
// store操作:将工作内存中的值存储到主内存
// write操作:将store的值写入主内存
value = temp; // assign, store, write
}
}