Java内存模型之happens-before概念详解


Posted in Java/Android onJune 13, 2021

简介

happens-before是JMM的核心概念。理解happens-before是了解JMM的关键。

1、设计意图

JMM的设计需要考虑两个方面,分别是程序员角度和编译器、处理器角度:

  • 程序员角度,希望内存模型易于理解、易于编程。希望是一个强内存模型。
  • 编译器和处理器角度,希望减少对它们的束缚,以至于编译器和处理器可以做更多的性能优化。希望是一个弱内存模型。

​因此JSR-133专家组设计JMM的核心目标就两个:

为程序员提供足够强的内存模型对编译器和处理器的限制尽可能少

​下面通过一段代码来看JSR-133如何实现这两个目标:

double pi = 3.14;			//A
double r  = 1.0;			//B
double area = pi * r * r 	//C

上述代码存在如下happens-before关系:

  1. A happens-before B
  2. B happens-before C
  3. A happens-before C

这3个happens-before关系中,第二个和第三个是必须的,而第一个是非必须的(A、B操作之间重排序,程序执行结果不会发生改变)。
JMM把happens-before要求禁止的重排序分为下面的两类:

  • 会改变程序执行结果的重排序
  • 不会改变程序执行结果的重排序

JMM对这两种不同性质的重排序,采取了不同的策略:

  • 对于会改变程序执行结果的重排序,JMM要求编译器和处理器必须禁止
  • 对于不会改变程序执行结果的重排序,JMM不做要求(JMM运行)

JMM设计示意图:

Java内存模型之happens-before概念详解

JMM设计示意图

总结:

  • JMM给程序员提供的happens-before规则能满足程序员的需求。简单易懂,具有足够强的内存可见性保证。
  • JMM对编译器和处理器的束缚尽可能少。遵循的原则是:不改变程序的执行结果(正确同步或单线程执行),编译器和处理器可以任意优化。

 2、happens-before的定义

起源:
happens-before规则来源于Leslie Lamport《Time, Clocks and the Ordering of Events in a Distributed System》。该论文中使用happens-before来定义分布式系统中事件之间的偏序关系(partial ordering),该文中给出了一个分布式算法,能用来将偏序关系扩展为某种全序关系。

Java中的应用:
JSR-133使用happens-before来指定两个操作之间的执行顺序。JMM可以通过happens-before关系向程序员提供跨线程的内存可见性保证。

《JSR-133:Java Memory Model and Thread Specification》对happens-before关系的定义如下:

如果操作A happens-before 操作B,那么A操作的执行结果将会对操作B可见,且操作A的执行顺序排在操作B之前——JMM对程序员的承诺两个操作存在happens-before关系,并不意味着Java平台的具体实现必须按照happens-before的顺序来执行。如果重排序不改变程序执行结果(与happens-before)规则一致,那么这种重排序是不非法的(JMM允许这种重排序)。——JMM对编译器和处理器的束缚原则

happens-before和as-if-serial语义:
从上述来看,happens-before和as-if-serial语义本质上是一回事

  • as-if-serial语义保证单线程内程序的执行结果不被改变,happens-before关系保证正确同步的多线程程序的执行结果不改变
  • as-if-serial语义给编程者一种单线程是按程序顺序执行的幻境;happens-before关系给编程者一种正确同步的多线程是按照happens-before指定的顺序执行的幻境。

两者的目的都是为了在不改变程序执行结果的前提下,尽可能的提高程序的执行效率。

3、happens-before规则

《JSR-133:Java Memory Model and Thread Specification》定义了如下happens-before规则

  • 程序顺序规则
  • 监视器锁规则
  • volatile变量规则
  • 传递性
  • start()规则
  • join()规则

3.1 volatile写-读

volatile写-读建立的happens-before关系

Java内存模型之happens-before概念详解

happens-before关系示意图

分析上图:

  1. 1 happens-before 2和3 happens-before 4由程序顺序规则产生。由于编译器和处理器遵循as-if-serial语义,也就是说,as-if-serial语义保证了程序顺序规则。因此可以把程序顺序规则看成是对as-if-serial语义的“封装”。
  2. 2 happens-before 3 是有volatile规则产生。一个volatile变量的读,总是能看到(任意线程)对这个volatile变量的最后写入。
  3. 1 happens-before 4 是由传递性规则产生的。这里的传递性是由volatile的内存屏障插入策略和volatile的编译器重排序规则来共同保证的。

3.2 start()规则

假设线程A在执行的过程中,通过执行ThreadB.start()来启动线程B;同时,假设线程A在执行ThreadB.start()之前修改了一个共享变量,线程B在执行后会读取这些共享变量。
start()程序对应的happens-before关系图:

Java内存模型之happens-before概念详解

分析上图:

  • 1 happens-before
  • 2 由程序顺序规则产生2 happens-before 4 由start规则产生
  • 1 happens-before 4 由传递性规则产生

因此线程A执行ThreadB.start()之前对共享变量所做的修改,在线程B执行后都将确保对线程B可见。

3.3 join()规则

假设线程A执行的过程中,通过执行ThreadB.join()来等待线程B终止;则线程B在终止之前修改了一些共享变量,线程A从ThreadB.join()返回后会读这些共享变量。
join()程序的happens-before关系图:

Java内存模型之happens-before概念详解

分析上图:

  1. 2 happens-before
  2. 4 由join()规则产生4 happens-before 5 由程序顺序规则产生
  3. 2 happens-before 5 由传递性规则产生

因此线程A执行操作ThreadB.join()并成功返回,线程B中任意操作都将对线程A可见。

文章总结至《Java并发编程艺术》,下篇总结“双重检查所定与延迟初始化”,敬请关注。

以上就是Java内存模型之happens-before概念详解的详细内容,更多关于Java内存模型 happens-before的资料请关注三水点靠木其它相关文章!

Java/Android 相关文章推荐
浅谈Java实现分布式事务的三种方案
Jun 11 Java/Android
Spring Bean的实例化之属性注入源码剖析过程
Jun 13 Java/Android
启动Tomcat时出现大量乱码的解决方法
Jun 21 Java/Android
Spring boot应用启动后首次访问很慢的解决方案
Jun 23 Java/Android
Java SSH 秘钥连接mysql数据库的方法
Jun 28 Java/Android
解决Swagger2返回map复杂结构不能解析的问题
Jul 02 Java/Android
看完这篇文章获得一些java if优化技巧
Jul 15 Java/Android
mybatis3中@SelectProvider传递参数方式
Aug 04 Java/Android
Java数据开发辅助工具Docker与普通程序使用方法
Sep 15 Java/Android
SpringBoot整合阿里云视频点播的过程详解
Dec 06 Java/Android
Java练习之潜艇小游戏的实现
Mar 16 Java/Android
前端与RabbitMQ实时消息推送未读消息小红点实现示例
Jul 23 Java/Android
Java实战之用Swing实现通讯录管理系统
在Java中Collection的一些常用方法总结
Win10系统下配置Java环境变量
SpringCloud Alibaba 基本开发框架搭建过程
Spring Bean的实例化之属性注入源码剖析过程
Java输出Hello World完美过程解析
Java方法重载和方法重写的区别到底在哪?
Jun 11 #Java/Android
You might like
PHP容易被忽略而出错陷阱 数字与字符串比较
2011/11/10 PHP
laravel 实现设置时区的简单方法
2019/10/10 PHP
获取页面高度,窗口高度,滚动条高度等参数值getPageSize,getPageScroll
2006/09/22 Javascript
使用户点击后退按钮使效三行代码
2007/07/07 Javascript
JavaScript 面向对象编程(1) 基础
2010/05/18 Javascript
高效的获取当前元素是父元素的第几个子元素
2013/10/15 Javascript
jQuery中的$.ajax()方法应用
2014/05/06 Javascript
JavaScript中操作Mysql数据库实例
2015/04/02 Javascript
JS选项卡动态替换banner图片路径的方法
2015/05/11 Javascript
使用Node.js实现HTTP 206内容分片的教程
2015/06/23 Javascript
全面理解JavaScript中的闭包
2016/05/12 Javascript
动态加载js、css的实例代码
2016/05/26 Javascript
js判断某个字符出现的次数的简单实例
2016/06/03 Javascript
BootStrap Table 获取同行不同列元素的方法
2016/12/19 Javascript
基于vue2.0+vuex+localStorage开发的本地记事本示例
2017/02/28 Javascript
Vue中render函数的使用方法
2018/01/31 Javascript
Angular2.0实现modal对话框的方法示例
2018/02/18 Javascript
Vue导出页面为PDF格式的实现思路
2018/07/31 Javascript
vue如何实现动态加载脚本
2020/02/05 Javascript
mpvue 项目初始化及实现授权登录的实现方法
2020/07/20 Javascript
[03:55]显微镜下的DOTA2特别篇——430灰烬之灵神级操作
2014/06/24 DOTA
Python中使用第三方库xlrd来读取Excel示例
2015/04/05 Python
tensorflow构建BP神经网络的方法
2018/03/12 Python
深入理解Python异常处理的哲学
2019/02/01 Python
python设置环境变量的原因和方法
2019/06/24 Python
Python求解排列中的逆序数个数实例
2020/05/03 Python
CSS3实现线性渐变用法示例代码详解
2020/08/07 HTML / CSS
浅析canvas元素的html尺寸和css尺寸对元素视觉的影响
2019/07/22 HTML / CSS
露营世界:Camping World
2017/02/02 全球购物
大学生期末自我鉴定
2014/02/01 职场文书
美丽乡村建设实施方案
2014/03/23 职场文书
2015年教师党员承诺书
2015/04/27 职场文书
医院消毒隔离制度
2015/08/05 职场文书
导游词之五台山
2019/10/11 职场文书
javascript函数式编程基础
2021/09/15 Javascript
PostgreSQL常用字符串分割函数整理汇总
2022/07/07 PostgreSQL