Java的先行发生原则

先行发生原则(Happens-Before)是Java内存模型定义的一个等效判断原则。依赖这个原则,我们可以通过几条简单规则判断数据是否存在竞争,线程是否安全,而不需要陷入Java内存模型苦涩难懂的定义之中。


“先行发生”原则指的是什么。比如说操作 A 先行发生于操作 B,其实就是说在操作 B 发生之前,操作 A 产生的影响能被操作 B 观察到,“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等。

下面是Java内存模型下一些“天然的”先行发生关系,这些先行发生关系无须任何同步器协助就已经存在,可以在编码中直接使用。如果两个操作之间的关系不在此列,并且无法从下列规则推导出来,则这两个操作就没有顺序性保障,虚拟机可以对它们进行重排序。

  • 程序次序规则(Program Order Rule):在一个线程内,按照控制流顺序,书写在前面的操作先行发生于书写在后面的操作。注意,这里说的是控制流顺序而不是程序代码顺序,因为要考虑分支、循环等结构。
  • 管程锁定规则(Monitor Lock Rule):一个 unlock 操作先行发生于后面对同一个锁的 lock 操作。 这里必须强调的是“同一个锁”,而“后面”是指时间上的先后。
  • volatile 变量规则(Volatile Variable Rule):一个对 volatile 变量的写操作先行发生于后面对这个 volatile 变量的读操作,这里的“后面”同样是指时间上的先后。
  • 线程启动规则(Thread Start Rule):Thread 对象的 start() 方法先行发生于此线程的每一个动作。
  • 线程终止规则(Thread Termination Rule):线程中的所有操作都先行发生于对此线程的终止检测。我们可以通过 Thread::join() 方法是否结束、Thread::isAlive() 的返回值等手段检测线程是否已经终止执行,这就算是对此线程的终止检测。
  • 线程中断规则(Thread Interruption Rule):Thread 对象的 interrupt() 方法先行发生于被中断线程的中断检测。我们可以通过 Thread::interrupted() 方法检测到是否有中断发生,这就算是被中断线程的中断检测。
  • 对象终结规则(Finalizer Rule):一个对象的初始化完成(构造函数执行结束) 先行发生于它的 finalize() 方法的开始。
  • 传递性(Transitivity):如果操作 A 先行发生于操作 B,操作 B 先行发生于操作 C,那就可以得出结论:操作 A 先行发生于操作 C。

Java 语言无须任何同步手段保障就能成立的先行发生规则有且只有上面这些。


“时间上的先后顺序”与“先行发生”之间有什么不同?

  • 一个操作“时间上的先发生”不代表这个操作会是 “先行发生”。譬如:操作 A 是 ,线程 A 对未被 volatile 修饰的共享变量的写操作;操作 B 是,线程 B 对该共享变量的读操作。在时间上,操作 A 比操作 B 先发生,但是不代表操作 A 先行发生于操作 B。
  • 如果一个操作“先行发生”,也不能推导出这个操作必定是“时间上的先发生”。譬如:程序次序规则,在一个线程内,按照控制流顺序,书写在前面的操作 A 先行发生于书写在后面的操作 B。但是,不代表在时间上,操作 A 比操作 B 先发生。普通的变量会保证在方法的执行过程中,所有依赖赋值结果的地方都能获取到正确的结果,而不能保证变量赋值操作的顺序与程序代码中的执行顺序一致。

时间先后顺序与先行发生原则之间基本没有因果关系,所以我们衡量并发安全问题的时候不要受时间顺序的干扰,一切必须以先行发生原则为准。

参考资料

《深入理解Java虚拟机》第 12 章:Java 内存模型与线程 12.3 Java 内存模型

02 | Java内存模型:看Java如何解决可见性和有序性问题 (geekbang.org)

热门相关:斗神战帝   法医王妃不好当!   法医娇宠,扑倒傲娇王爷   朕是红颜祸水   最强反套路系统