下面是java内存模型下一些“天然”的先行发生关系,这些先行发生关系无须任何同步器协助就已经存在,可以在编码中直接使用。如果两个操作之间的关系不再此列,并且无法从下面规则中推导出来,则它们就没有顺序性保障,虚拟机可以对它们进行任意地重排序。
1.Program order rule. Each action in a thread happens-before every action in that thread that comes later in the program order.
程序次序规则:在一个线程内,按照程序代码的顺序,书写在前面的操作先行发生与书写在后面的操作。
2.Monitor lock rule. An unlock on a monitor lock happens-before every subsequent lock on that same monitor lock.
冠程锁定规则:一个锁的unlock操作先行发生于“后面”对同一个锁的lock操作。这里的“后面”是指时间上的先后顺序。
3.Volatile variable rule. A write to a volatile field happens-before every subsequent read of that same field.
volatile变量规则:对一个volatile变量的写操作先行发生于“后面”对这个变量的读操作。这里的“后面”同样是指时间上的先后顺序。
4.Thread start rule. A call to Thread.start on a thread happens-before any other thread detects taht thread has terminated, either by successfully return from Thread.join or by Thread.isAlive returning false.
线程的启动规则:Thread对象的start()方法先行发生于此线程的没一个动作。
5.Interruption rule. A thread calling interrupt on another thread happens-before the interrupted thread detects the interrupt( either by having InterruptedException thrown, or invoking isInterrupted or interrupted).
线程中断规则:对线程的interrupt()方法的调用先行发生于被中断线程的代码检测。
6.Finalizer rule. The end of a constrcutor for an object happens-before the start of the finalizer for that obejct.
对象终结原则:一个对象的初始化完成(构造函数执行完成)先行发生与它的finalize()方法的开始。
7.Transitivity. If A happens-before B, and B happens-before C, then A happens-before C.
传递性:你懂的。
相关推荐
一提到happens-before原则,就让人有点“丈二和尚摸不着头脑”。这个涵盖了整个JMM中可见性原则的规则,究竟如何理解,把我个人一些理解记录下来。下面可以和小编一起学习
jvm happens-before通俗讲解 jvm happens-before通俗讲解
Java内存模型中的happens-before是什么?为什么会有这东西的存在?一个新东西肯定是上手先,但是等我们空下来回过头来,我们还是需要去理解这些知识,只有这样我才能深刻的记住,并且运用熟练。下来和小编来一起学习...
happens-before原则是Java内存模型中定义的两项操作之间的偏序关系,如果说操作A先行发生于操作B,其实就是说在发生操作B之前,操作A产生的影响能被操作B观察到。“影响”包括修改了内存中共享变量的值、 发送了消息...
于存在线程本地内存和主内存的原因,再加上重排序,会导致多线程环境下存在可见性的问题。那么我们正确使用同步、锁的情况下,线程A修改了变量a何时对线程B可见?下面小编来简单介绍下
锁的释放-获取建立的happens before 关系
主要介绍了java内存模型(JMM)及happens-before原理,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
shift-happens---依旧大师级
本文讲了Java并发编程中volatile变量、happens-before与内存一致性错误,下面来和小编一起学习下如何解决
Happens-before原则(先行发生原则) a.程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作;(保证单线程,但不保证多线程); b.锁定规则:一个unlock操作先行发生于后面对同一个锁...
在JMM(Java内存模型)中,如果一个操作执行的结果需要对另一个操作可见,那么这两个操作之间必须存在happens-before关系。下面小编来简单介绍一下
本文大部分整理自《Java并发编程的艺术》,温故而知新,加深对基础的理解程度。下面可以和小编来一起学习下
美国人做的关于未来思考的PPT 令思考范围更开阔的PPT
1. 解锁操作 happens-before 之后(这里指时钟顺序先后)对同一把锁的加锁操作 2. volatile 字段的写操作 happens-before
当XXX时,到底发生了什么...
java面试题_java-interview-questions-master.zip2、在 Java 程序中怎么保证多线程的运行安全? 出现线程安全问题的原因一般都是三个...3、 编译优化带来的有序性问题 解决办法:Happens-Before 规则可以解决有序性问题
关于[这里发生的一切]: : actionSpace的测试页: //bronzwikgk.github.io/ehh-Ver-O.1/actionSpace.html actionSpaceEditor的发布页面: ://bronzwikgk.github.io/everything-Happens-Here-Ver-O 家具测试产品为...
happens-before 重排序 数据依赖性 as-if-serial 语义 程序顺序规则 重排序对多线程的影响 顺序一致性 数据竞争与顺序一致性保证 顺序一致性内存模型 同步程序的顺序一致性效果 未同步程序的执行特性 VOLATILE ...
what-happens-when 对于一些步骤添加了更详细地描述,添加了图解,原仓库 因为原仓库是英文版的中文对照无法改动,所以我新建了这个仓库。主要的参考文献——计算机网络:自顶向下方法(原书第七版) 当···时...