JMM中的happens-before原则

最新推荐文章于 2023-08-17 21:34:09 发布

芒余

最新推荐文章于 2023-08-17 21:34:09 发布

阅读量254

点赞数

分类专栏： JUC学习文章标签： java 面试

本文链接：https://blog.csdn.net/qq_45996900/article/details/127233894

版权

JUC学习专栏收录该内容

14 篇文章 2 订阅

订阅专栏

引言

在JMM中，如果一个操作执行的结果需要对另一个操作可见性或者代码重排序，那么这两个操作之间必须存在happens-before（先行发生）原则。也就是逻辑上的先后关系。

1.先行发生原则说明

如果Java内存模型中所有的有序性都仅靠volatile和synchronized来完成，那么有很多操作都将会变得丰常啰嗦，但是我们在编写Java并发代码的时候并没有察觉到这一点。

我们没有时时、处处、次次，添加volatile和synchronzed来完成程序，这是因为Java语中JMM原则下有一个“先行发生"(Happens-Before)的原则限制和规矩，给你立好了规则！

这个原则非常重要：
它是判断数据是否存在竞争，线程是否安全的非常有用的手段。依赖这个原则，我们可以通过几条简单规则一揽子解决并发环境下两个操作之间是否可能存在冲突的所有问题，而不需要陷入Java内存模型苦涩难懂的底层编译原理之中。

2.happens-before总原则

如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。

两个操作之间存在happens-before关系，并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果与按照happens-before关系来执行的结果一致，那么这种重排序并不非法。（如，值日：周一张三周二李四，假如有事调班也是可以的；1+2+3=3+2+1，不影响结果）

3.happens-before之8条

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

加深说明：

前一个操作的结果可以被后续的操作获取。讲白点就是前面一个操作把变量x赋值为1，那后面一个操作肯定能知道X已经变成1。

2.锁定规则：一个unlock操作先行发生于后面（这里的“后面”是指时间上的先后）对同一个锁的lock操作。

3.volatile变量规则：对一个volatile变量的写操作先行发生于后面对这个变量的读操作，前面的写对后面的读是可见的，这里的“后面”同样是指时间上的先后。

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

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

6.线程中断规则(Thread Interruption Rule)：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生；可以通过Thread.interrupted()检测到是否发生中断，也就是说你要先调用interrupt()方法设置过中断标志位，我才能检测到中断发送。

7.线程终止规则(Thread Termination Rule)：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过isAlive()等手段检测线程是否已经终止执行。

8.对象终结规则(Finalizer Rule)：一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始。