并发与高并发(十)-线程安全性-有序性与总结

前言

本章将讲解一下线程安全性中的有序性,并对之前的线程安全性部分作一个简单的总结。

主体内容

一、首先,给出有序性的相关知识。

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

2.有序性遵从happens-before原则,happens-before原则包含八大原则:

(1) 程序次序原则:一个线程中,代码按照顺序,书写在前面的操作先行书写在后面的操作。(程序看起来是按照代码的顺序执行的,但是虚拟机优化可能会对代码进行执行重排序,那也就是说两者共同走到最后的结果是相同的)

(2) 锁定规则:一个unLock操作先行发生于后面一个Lock操作。

(3) volatile变量规则,对一个变量的写操作先行发生于对这个变量的读操作。

(4)传递性规则,在程序中,如果存在A大于B,并且B大于C,那么A的结果必然大于C。

(5)线程启动规则:每一个线程的Thread独享的start()方法先行发生于线程中的每一个动作。

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

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

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

以上原则中,如果两个线程在执行过程中不能从happens-before原则中推倒出来,那么java虚拟机就会对其进行指令重排序,就不能保证线程的有序性了。


最后,我们对线程安全性作一个系统的总结:

原子性:synchronized ,Lock,Atomic包、CAS算法。

可见性:synchronized,volatile关键字。

有序性:happens-before原则。

猜你喜欢

转载自www.cnblogs.com/jmy520/p/12046360.html