happens-before原则

一、happens-before 原则

    表示前一个操作的结果对于后续操作是可见的。 如果A happens-before B，仅保证A的操作结果对B可见，但并不意味着A一定比B先执行；在不影响结果的前提下，B有可能会比A先执行。

具体的一共有六项规则：

• volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。
         传递性：如果A happens-before B，且B happens-before C，那么A happens-before C。
• 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。
• 监视器锁规则：对一个锁的解锁，happens-before于随后对这个锁的加锁。
• start()规则：如果线程A执行操作ThreadB.start()（启动线程B），那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。
• join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。
• 程序中断规则：对线程interrupted()方法的调用先行于被中断线程的代码检测到中断时间的发生。
  对象finalize规则：一个对象的初始化完成（构造函数执行结束）先行于发生它的finalize()方法的开始。