volatile如何确保单一操作原子性却不能涵盖i这类复合操作的原子性？

本文共计797个文字，预计阅读时间需要4分钟。

Java中，使用`volatile`关键字修饰的变量确保了对该变量的单一读/写操作。这意味着，对于`volatile`变量，任何对该变量的读操作都是直接从主内存中读取，任何写操作都会立即同步回主内存。例如，`count=5;`和`int x=count;`都是对`volatile`变量的单一读/写操作。

然而，`i++`在字节码层面展开为三条独立的指令：

哪怕每个步骤都作用在 volatile 变量上，JVM 也不承诺这三步“不可分割”。线程调度器可能在任意一步后切走 CPU，让另一个线程插进来执行自己的 iload——此时两个线程读到的是同一个旧值。

i++ 在多线程下丢失更新的具体过程

假设 volatile int count = 0，线程 A 和 B 同时执行 count++：

• 线程 A 读取 count == 0（可见性保证它读到最新值）
• 线程 B 也读取 count == 0（A 还没写回，B 看到的仍是 0）
• A 计算出 1，写回 count = 1（volatile 写，立即刷主存）
• B 计算出 1，写回 count = 1（覆盖 A 的结果）

最终 count == 1，而非预期的 2。问题不在于“读不到新值”，而在于“读-算-写”之间没有互斥保护。

为什么 volatile 不能靠加内存屏障来兜住 i++？

volatile 写插入的内存屏障，只禁止其后的读/写被重排序到它前面；读插入的屏障，只禁止其前的读/写被重排序到它后面。