java-JVM为所有程序内部的动作定义的偏序关系

1、这个偏序关系，叫做happens-before。要保证执行动作B的线程看到动作A的结果，A和B之间必须满足happens-before关系。如果两个操作之间并未按happens-before关系排序，JVM可对它们随意地重排序

2、happens-before法则包括：

1)程序次序法则：线程中的每个动作A都happens-before于该线程中的每个动作B，其中在程序中，所有的动作B都出现在动作A之后

2）监视器锁法则：对于一个监视器锁的解锁happens-before于后续对同一监视器锁的加锁。

3）volatle变量法则：对volatile域的写入操作happens-before于每个后续对同一域的读操作

4）线程启动法则：在一个线程里，对Thread.start的调用会happens-before于每个启动线程中的动作。

5）线程终结法则：线程中的任何动作都happens-before于其他线程检测到这个线程已经终结、或者从Thread.join调用中成功返回，或Thread.isAlive返回false。

6）中断法则：一个线程调用另一个线程的interrupt happens-before于被中断的线程发现中断。

7）终结法则：一个对象的构造函数的结束happens-before于这个对象finalizer的开始。

8）传递性：如果A happens-before于B，且B happens-before于C，则Ahappens-before于C