volatile禁止指令重排吗

是的，volatile 在 Java 中确实可以禁止指令重排（在一定范围内），但要把话说准确、不夸大。

1. volatile 与指令重排的关系

在 Java 内存模型（JMM）中，volatile 有两个核心语义：

1. 可见性（Visibility）
   对一个 volatile 变量的写，对其他线程立即可见。

2. 禁止特定类型的指令重排（Ordering）
   通过 happens-before 规则 和 内存屏障（Memory Barrier） 实现。

2. volatile 如何禁止重排

happens-before 规则

JMM 规定：

• 写 volatile 变量 happens-before 后续对该变量的读
• 线程 A 写 volatile 变量 → 线程 B 读同一 volatile 变量，B 能看到 A 之前的所有操作

内存屏障（简化理解）

• 写 volatile：
  StoreStore + StoreLoad 屏障
  → 前面的普通写不会重排到 volatile 写之后
• 读 volatile：
  LoadLoad + LoadStore 屏障
  → 后面的操作不会重排到 volatile 读之前

3. 一个经典例子（DCL 单例）

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;
    }
}

如果没有 volatile：

instance = new Singleton();

可能被重排为：

1. 分配内存
2. 将引用赋值给 instance
3. 初始化对象

→ 其他线程可能看到 未初始化完成的对象

volatile 禁止了这种重排。

4. 但 volatile 不是“完全禁止所有重排”

需要注意：

• ❌ volatile 不能保证复合操作的原子性

  volatile int i = 0;
  i++; // 非原子
  

• ❌ volatile 只约束 与 volatile 变量相关的重排

  • 普通变量之间仍可能重排
  • 不影响 CPU 内部所有优化

• ✅ 它保证的是 线程间的有序性语义，不是“代码一行一行执行”

5. 一句话总结

volatile 可以禁止与自身相关的指令重排，并保证可见性，但不能保证原子性，也不是全局禁止重排。

如果你愿意，我也可以从 CPU 层面（MESI、内存屏障） 或 JVM 实现角度再讲一层。