17370845950

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

happens-before 不是时间先后，而是 Java 内存模型（JMM）定义的“逻辑先行”关系：如果操作 A happens-before 操作 B，那么 A 的结果对 B 一定可见，且 JMM 保证这种可见性不被编译器重排序或 CPU 缓存优化破坏。

程序顺序规则：单线程里写啥就按啥看

同一根线程内，代码从上到下写的顺序，天然构成 happens-before 链。比如：

• int x = 1; happens-before int y = x + 2;
• flag = true; happens-before System.out.println(flag);

即使 JVM 把这两句指令物理上换序执行（只要结果不变），你读到的值也永远符合代码顺序的预期——这就是 as-if-serial 语义的保障。

锁规则：解锁之后，别人加锁才能看到你的改动

一个线程释放锁（synchronized 块结束），和另一个线程随后获取同一把锁，之间存在 happens-before 关系。

• 线程 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 关系。