指令重排不是bug，是编译器和cpu为提升性能对无依赖语句的合法调序；多线程下可能导致可见性问题，如dcl单例失效，需用volatile、synchronized或final保障正确性。
指令重排不是bug，是CPU和编译器的“省时间操作”
Java里的指令重排，本质是编译器（javac / JIT）和CPU为了不干等、多干活，悄悄调换你代码里**没有依赖关系**的语句执行顺序。它在单线程下完全合法——结果不变，但跑得更快。比如：
int a = 1; int b = 2; int c = a + b;
a = 1 和 b = 2 没有数据依赖，JIT 或 CPU 完全可能先执行后者；但 c = a + b 一定在它们之后，因为依赖 a 和 b 的值。
问题出在多线程：当多个线程共享变量时，这种“省时间”可能让一个线程看到“半初始化”的对象，或读到未刷新的值。
最典型的坑：双重检查锁（DCL）单例失效
下面这段看似安全的单例代码，在无 volatile 时，极大概率因指令重排崩溃：
立即学习“Java免费学习笔记（深入）”；
public class Singleton {
private static Singleton instance;
private Singleton() {}
public static Singleton getInstance() {
if (instance == null) {
synchronized (Singleton.class) {
if (instance == null) {
instance = new Singleton(); // ← 这行实际分三步：1. 分配内存 2. 初始化对象 3. 赋值给 instance
}
}
}
return instance;
}
}
JIT 可能把第2步（初始化）和第3步（赋值）重排，导致 instance 非空但内部字段仍是默认值（如 null 或 0）。另一个线程拿到这个“半成品”，一用就 NullPointerException。
- ✅ 正确做法：把
instance声明为volatile——它强制插入内存屏障，禁止对这个变量的读写重排序 - ⚠️ 注意：
synchronized块内只保证块内有序，不阻止块外的重排；必须靠volatile锁住赋值这一步 - ❌ 不要以为加了锁就万事大吉：锁只管临界区，不管对象构造过程本身的可见性
禁止重排的三种手段，适用场景完全不同
不是所有场景都该用 volatile，也不是所有同步都要上锁：
-
volatile：适合“一写多读”、无复合操作的标志位，如running = false、ready = true；不能用于count++这类非原子操作 -
synchronized：适合需要原子性 + 可见性 + 互斥的临界区；它隐式插入读写屏障，但开销比volatile大得多 -
final字段：对象构造完成后，final字段值对其他线程立即可见——这是 JMM 对构造函数的特殊保障，但仅限于构造时一次性赋值
例如，一个不可变配置类：
public class Config {
private final String url;
private final int timeout;
public Config(String url, int timeout) {
this.url = url; // ← final 保证其他线程看到的是初始化后的值
this.timeout = timeout;
}
}
别只盯着代码顺序，硬件缓存才是隐形推手
你以为指令重排只是编译器或CPU的事？错。现代CPU的写缓冲区（Store Buffer）和多级缓存，会让一个线程的写操作“卡在本地”，迟迟不刷到主内存。另一个线程读同一变量，可能永远看不到新值——这看起来像重排，其实是内存系统延迟。
这时 volatile 或 synchronized 的作用，不只是禁止重排，更是强制刷新缓存、清空写缓冲区、触发 MESI 协议的状态同步。
真正难调试的问题，往往发生在：你确认代码加了 volatile，却忘了那个字段被另一个非同步路径修改；或者用了 AtomicInteger，但没意识到它的 getAndIncrement() 是原子的，而单独的 get() + set() 组合不是。
