Happens-Before机制是否仅存在hb(w,r)？hb(r,w)含义解析

一、hb(r,w)到底是什么？ #

首先明确：hb(r,w) 表示读操作r在happens-before偏序关系中优先于写操作w，也就是从Java内存模型（JMM）的逻辑顺序上看，r的执行“先于”w发生。

happens-before的核心是定义操作间的可见性约束：如果hb(X,Y)成立，那么X操作的结果必须对Y操作可见，且X的执行顺序在逻辑上早于Y。所以hb(r,w)意味着读r的结果会对后续的写w可见（比如r读了变量v的值，w写v时能基于这个值），同时r在逻辑上先于w执行。

二、JLS两段内容的含义 #

1. 读操作观察到写操作的条件 #

我们称变量v的读操作r可以观察到对v的写操作w，当且仅当在执行轨迹的happens-before偏序中：r不先于w排序（即不存在hb(r, w)）

这段的核心逻辑是排除“时间倒流”的荒谬情况：如果读r能看到写w的结果，那r在逻辑上绝对不能比w更早发生。举个实际例子：

• 线程A先执行读r（读取v的值为0），线程B后执行写w（把v改成1）。如果没有任何同步机制，hb(r,w)和hb(w,r)都不成立，但r绝对不可能读到w的结果——因为r发生在w之前，逻辑上不可能“预知”之后的写。
• 只有当w在逻辑上先于r（即hb(w,r)成立，或者两者无hb但w实际执行更早），r才有可能观察到w的结果，而这时候显然不存在hb(r,w)，完全符合JLS的定义。

2. Happens-Before一致性的要求 #

一组操作A是happens-before一致的，当且仅当对于A中的所有读操作r（其中W(r)是r所观察到的写操作），不存在hb(r, W(r))

这是JMM对合法执行轨迹的基本约束：任何读操作都不能读到一个在它之后才发生的写操作。如果出现“读r读到了写w的结果，且r在逻辑上先于w（hb(r,w)成立）”，那这种执行就是逻辑矛盾的，属于非法执行，JVM会保证不会出现这种情况。

比如：线程A执行读r（读取v），然后线程B执行写w（修改v），如果r居然读到了w修改后的值，这就违反了一致性——因为hb(r,w)可能成立（比如线程A的操作先于线程B），此时hb(r,W(r))存在，不符合一致性要求，这种执行是不被允许的。

三、为什么网上大多讲hb(w,r)？ #

因为hb(w,r)是并发编程中更实用的场景：我们通常需要保证写操作的结果能被后续的读操作看到，这就是同步机制（synchronized、volatile、final等）的核心作用——这些机制会主动建立hb(w,r)的关系，确保写对读可见。

而hb(r,w)是反向的逻辑关系，更多是JLS用来定义合法执行边界的理论工具，实际开发中我们很少主动需要建立这种关系，所以相关资料相对更少。

内容的提问来源于stack exchange，提问作者Unearthly