线程安全性-有序性

在Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性 在Java里，我们可以通过volatile关键字保证一定的有序性，另外也可以通过synchronized和Lock来保证有序性。很显然，synchronized和Lock可以保证在同一时间，只会有一个线程执行同步代码，相当于是让线程有序的执行同步代码，自然就保证了有序性。

另外，Java内存模型具备一些先天的有序性，就是可以不需要通过任何手段就能够得到保证的有序性，这个通常称之为Happens-before原则。如果两个操作的执行次序无法从Happens-before原则中推导出来，那么这两个操作就不能保证有序性，虚拟机就可以随意的对它们进行重排序。

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

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

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