volatile 是 Java 并发编程中的一个关键字，它看起来简单，实则涉及 JVM、内存模型（JMM）、汇编指令、编译器优化等多个底层机制。

---

一、volatile 的作用

volatile 是 Java 提供的一种轻量级的同步机制，用于确保共享变量的可见性和禁止指令重排序。

---

二、volatile 的两个核心作用

作用	说明
✅ 可见性（visibility）	保证一个线程对变量的修改，能被其他线程立即看到
✅ 禁止指令重排序（ordering）	保证变量的写操作 不会与前后代码重排序，适用于多线程场景中的“happen-before”原则

⚠️ 注意：volatile 不能保证原子性！（即 ++ 操作仍然可能并发冲突）

---

三、什么时候使用 volatile？

• 状态标志变量：如停止标记 volatile boolean running = true;
• 双重检查锁（DCL）：用于单例模式中的懒加载初始化（防止指令重排）

---

四、代码示例

示例 1：无 volatile，出现死循环

class Worker extends Thread {
    private boolean running = true;

    public void run() {
        while (running) {
            // do something
        }
        System.out.println("Worker stopped.");
    }

    public void stopWorker() {
        running = false;
    }
}

当主线程调用 stopWorker() 后，Worker 线程可能永远看不到 running = false（缓存问题）。

示例 2：使用 volatile 保证可见性

private volatile boolean running = true;

这样可以强制每次从主内存读取变量的值，而不是使用线程局部缓存（如 CPU cache 或寄存器中旧值）。

---

五、底层原理：如何实现这两个语义？

1. 可见性实现机制

当一个变量被声明为 volatile 时，Java 编译器和处理器会确保：

• 对该变量的 写操作会立即刷新到主内存
• 对该变量的 读操作会强制从主内存重新读取最新值

2. 禁止指令重排序实现机制

• 编译器会在生成指令时加入内存屏障（Memory Barrier）
• CPU 会根据屏障限制指令乱序执行（如：StoreLoad barrier）

volatile int a = 0;
a = 1;      // 禁止与前后写入重排序
flag = true; // flag 为 volatile 变量

通过插入内存屏障，JVM 保证在 flag = true 之前所有写操作（如 a = 1）都对其他线程可见。

---

六、volatile 与 synchronized 的区别

对比点	volatile	synchronized
可见性	✅ 有	✅ 有
原子性	❌ 无	✅ 有（临界区互斥）
重排序禁止	✅ 禁止写操作的重排序	✅ 因为有内存屏障
线程阻塞	❌ 不会阻塞	✅ 阻塞临界区
性能开销	低	较高（加锁/解锁）

---

七、volatile 的典型应用：双重检查锁（DCL）

public class Singleton {
    private static volatile Singleton instance;

    private Singleton() {}

    public static Singleton getInstance() {
        if (instance == null) {
            synchronized(Singleton.class) {
                if (instance == null) {
                    instance = new Singleton(); // 可能重排序问题
                }
            }
        }
        return instance;
    }
}

✅ volatile 保证 instance 初始化过程的有序性和可见性。

---

八、JVM 层面的 volatile 关键实现（以 OpenJDK 为例）

• 在字节码中，volatile 对应指令：
• 写入变量时 → store 操作后加 store-store barrier
• 读取变量时 → load 操作前加 load-load barrier
• OpenJDK 底层通过 Unsafe 类与 CPU 内存屏障交互（如 lock prefix）

---

九、面试常见问题总结

1. volatile 能不能替代 synchronized？

不行！volatile 只能保证可见性，不能保证原子性，如 count++ 仍然不安全。

2. volatile 是线程安全的吗？

不是，除非操作本身是原子的（如 boolean 状态切换、引用替换）。

3. 哪些操作对 volatile 是安全的？

• 赋值引用类型
• 写 boolean、int、long（64 位 JVM 下长整型需要额外注意）

---

十、官方文档与资料

• 🔗 Java Memory Model（JMM）规范
• 🔗 OpenJDK 中 volatile 的实现
• 📘《Java 并发编程实战》：volatile 深入分析章节
• 📘《深入理解 Java 虚拟机》：内存模型与线程安全章节

---

总结口诀

volatile 明可见，不可原子莫误解；适合状态做标记，双检锁它来解。

---

更多详细内容请关注其他相关文章！