volatile不破坏as-if-serial语义，而是通过happens-before规则为多线程提供跨线程顺序约束：写volatile前的操作不重排到其后，读volatile后的操作不重排到其前，从而保障可见性与有序性，但不保证复合操作的原子性。
volatile变量本身不改变as-if-serial语义，但它在多线程场景中通过happens-before规则，为跨线程操作补充了必要的顺序约束，从而在不破坏单线程语义的前提下，解决重排序带来的可见性与执行顺序问题。
as-if-serial 语义只保障单线程正确性
as-if-serial要求：无论编译器或CPU如何重排指令，只要结果与按代码顺序执行一致，重排序就是允许的。这个原则只适用于单线程内部——它不关心线程间是否看到彼此的修改，也不约束不同线程之间的操作顺序。
例如：
- int a = 1; int b = 2; int c = a + b;
- 即使把b=2提前到a=1之前执行，只要最终c=3，就符合as-if-serial。
- 但若a、b是共享变量，且被多个线程读写，as-if-serial完全不保证线程2能及时看到线程1对a的写入。
volatile 用 happens-before 弥合多线程重排序缺口
JMM规定：对一个volatile变量的写操作happens-before于后续对该变量的读操作。这个规则独立于as-if-serial，是专为并发设计的额外约束。
这意味着：
- 写volatile前的所有操作（包括普通变量读写），不能被重排序到该写之后；
- 读volatile后的所有操作，不能被重排序到该读之前；
- 写volatile与读volatile之间形成一条“同步边界”，确保前者结果对后者可见，且顺序不被破坏。
这种约束不是靠禁止所有重排序实现的，而是通过插入内存屏障（如StoreLoad屏障）来限制特定方向的重排，既满足语义要求，又保留单线程优化空间。
volatile 不违背、而是协同 as-if-serial
as-if-serial关注的是“程序行为是否可观察为顺序执行”，而volatile提供的happens-before关系，是在此基础上增加了一层跨线程的可观测性保证。
关键点在于：
- volatile写之后的普通变量写，仍可能被重排——只要不越过下一个volatile读；
- volatile读之前的普通变量读，仍可能被重排——只要不越过上一个volatile写；
- 所有重排都以不改变单线程执行结果为前提，同时确保volatile变量构成的同步点之间具备确定的偏序关系。
典型误用：以为 volatile 能替代 synchronized 控制复合逻辑
as-if-serial和volatile共同无法保证原子性。例如：
- volatile int counter = 0;
- counter++ 是 read-modify-write 三步操作，即使counter是volatile，两个线程仍可能同时读到0、各自加1、再写回1，导致丢失一次更新。
- 此时as-if-serial仍成立（每个线程内部执行结果没错），volatile也生效（每次读都看到最新值），但整体逻辑出错——因为缺少对复合操作的原子约束。
这类场景必须借助锁或AtomicInteger等原子类，它们在提供原子性的同时，也隐式建立更强的happens-before链。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
