线程安全性-有序性与总结

一、有序性

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

volatile、synchronized、Lock

有序性-happens-before原则（八个原则）

1.程序次序规则：一个线程内，按照代码顺序，书写在前面的操作现行与书写在后面的操作

2.锁定规则：一个unlock操作先行发生于后面对同一个锁的lock操作

3.volatie变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作

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

5.线程启动规则：Thread对象的start()方法先行发生于此线程的每一个动作

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

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

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

总结：如何两个操作的执行顺序无法从这八个原则推导出来，就不能保证他们的有序性，虚拟机就可以随意的对他们进行重排序

线程安全性-总结

原子性：Atomic包，CAS算法，synchronized，Lock

可见性：synchronized，volatile

有序性：happens-before原则

每天

进步一点点

万水千山总是情，点个 “在看” 行不行