happens-before 是 JMM 定义的逻辑先行关系,确保操作可见性与有序性;包括程序顺序、锁、volatile、线程启动等规则,并具有传递性。

happens-before 不是时间先后,而是 Java 内存模型(JMM)定义的“逻辑先行”关系:如果操作 A happens-before 操作 B,那么 A 的结果对 B 一定可见,且 JMM 保证这种可见性不被编译器重排序或 CPU 缓存优化破坏。
程序顺序规则:单线程里写啥就按啥看
同一根线程内,代码从上到下写的顺序,天然构成 happens-before 链。比如:
-
int x = 1;happens-beforeint y = x + 2; -
flag = true;happens-beforeSystem.out.println(flag);
即使 JVM 把这两句指令物理上换序执行(只要结果不变),你读到的值也永远符合代码顺序的预期——这就是 as-if-serial 语义的保障。
锁规则:解锁之后,别人加锁才能看到你的改动
一个线程释放锁(synchronized 块结束),和另一个线程随后获取同一把锁,之间存在 happens-before 关系。
立即学习“Java免费学习笔记(深入)”;
- 线程 A 在同步块中修改了
count = 100,然后退出块(解锁) - 线程 B 进入同一把锁的同步块(加锁)时,一定能看见
count == 100
这就像交班:前一个人锁门离开(解锁),后一个人开门进来(加锁),桌上改过的数据必须摆在那儿,不能凭空消失。
volatile 规则:写 volatile 就像发广播,读它就能收到最新信号
对 volatile 变量的写,happens-before 后续任意线程对该变量的读。
-
ready = false;→data = 42;→ready = true;(ready是 volatile) - 另一线程看到
ready == true,就一定能读到data == 42,不会因为重排序或缓存延迟而看到旧值
注意:volatile 本身不保证原子性(比如 i++ 仍需同步),但它能确保写入的“发布动作”对读取者及时可见。
启动与传递性:线程一动,后续链就串起来了
主线程调用 thread.start(),该调用之前的所有操作,happens-before 子线程的任意操作;同理,线程 A 中 a = 1; b = a;,B 中 if (b == 1) { ... },只要通过锁、volatile 或 start 等建立一条 happens-before 链,A 的写就能传到 B。
- happens-before 具有传递性:A → B,B → C ⇒ A → C
- 没有显式同步时,跨线程读写共享变量可能“看不见”对方的更新——不是 bug,是 JMM 允许的合法行为
真正需要并发安全的地方,不是靠猜“应该先发生”,而是靠规则主动建立 happens-before 关系。










