Happens-Before的定义
JMM(java内存模型)为程序中所有的操作定义了一个偏序关系,这种关系称之为Happens-Before
Happens-Before的理解
A Happens-Before B 意味着 A的操作对于B是可见的。
Happens-Before的规则
- 程序顺序规则。如果程序中操作A在操作B之前,那么在线程中A操作将在B操作之前执行。
- 监视器锁规则。在监视器锁上的解锁操作必须在同一个监视器锁上的加锁操作之前执行。
- volatile 变量规则。对volatile变量的写入操作必须在对该变量的读操作之前执行(同样适用与原子变量)
- 线程启动规则。在线程上对Thread.Start的写入操作必须在该线程中执行任何操作之前执行。
- 线程结束规则。线程中的任何操作都必须在其他线程检测到该线程已经结束之前执行,或者从Thread.join中成功返回,或者在调用Thread.isAlive时返回false。
- 中断规则。当一个线程在另外一个线程上调用interrupt时,必须在被中断线程检测到interrupt调用之前执行(通过抛出InterruptedException,或者调用isInterrupted和interrupted)
- 终结器规则。对象的构造函数必须在启动该对象的终结器之前执行
- 传递性。如果A Happens-Before B,B Happens-Before C,那么A Happens-Before C