Happens-Before
原
则
深
⼊
解读
作者：王建新
Happens-Before（先⾏发⽣）原则是对Java内存模型（JMM）中所规定的可⻅性的更⾼级的语⾔层⾯的
描述。⽤这个原则解决并发环境下两个操作之间的可⻅性问题，⽽不需要陷⼊Java内存模型苦涩难懂的定
义中。关于Java内存模型中所规定的可⻅性定义本⽂不再叙述，感兴趣的读者可参考的书籍有《深⼊理解
Java虚拟机》和《Java并发编程的艺术》。
1 Happens-Before
（
先
⾏
发
⽣
）
原
则
的
定
义
程
序
次
序
规
则
（
Program Order Rule
）
：在⼀个线程内，按照控制流顺序，书写在前⾯的操作先⾏发
⽣于书写在后⾯的操作。
管程
锁
定
规
则
（
Monitor Lock Rule
）
：⼀个unlock操作先⾏发⽣于后⾯对同⼀个锁的lock操作。
volatile
变
量
规
则
（
Volatile Variable Rule
）
：对⼀个volatile变量的写操作先⾏发⽣于后⾯对这个变
量的读操作。
线
程
启
动
规
则
（
Thread Start Rule
）
：Thread对象start()⽅法先⾏发⽣于此线程的每⼀个动作。
线
程
终
⽌
规
则
（
Thread Termination Rule
）
：线程中的所有操作都先⾏发⽣于对此线程的终⽌检
测，我们可以通过Thread.join()⽅法和Thread.isAlive()的返回值等⼿段检测线程是否已经终⽌执⾏。
线
程
中
断
规
则
（
Thread Interruption Rule
）
：对线程interrupt()⽅法的调⽤先⾏发⽣于被中断线程的
代码检测到中断事件的发⽣，可以通过Thread.interrupted()⽅法检测到是否有中断发⽣。
对
象
终结
规
则
（
Finalizer Rule
）
：⼀个对象的初始化完成（构造函数结束）先⾏发⽣于它的finalize()
⽅法的开始。
传
递
性
（
Transitivity
）
：如果操作A先⾏发⽣于操作B，操作B先⾏发⽣于操作C，那就可以得出操作A
先⾏发⽣于操作C的结论。
Happens-Before原则最难以理解的地⽅在于如何理解"Happens-Before（先⾏发⽣）"这个词。我们以程
序次序规则为例，“
书
写
在
前
⾯
的
操
作
先
⾏
发
⽣
于书
写
在
后
的
操
作
”，如果理解为“
书
写
在
前
⾯
的
操
作
⽐
书
写
在
后
⾯
的
操
作
先
执
⾏
”看起来是没有什么问题的，写在前⾯的操作确实在程序逻辑上⽐写在后⾯的操作先执
⾏。按照同样的理解，我们看⼀下管程锁定规则，“
unlock
操
作
先
⾏
发
⽣
于
后
⾯
对
同
⼀个
锁
的
lock
操
作
”，
如果理解为“
unlock
操
作
⽐
同
⼀个
锁
的
lock
操
作
先
执
⾏
”这就很困惑了，还没有加锁，怎么解锁。
之所出现这种困惑的解读⽅式，是因为把“先⾏发⽣”理解为⼀种
主
动
的
规
则
要
求
了，⽽“先⾏发⽣”事实上
是程序运⾏时出现的
客
观
结
果
。正确的解读⽅式是这样的，对于“
同
⼀
把
锁
”，
如
果
在程序运⾏过程中“⼀个
unlock操作先⾏发⽣于同⼀把锁的⼀个lock操作”，
那
么
“该unlock操作所产⽣的影响（修改共享变量的值、
发送了消息、调⽤了⽅法）对于该lock操作是可⻅的”。
按照这种理解，依次重新解读其他规则。
程
序
次
序
规
则
：在⼀个线程内，按照控制流顺序，如果操作A先⾏发⽣于操作B，那么操作A所产⽣的
影响对于操作B是可⻅的。
管程
锁
定
规
则
：对于同⼀个锁，如果⼀个unlock操作先⾏发⽣于⼀个lock操作，那么该unlock操作所产
⽣的影响对于该lock操作是可⻅的。
volatile
变
量
规
则
：对于同⼀个volatile变量，如果对于这个变量的写操作先⾏发⽣于这个变量的读操
作，那么对于这个变量的写操作所产的影响对于这个变量的读操作是可⻅的。
线
程
启
动
规
则
：对于同⼀个Thread对象，该Thread对象的start()⽅法先⾏发⽣于此线程的每⼀个动
作，也就是说对线程start()⽅法调⽤所产⽣的影响对于该该线程的每⼀个动作都是可⻅的。
