Java 内存模型深度解析

Java 内存模型（Java Memory Model，JMM）是一种抽象的架构，它决定了线程和内存之间的交互。JMM 定义了线程和内程之间的某些关系，以及在 JVM 中将如何使用内存。

JMM 的目标是确保在多线程环境下，为编译器和处理器提供足够的自由度来优化代码性能，同时确保在显式同步的情况下，为程序员提供一致的内存可见性保证。

以下是一个简单的例子，演示了在多线程环境下，如何通过 volatile 关键字来确保内存的可见性：

public class VolatileExample {
    // 使用 volatile 关键字声明的共享变量
    private volatile boolean flag = false;
 
    // 运行的线程
    public void runTask() {
        new Thread(() -> {
            while (!flag) {
                // 线程会一直循环，直到 flag 为 true
            }
            // 处理任务
        }).start();
    }
 
    // 主线程设置 flag 为 true，使得上面的线程退出循环
    public void setFlag() {
        flag = true;
    }
 
    public static void main(String[] args) {
        VolatileExample example = new VolatileExample();
        example.runTask();
        // 执行其他任务...
        example.setFlag(); // 当条件满足时，通知线程结束
    }
}

在这个例子中，flag 变量被声明为 volatile，这确保了任何对 flag 的写操作都将立即对其他线程可见，即使这些写操作没有进行显式的同步。这样，当 flag 被设置为 true 时，runTask 方法中的线程将停止执行循环，因为它能够检测到 flag 的新值。这是 JMM 的一个基本应用，展示了如何通过 volatile 关键字确保内存的可见性。