java并发和高并发之线程安全性——有序性

一、有序性：

1、定义：java内存模型JMM中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

2、可以通过如下方案保证有序性：

volatile  关键字：保证一定的有序性

synchronized  和 Lock：保证每个时刻有一个线程执行同步代码，相当于让线程顺序执行同步代码。

Lock  ：保证每个时刻有一个线程执行同步代码，相当于让线程顺序执行同步代码。

3、java 内存模型具备一定程度的先天性有序性，即在不通过任何外界保障的情况下，保证一定的有序性。通常称为happes-before原则，即先行发生原则（Happens-before原则）：

》程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作；

   注：对于该规则，个人理解，一段程序代码的执行，在单线程中执行，看似是有序的，实际应该是代码看似在按照程序书写的顺序逻辑进行执行，实际上是虚拟机可能会对程序在可分的逻辑上进行合理的重排序，但是最终的运行效果和正常顺序执行结果一致。注，这里纯属个人理解。该规则可以保证程序在单线程中执行顺序的正确性，但无法保证在多线程中运行的准确性。

》锁定规则：一个unLock操作先行发生于后面对同一个锁的Lock操作。

  注：无论在单线程还是多线程中，必须先解锁才能再加锁。

》volatile 变量规则：对一个变量的写操作发生于后面对这个变量的读操作。

如果一个线程去读，另一个线程去写，则一定是写操作发生于读操作之前。

》传递规则：如果操作A 先行发生于操作B ，而操作B 又先行发生于操作C ，则可以得出操作A先行发生于操作C 。

》线程启动规则：Thread对象的start（）方法先行发生于此线程的每一个动作。

》线程中断规则：对线程interrupt(） 方法的调用先行发生于被中断线程的代码检测到中断事件的发生。

》线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行。

》对象终结规则：一个对象的初始化完成先行发生于他的finalize() 方法的开始。

如果两个操作的执行次序无法从happens-before的八个规则中推导出来，则无法保证他们的有序性，jvm就可以对他们进行指令重排序。

二、线程安全性总结；

》原子性：Atomic 包、CAS算法、synchronized、Lock

》可见性：synchronized 、volatile(如何保证可见性

》有序性：happens-before