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 相关文章推荐
MybatisPlus代码生成器的使用方法详解
Jun 13 Java/Android
Spring boot应用启动后首次访问很慢的解决方案
Jun 23 Java/Android
详解Java分布式事务的 6 种解决方案
Jun 26 Java/Android
分析JVM源码之Thread.interrupt系统级别线程打断
Jun 29 Java/Android
springboot临时文件存储目录配置方式
Jul 01 Java/Android
Java异常处理try catch的基本用法
Dec 06 Java/Android
Java生成日期时间存入Mysql数据库的实现方法
Mar 03 Java/Android
SpringBoot整合Minio文件存储
Apr 03 Java/Android
Java实现添加条码或二维码到Word文档
Jun 01 Java/Android
java实现面板之间切换功能
Jun 10 Java/Android
ConditionalOnProperty配置swagger不生效问题及解决
Jun 14 Java/Android
HttpClient实现表单提交上传文件
Aug 14 Java/Android
Java实战之用Swing实现通讯录管理系统
在Java中Collection的一些常用方法总结
Win10系统下配置Java环境变量
SpringCloud Alibaba 基本开发框架搭建过程
Spring Bean的实例化之属性注入源码剖析过程
Java输出Hello World完美过程解析
Java方法重载和方法重写的区别到底在哪?
Jun 11 #Java/Android
You might like
php中fsockopen用法实例
2015/01/05 PHP
PHPCrawl爬虫库实现抓取酷狗歌单的方法示例
2017/12/21 PHP
jquery分页插件AmSetPager(自写)
2013/04/15 Javascript
使用jquery实现的一个图片延迟加载插件(含图片延迟加载原理)
2014/06/05 Javascript
JavaScript简单表格编辑功能实现方法
2015/04/16 Javascript
JavaScript通过使用onerror设置默认图像显示代替alt
2016/03/01 Javascript
AngularJS bootstrap启动详解及实例代码
2016/09/14 Javascript
详解JS对象封装的常用方式
2016/12/30 Javascript
js实现以最简单的方式将数组元素添加到对象中的方法
2017/12/20 Javascript
深入理解令牌认证机制(token)
2019/08/22 Javascript
layui当点击文本框时弹出选择框,显示选择内容的例子
2019/09/02 Javascript
JS将指定的某个字符全部转换为其他字符实例代码
2020/10/13 Javascript
vue仿携程轮播图效果(滑动轮播,下方高度自适应)
2021/02/11 Vue.js
Python简单格式化时间的方法【strftime函数】
2016/09/18 Python
Pycharm 设置自定义背景颜色的图文教程
2018/05/23 Python
python 普通克里金(Kriging)法的实现
2019/12/19 Python
python离线安装外部依赖包的实现
2020/02/13 Python
python代码区分大小写吗
2020/06/17 Python
Python第三方库安装缓慢的解决方法
2021/02/06 Python
html5/css3响应式页面开发总结
2018/10/16 HTML / CSS
html5实现九宫格抽奖可固定抽中某项奖品
2020/06/15 HTML / CSS
澳大利亚宠物商店:Petbarn
2017/11/18 全球购物
英国玛莎百货美国官网:Marks & Spencer美国
2018/11/06 全球购物
PHP开发的一般流程
2013/08/13 面试题
Weblogc domain问题
2014/01/27 面试题
新闻专业大学生找工作的自我评价
2013/10/30 职场文书
创业融资计划书
2014/04/25 职场文书
教师节宣传方案
2014/05/23 职场文书
国家领导干部党的群众路线教育实践活动批评与自我批评材料
2014/09/23 职场文书
毕业生就业推荐表导师评语
2014/12/31 职场文书
单位接收函范文
2015/01/30 职场文书
综合素质评价个性发展自我评价
2015/03/06 职场文书
文艺委员竞选稿
2015/11/19 职场文书
2019假期福利管理制度!
2019/07/15 职场文书
创业计划书之游泳馆
2019/09/16 职场文书
Vue ECharts实现机舱座位选择展示功能
2022/05/15 Vue.js