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中的OPTIONAL
Jun 14 Java/Android
Java常用函数式接口总结
Jun 29 Java/Android
Java基础-封装和继承
Jul 02 Java/Android
JavaWeb 入门篇(3)ServletContext 详解 具体应用
Jul 16 Java/Android
java设计模式--建造者模式详解
Jul 21 Java/Android
springboot+WebMagic+MyBatis爬虫框架的使用
Aug 07 Java/Android
使用Java去实现超市会员管理系统
Mar 18 Java/Android
MybatisPlus EntityWrapper如何自定义SQL
Mar 22 Java/Android
Android Rxjava3 使用场景详解
Apr 07 Java/Android
Java虚拟机内存结构及编码实战分享
Apr 07 Java/Android
Java 常见的限流算法详细分析并实现
Apr 07 Java/Android
SpringBoot 集成短信和邮件 以阿里云短信服务为例
Apr 22 Java/Android
Java实战之用Swing实现通讯录管理系统
在Java中Collection的一些常用方法总结
Win10系统下配置Java环境变量
SpringCloud Alibaba 基本开发框架搭建过程
Spring Bean的实例化之属性注入源码剖析过程
Java输出Hello World完美过程解析
Java方法重载和方法重写的区别到底在哪?
Jun 11 #Java/Android
You might like
PHP管理内存函数 memory_get_usage()使用介绍
2012/09/23 PHP
php 中phar包的使用教程详解
2018/10/26 PHP
extjs 学习笔记 四 带分页的grid
2009/10/20 Javascript
用JQUERY增删元素的代码
2012/02/14 Javascript
使用JavaScript动态设置样式实现代码及演示动画
2013/01/25 Javascript
jquery判断元素是否隐藏的多种方法
2014/05/06 Javascript
理解jquery事件冒泡
2016/01/03 Javascript
AngularJS入门教程之模块化操作用法示例
2016/11/02 Javascript
jQuery基于Ajax方式提交表单功能示例
2017/02/10 Javascript
Angularjs中使用轮播图指令swiper
2017/05/30 Javascript
Vue动态组件实例解析
2017/08/20 Javascript
vue的状态管理模式vuex
2017/11/30 Javascript
vue 将页面公用的头部组件化的方法
2017/12/18 Javascript
Element-UI踩坑之Pagination组件的使用
2018/10/29 Javascript
vue router-link 默认a标签去除下划线的实现
2020/11/06 Javascript
Vue 防止短时间内连续点击后多次触发请求的操作
2020/11/11 Javascript
[07:20]2018DOTA2国际邀请赛寻真——逐梦Mineski
2018/08/10 DOTA
python3.4用函数操作mysql5.7数据库
2017/06/23 Python
python 全局变量的import机制介绍
2017/09/07 Python
Python KMeans聚类问题分析
2018/02/23 Python
在python3.5中使用OpenCV的实例讲解
2018/04/02 Python
查看python下OpenCV版本的方法
2018/08/03 Python
Python实现Event回调机制的方法
2019/02/13 Python
TensorFlow卷积神经网络之使用训练好的模型识别猫狗图片
2019/03/14 Python
python 使用plt画图,去除图片四周的白边方法
2019/07/09 Python
python自定义时钟类、定时任务类
2021/02/22 Python
python脚本执行CMD命令并返回结果的例子
2019/08/14 Python
BeautifulSoup获取指定class样式的div的实现
2020/12/07 Python
使用canvas一步步实现图片打码功能的方法
2019/06/17 HTML / CSS
聚网科技C++面试笔试题
2015/09/01 面试题
奥巴马演讲稿
2014/01/08 职场文书
文明礼仪事迹材料
2014/01/09 职场文书
《夹竹桃》教学反思
2014/04/20 职场文书
安全保证书
2015/01/16 职场文书
大学生军训感言
2015/08/01 职场文书
2016年读书月活动总结范文
2016/04/06 职场文书