JUC-happens-before先行发生原则
作者:互联网
在JMM中,如果一个操作执行的结果需要对另一个操作可见性,或者代码重排序,那么这两个操作之间必须存在happens-before关系。
总原则:
1、如果一个操作happens-before另一个操作,那么第一个操作的执行结果将对第二个操作可见,而且第一个操作的执行顺序排在第二个操作之前。
2、两个操作之间存在happens-before关系,并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果已按照happens-before关系来执行的结果一致,那么这种重排序是可以的。
happens-before包含可见性和有序性的约束
happens-before八条原则
1、次序原则:一个线程内,按照代码顺序,写在前面的操作先行发生于写在后面的操作,前一个操作的结果可以被后一个操作获取
2、锁定原则:一个unlock操作先行发生于后面第同一个锁的lock操作。上一个操作unlock了,下一个线程才能获得锁进行lock
3、volatile变量规则:对一个volatile变量的写操作先行发生于后面对这个变量的读操作,前面的写对后面的读是可见的。这里的后面指时间上的先后
4、传递原则:如果A操作先行发生于B操作,B操作先行发生于C操作,则可以得出A操作先行发生于C操作
5、线程启动规则:Thread对象的start()方法先行发生于此线程的每一个动作
6、线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生;可以通过Thread.interrupted()检测到是否发生中断
7、线程终止规则:线程中的所有操作都先行发生于对此线程的终止检测,我们可以通过Thread.join()、Thread.isAlive()等方法检测线程是否已经终止执行
8、对象终结规则:一个对象的初始化完成先行发生于它的finalize()方法
案例
解答
标签:happens,JUC,发生,线程,先行,操作,before 来源: https://blog.csdn.net/qq_39940205/article/details/120630485