深入探索JVM高效并发 — Java内存模型(四) 先行发生原则

先行发生原则

Java语言中有一个“先行发生”（Happens-Before）的原则。这个原则非常重要，它是判断数据是否存在竞争，线程是否安全的非常有用的手段。

依赖这个原则，我们可以通过几条简单规则一揽子解决并发环境下两个操作之间是否可能存在冲突的所有问题。

先行发生是Java内存模型中定义的两项操作之间的偏序关系，比如说操作A先行发生于操作B，其实就是说在发生操作B之前，操作A产生的影响能被操作B观察到，“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等。

下面是Java内存模型下一些“天然的”先行发生关系，这些先行发生关系无须任何同步器协助就已经存在，可以在编码中直接使用。如果两个操作之间的关系不在此列，并且无法从下列规则推导出来，则它们就没有顺序性保障，虚拟机可以对它们随意地进行重排序。

·程序次序规则（Program Order Rule）：在一个线程内，按照控制流顺序，书写在前面的操作先行发生于书写在后面的操作。注意，这里说的是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。

·管程锁定规则（Monitor Lock Rule）：一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是“同一个锁”，而“后面”是指时间上的先后。

·volatile变量规则（Volatile Variable Rule）：对一个volatile变量的写操作先行发生于后面对这个变量

的读操作，这里的“后面”同样是指时间上的先后。

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

·线程终止规则（Thread Termination Rule）：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread::join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行。

·线程中断规则（Thread Interruption Rule）：对线程interrupt()方法的调用先行发生于被中断线程

的代码检测到中断事件的发生，可以通过Thread::interrupted()方法检测到是否有中断发生。

·对象终结规则（Finalizer Rule）：一个对象的初始化完成（构造函数执行结束）先行发生于它的

finalize()方法的开始。

·传递性（Transitivity）：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出

操作A先行发生于操作C的结论。

Java语言无须任何同步手段保障就能成立的先行发生规则有且只有上面这些

先行发生：逻辑上的发生，按照代码顺序

先发生：实际上的前后发生顺序

时间先后顺序与先行发生原则之间基本没有因果关系，

所以我们衡量并发安全问题的时候不要受时间顺序的干扰，一切必须以先行发生原则为准。

深入探索JVM高效并发 — Java内存模型(四) 先行发生原则相关推荐

java内存模型之先行发生原则
happen-before(先行发生)原则一.导语二.概念三.八个规则 1.程序次序规则 2.管程锁定规则 3.volatile变量规则 4.线程启动规则 5.线程终止规则 6.线程中断规则 7 ...
JVM：高效并发机制——内存模型、线程、锁
为什么要进行并发(多任务处理) 处理器能力很强,尽可能压榨其劳动力处理器处理速度与存储和通信速度相差甚大(IO.网络通信.数据库访问非常耗时),使得处理器总处在等待的状态,浪费计算资源物理机提高处 ...
java的jmm模型_【深入理解JVM】：Java内存模型JMM
多任务和高并发的内存交互多任务和高并发是衡量一台计算机处理器的能力重要指标之一.一般衡量一个服务器性能的高低好坏,使用每秒事务处理数(Transactions Per Second,TPS)这个指标 ...
Java内存结构（JVM）、Java内存模型（JMM）、Java对象模型区别
目录一.JAVA内存结构 1.1 JVM启动流程: 1.2 JVM基本结构 1.2.1基本结构图 1.2.2 Java中的内存分配二.Java内存模型 2.1 主内存和工作内存 2.2 内存间交互 ...
多线程并发-java内存模型和计算机基础
CPU缓存一致性协议MESI CPU在摩尔定律的指导下以每18个月翻一番的速度在发展,然而内存和硬盘的发展速度远远不及CPU.这就造成了高性能能的内存和硬盘价格及其昂贵.然而CPU的高度运算需要高速的 ...
jvm面试之 Java内存模型之线程独占部分，线程共享部分，常问问题分析
Java内存模型之线程独占部分 Java内存模型之线程共享部分 Java内存模型之常问问题分析
【深入Java虚拟机JVM 03】Java内存模型
说明:文章所有内容均摘自<深入理解Java虚拟机:JVM高级特性与最佳实践(第二版)> Java与C++之间有一堵由内存动态分配和垃圾收集技术所围成的"高墙",墙外面的 ...
【JVM】JVM08(java内存模型解析[JMM])
⭐️写在前面这里是温文艾尔の学习之路
深入理解Java虚拟机（周志明第三版）- 第十二章：Java内存模型与线程
系列文章目录第一章: 走近Java 第二章: Java内存区域与内存溢出异常第三章: Java垃圾收集器与内存分配策略并发处理的广泛应用是Amdahl定律代替摩尔定律成为计算机性能发展源动力的根 ...

深入探索JVM高效并发 — Java内存模型(四) 先行发生原则

深入探索JVM高效并发 — Java内存模型(四) 先行发生原则相关推荐

最新文章

热门文章