happens-before原则

介绍

在JMM中，如果一个操作执行的结果需要对另一个操作可见或者代码重排序，那么这两个操作之间必须存在happens-before（先行发生）原则。

• 如果一个操作先行发生另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第一个操作之前。
• 两个操作之间存在先行发生原则关系，并不意味着一定要按照先行发生原则指定的顺序来执行。如果重排序之后的执行结果与按照先行发生关系来执行的结果一致，那么这种重排序并不非法。

先行发生的8条原则

• 程序次序规则（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()方法的开始。
• 传递性：如果操作A先行发生于操作B,操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。