关于volatile关键字是否保证线程间变量值一致性的疑问

嘿，你的基础理解其实没毛病——volatile确实能保证变量的可见性：当一个线程修改了volatile变量的值，这个修改会立刻刷新到主内存，其他线程读取时也会直接从主内存获取最新值，不会依赖自己工作内存里的缓存副本。这一点在JLS里是明确规定的，你的初始认知完全正确。

那为什么会产生困惑呢？大概率是你看到的场景涉及了复合操作，而volatile的能力是有边界的——它不保证原子性。举两个典型例子帮你区分：

1. volatile能完美生效的场景 #

如果只是单纯的读/写volatile变量，比如一个线程负责停止循环：

volatile boolean isRunning = true;

// 线程A
public void stop() {
    isRunning = false;
}

// 线程B
public void runLoop() {
    while (isRunning) {
        // 执行任务
    }
}

这种情况下，线程A修改isRunning后，线程B肯定能及时看到这个变化，不会无限循环下去——volatile在这里完美保证了变量值的一致性。

2. volatile搞不定的场景 #

但如果涉及到依赖变量当前状态的复合操作，比如多个线程尝试切换一个布尔标记：

volatile boolean flag = false;

// 多个线程同时执行
public void toggleFlag() {
    if (!flag) {
        flag = true;
    }
}

这里的if (!flag) + flag = true是两个独立操作，volatile只能保证每个操作的可见性，但没法把这两个操作变成原子的。可能会出现多个线程同时读到flag = false，然后都执行flag = true的情况——这时候虽然最终值是对的，但如果逻辑是要保证只有一个线程能完成切换，volatile就帮不了你了。这种场景需要用synchronized或者AtomicBoolean来保证原子性。

总结一下 #

volatile的核心能力是：

• 保证变量修改后的可见性（所有线程能拿到最新值）
• 禁止指令重排序（比如避免对象初始化时的半初始化问题）
  但它不保证复合操作的原子性。如果你的场景只有单一的读/写，没有依赖变量之前状态的操作，那volatile确实能确保所有线程看到一致的值；但如果涉及到“读-改-写”这类复合逻辑，光靠volatile就不够了。

内容的提问来源于stack exchange，提问作者pjj