JVM规定重排序必须遵守的规则

happens-before原则 JLS17.4.5

• 程序次序规则：同一线程内，按照代码出现的顺序，前面的代码先于后面的代码，准确的说是控制
  流顺序，因为要考虑到分支和循环结构。
• 管程锁定规则：一个unlock操作先行发生于后面（时间上）对同一个锁的lock操作。
• volatile变量规则：对一个volatile变量的写操作先行发生于后面（时间上）对这个变量的读操作。
• 线程启动规则：Thread的start()方法先行发生于这个线程的每一个操作。
• 线程终止规则：线程的所有操作都先行与此线程的终止检测。可以通过Tread.join()方法结束、
  Thread.isAlive()的返回值等手段检测线程的终止。
• 线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测中断事件的发生，
  可以通过Thread.inrterrupt()方法检测线程是否中断。
• 对象终结规则：一个对象的初始化完成先行于发生它的finalize()方法的开始。
• 传递性：如果操作A先行于操作B，操作B先行于操作C，那么操作A先行于操作C。