JMM 与 volatile/CAS 底层机制

TL;DR（30 秒扫完）

• volatile = 编译器禁止指令重排 + CPU 加 lock 前缀指令刷缓存（触发 MESI 协议）
• 4 种内存屏障：StoreStore（volatile 写前）、StoreLoad（volatile 写后，最贵）、LoadLoad（volatile 读后）、LoadStore（volatile 读前）
• volatile 三大特性：可见性 ✓、有序性 ✓、不保证原子性（i++ 是三步）
• CAS = Compare And Swap，三要素 expected/actual/new，OS 层 cmpxchg 指令
• CAS 三大痛点：ABA、自旋开销、单变量原子性
• CAS 依附 volatile：CAS 在 Java 里就是基于 volatile 实现的（AtomicInteger.value 就是 volatile），两者是"依附 + 互补"而非竞争

关键结论

完整讲解（费曼四步）

STEP 1 · 概念

STEP 2 · 大白话

类比 volatile 可见性：想象你和一个同事共用一个白板（主存），每人桌上有一张草稿纸（CPU 缓存）。你改了草稿纸上的字，同事看到的还是他草稿纸上的旧字——这就是可见性问题。

volatile 就像规定："每次改草稿纸，必须同时把白板的字也擦掉重写，并且通知所有同事'你的草稿纸作废了'"——这就是 MESI 协议的失效广播。

类比 CAS：你去取快递，柜台说"如果货架上还是你的件（expected=actual），我就给你（改成 new）；如果不是，你得重问一次"。这就是 CAS 的"比较并交换"。

STEP 3 · 底层

volatile 可见性的两层机制

volatile 的 4 种内存屏障

volatile 三大特性

CAS 三要素与三大痛点

CAS 依附 volatile（关键洞察）

// AtomicInteger 源码
public class AtomicInteger extends Number implements java.io.Serializable {
    private volatile int value;  // ← volatile 是关键
    // ...
    public final int incrementAndGet() {
        for (;;) {
            int current = get();  // volatile 读
            int next = current + 1;
            if (compareAndSet(current, next))  // CAS
                return next;
        }
    }
}

• volatile 管"单条读/写操作"的可见性
• CAS 管"读-改-写复合操作"的原子性
• 一个管"看"，一个管"改"，谁也替代不了谁

STEP 4 · 简化

一句话总结：volatile 用 MESI + lock 前缀保证可见性、用 4 种内存屏障保证有序性，但不保证原子性；CAS 用 cmpxchg 保证复合原子性，但必须依附 volatile 才能读到真实值。两者互补，DCL 单例必须同时用。

常见误区

延伸追问

速查表

volatile 底层：
  可见性 = CPU 层 MESI + JVM 层 lock 前缀
  有序性 = 4 种内存屏障（StoreStore/StoreLoad/LoadLoad/LoadStore）
  原子性 = ✗（i++ 不行）

CAS 底层：
  三要素 = expected / actual / new
  OS 指令 = cmpxchg
  三痛点 = ABA / 自旋 / 单变量原子

CAS 依附 volatile：
  AtomicInteger.value 就是 volatile
  volatile 管"看"（可见性+有序性）
  CAS 管"改"（复合原子性）
  互补不替代，DCL 单例必须同时用

Anki 候选卡片

关联题目

• [ ] 《什么是CAS？存在什么问题？》— 2026-09-26 Round 1 Q3, ⭐⭐⭐
• [ ] 《volatile是如何保证可见性和有序性的？》— 2026-09-26 Round 1 Q4, ⭐⭐⭐
• [ ] 《有了CAS为啥还需要volatile？》— 2026-09-26 Round 1 Q7, ⭐⭐⭐⭐

关联知识

• 并发与并行基础 + 线程安全
• synchronized 实现与三特性
• AQS 四大核心机制