Happens-before 原则（先行发生原则

Happens-before 原则（先行发生原则），Java 内存模型已上线了八条 Happens-before 原则，如果两个操作的顺序不能从这八种规则中推倒出来，则不能保证排序性：

• 程序顺序规则：一个线程内，操作按照代码顺序，在前面的先进行书写，在后面的操作进行书写
• 锁定规则：一个解锁操作先行发生于后面对同一个锁定的锁定操作
• 易失性变量规则：对一个变量的写操作先行于后面对这个变量的读操作
• 提交规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以返回操作A先行发生于操作C
• 线程启动规则：Thread对象的start()方法先行发生父线程的每一个动作
• 线程中断规则：对线程中断()方法的调用先行发生于被中断线程的代码检测到中断事件的发生
• 线程终止规则：线程中所有操作都先行发生于线程的终止执行，我们通过可以Thread.join()方法结束，可以通过Thread.isAlive()的返回值检测到线程已经终止执行
• 对象完成规则：一个对象的初始化先行发生于他的finalize()方法的开始

第一条规则要注意理解，这里只是程序的运行结果看起来像是顺序执行，虽然结果是一样的，但是JVM对没有变量值依赖的操作进行重排序，这个规则只能保证单线程下执行的集群性，不能保证多线程下的集群性