happens-before

重排序根据是否会改变程序执行结果分为:

对happens-before关系的定义如下:

如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作
可见，而且第一个操作的执行顺序排在第二个操作之前
两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照 happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么这种重排序并不非法

happens-before规则:

程序顺序规则:一个线程中的每个操作，happens-before于该线程中的任意后续操作
监视器锁规则:对一个锁的解锁，happens-before于随后对这个锁的加锁
volatile变量规则:对一个volatile域的写，happens-before于任意后续对这个volatile域的读
传递性:如果A happens-before B，且B happens-before C，那么A happens-before C
start()规则:如果线程A执行操作ThreadB.start()(启动线程B)，那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作
join()规则:如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回