深入理解Java内存模型：对并发编程的影响
在Java并发编程中，内存模型是一个至关重要的概念，它定义了程序中各个变量的访问规则，以及在多线程环境下如何正确地处理这些变量。Java内存模型（JMM）是Java规范中定义的一个抽象的概念，它描述了一组规则，通过这组规则，Java程序中的内存操作（如读写变量）在不同的线程之间是如何进行同步的。
内存模型的基本概念
在深入探讨Java内存模型之前，我们需要了解一些基本的概念，如内存、主内存、工作内存、内存可见性、原子性、有序性等。
- 主内存（Main Memory）：Java内存模型规定所有变量都存储在主内存中，主内存是共享的，所有线程都可以访问。
- 工作内存（Working Memory）：每个线程都有自己的工作内存，它是主内存的私有拷贝。线程对变量的所有操作（读取、赋值）都必须在工作内存中进行。
- 内存可见性（Visibility）：当一个线程修改了共享变量的值，其它线程可能无法立即看到这个变更，这就是内存可见性问题。
- 原子性（Atomicity）：一个操作是不可中断的，要么完全执行，要么完全不执行。
- 有序性（Ordering）：在程序中，操作的执行顺序需要符合逻辑顺序。
内存模型的三大特性
Java内存模型的三大特性是原子性、可见性和有序性。
- 原子性：Java内存模型保证了基本数据类型的访问和操作是原子的，例如对int、long、short、byte、char、boolean和reference类型的读写操作都是原子的。
- 可见性：Java内存模型通过volatile关键字来保证可见性。当一个变量被声明为volatile时，它会保证对该变量的读写操作都会直接作用于主内存。
- 有序性：Java内存模型通过volatile和synchronized关键字来保证有序性。volatile关键字确保了对变量的读写操作的有序性，而synchronized关键字则确保了多个线程对同一代码块的访问是互斥的。
代码示例
下面我们通过一些代码示例来展示Java内存模型的这些特性。
package cn.juwatech.concurrent;
public class VisibilityDemo {
private static boolean flag = false;
public static void main(String[] args) throws InterruptedException {
Thread t1 = new Thread(() -> {
flag = true;
System.out.println("Flag set to true");
});
Thread t2 = new Thread(() -> {
while (!flag) {
// 循环等待flag变为true
}
System.out.println("Flag is true, proceeding");
});
t1.start();
t2.start();
t1.join();
t2.join();
}
}
在这个例子中，我们创建了两个线程t1和t2。t1设置flag变量为true，而t2则在flag为true之前一直等待。如果没有使用volatile关键字修饰flag变量，t2可能无法立即看到flag的变更，因为flag的值可能只在t1的工作内存中被修改，而没有同步到主内存中。使用volatile关键字可以确保flag的修改对t2可见。
内存屏障
内存屏障（Memory Barrier）是Java内存模型中的一个同步机制，它用于控制特定变量的读写操作的顺序。内存屏障分为四种类型：
- LoadLoad Barriers：对于一个线程来说，它在该屏障之前的所有读操作都必须在它在该屏障之后的任何读操作之前完成。
- StoreStore Barriers：对于一个线程来说，它在该屏障之前的任何写操作都必须在它在该屏障之后的任何写操作之前完成。
- LoadStore Barriers：对于一个线程来说，它在该屏障之前的任何读操作都必须在它在该屏障之后的任何写操作之前完成。
- StoreLoad Barriers：对于所有线程来说，一个线程中该屏障之前的任何写操作都必须在其他线程中该屏障之后的任何读操作之前完成。
代码示例
下面是一个使用内存屏障的代码示例。
package cn.juwatech.concurrent;
public class MemoryBarrierDemo {
private static int x = 0, y = 0;
private static final Object lock = new Object();
public static void main(String[] args) {
new Thread(() -> {
synchronized (lock) {
x = 1; // 写操作
System.out.println("x = " + x);
lock.notifyAll(); // 唤醒其他线程
}
}).start();
new Thread(() -> {
synchronized (lock) {
while (x == 0) {
try {
lock.wait(); // 等待x变为1
} catch (InterruptedException e) {
e.printStackTrace();
}
}
y = x + 1; // 写操作
System.out.println("y = " + y);
}
}).start();
}
}
在这个例子中，我们使用了synchronized关键字和wait、notifyAll方法来实现内存屏障的效果。synchronized关键字保证了对共享变量x和y的访问是互斥的，从而保证了操作的有序性。
总结
Java内存模型是并发编程中的一个重要概念，它通过定义变量的访问规则来保证线程之间的正确同步。理解并正确使用Java内存模型的特性，如原子性、可见性和有序性，对于编写高效、正确的并发程序至关重要。
