Java 并发编程：volatile、内存屏障与 CPU 缓存详解

public class Singleton {
    private static volatile Singleton instance;
    public static Singleton getInstance() {
        if (instance == null) {
            synchronized (Singleton.class) {
                if (instance == null) {
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

new Singleton() 分为三步：分配内存、初始化对象、引用指向内存。若发生重排序（1→3→2），线程 2 可能在未初始化完成时就获取到非空实例，导致空指针异常。volatile 禁止此重排序。

3. 不保证原子性

复合操作如 count++（读 - 改 - 写）无法被 volatile 原子化。即使加了 volatile，多线程下仍可能出现数据覆盖。

private static volatile int count = 0;
// 10 个线程各执行 1000 次 count++
// 最终结果通常小于 10000

如需原子性，请使用 synchronized、Lock 或 AtomicInteger。

三、内存屏障原理

volatile 的底层实现依赖于内存屏障（Memory Barrier）。它是 CPU 指令层面的隔离带，控制指令执行顺序及缓存同步。

1. 四种屏障类型

2. volatile 的屏障规则

JVM 会根据架构自动插入屏障：

• 写操作后：插入 StoreStore + StoreLoad。确保写操作先于后续所有写，并强制刷回主内存使其他缓存失效。
• 读操作前：插入 LoadLoad + LoadStore。确保读取的是主内存最新数据，且读完成后才执行后续写。

四、核心总结

• CPU 缓存：引发可见性与有序性问题的根源。
• volatile：上层关键字，用于解决上述问题，但不提供原子性保障。
• 内存屏障：底层手段，通过禁止重排序和强制刷新缓存，支撑 volatile 的功能。

五、常见疑问

Q: volatile 能保证原子性吗？ A: 不能。它只保证可见性和有序性。对于 count++ 这类复合操作，仍需配合锁或原子类。

Q: volatile 底层如何实现？ A: 依靠 JVM 插入内存屏障。写操作后插入 StoreStore/StoreLoad，读操作前插入 LoadLoad/LoadStore，强制数据同步并锁定顺序。

Q: 为什么 CPU 缓存会导致可见性问题？ A: CPU 运算速度快于主内存，倾向于操作本地缓存。若不强制同步，不同线程持有的缓存副本就会不一致。volatile 通过屏障机制解决了这一矛盾。