JLS(Java 语言规范)定义的 Happens-Before 关系是一种
偏序关系,用于判断在多线程环境下,一个操作的结果是否对另一个操作可见。若操作 A Happens-Before 操作 B,则 A 的执行结果对 B 可见,且 A 的执行顺序优先于 B。


关键性质