保证可见性_十年程序员浅谈并发的原子性、可见性、有序性
内存模型与运行时数据区
内存模型
java内存模型简称JMM(Java Memory Model ),定义了程序中各个共享变量的访问规则。
Java Memory Model
变量存储在主内存中,每个线程拥有自己的工作内存用来存放变量的拷贝,线程的读写操作是在各自的工作内存中进行的,操作的对象都是变量的拷贝,操作完毕后在刷新到主内存。
JMM规范定义了工作内存和主内存之间变量访问的细节,通过保障原子性、有序性、可见性实现线程安全。
运行时数据区
运行时数据区(JVM Runtime Data Areas)定义了JVM运行期内存的管理划分。
JVM Runtime Data Areas
JVM在运行时把内存划分成多个功能区,每个区域对应着不能的存储内容,生命周期,共享性质,GC策略等。
可以看到,能被线程共享的是方法区和堆中的数据,也就是实例对象、数组和静态变量,这些共享数据受到JMM规范影响。
而局部变量、方法参数、异常处理参数都在虚拟机栈中,这些数据为线程私有的,所以不受JMM规范影响。
原子性、可见性、有序性
原子性
原子操作是指一个操作不会被线程调度机制打断,一旦开始,就一直运行到结束,中间不会有任何线程切换(context switch)。
原子性可以保障读取到的某个属性的值是由一个线程写入的。 变量不会在同一时刻受到多个线程同时写入造成干扰。如在32位的JVM中对64位long 或double值的写操作是分成两次相邻的32位值写操作,在多线程的环境下,可能会有线程只读到了前32位,这种操作就是非原子性的,非原子性操作会受到多线程的干扰而产生结果混乱。
基本类型的单次读写操作是原子的,但是复合操作如:int i=0;i++,就是非原子性的。
JMM保障原子性的方法:volatile语义(保证变量单次操作的的原子性)、锁语义。
可见性
共享内存模型
可见性是指一个线程对变量的值进行了修改,其他线程能够立即得知这个修改。
如上图:在共享内存模型中如果有一个线程对变量i进行了修改,在没有可见性保障的情况下,其他两个线程看到的i的值都是不确定的,变量i在数据争用的情况下不具备不可见性。
可见性是保障多线程操作中数据一致性和结果正确性的基石,多线程环境下影响变量可见性的因素:
1、 指令重排序
2、 线程调度(切换)
3、 工作内存和主内存没有及时刷新
JMM保障可见性的方法:fianl语义、volatile语义、锁语义。
有序性
现代CPU的计算速度远远高于内存的读写速度,CPU会采用高速缓存来抵消内存访问带来的延迟。甚至高速缓存也分成多级,最快的离CPU最近,但是其存取速度还是远远低于CUP指令执行的速度,为了减少CACHE_WAIT,CPU会采用指令级并行重排序来提供执行效率,也可以叫做CPU乱序执行。
CUP的高速缓存与内存之间不是实时同步的,高速缓与高速缓间也不是实时同步,而是通过缓存一致性协议(MESI)将数据新到主内存,缓存和读写缓冲区之间也会通过指令重排序来优化数据的刷新。
JIT编译器也会在代码编译的时候对代码进行重新整理,最大限度的去优化代码的执行效率。
所以一段JAVA代码从执行到获得结果,其执行的顺序其实是经历了2个阶段三种重排序的优化:
代码重排序过程
保障重排序后结果正确性
1、as-if-serial语义
as-if-serial语义的意思指:所有的指令都可以为了优化而被重排序,但是必须保证最终执行的结果和重排序之前的结果是一致的,编译器和处理器都会保证单线程下的as-if-serial语义。主要遵守的规则是重排序不破坏数据的依赖关系,如下图,指令C依赖指令A和指令B,那么重排序只能在指令A和指令B之间发生。
数据依赖关系
as-if-serial语义保证了单线程环境下重排序之后程序执行结果的正确性,JVM在单线程的情况下会遵as-if-serial语义,无需担心重排序会干扰心内存可见性。
2、happens-before原则
示例1
按照写代码的主观意愿,可能期望是要么指令1先执行,要么指令3先执行,指令1先执行就不应该看到到指令4写入的值,如果是指令3先执行,就不应该看到指令2写入的值。
如果编译器或者执行CPU进行了重排序,指令4在指令1前先执行了,指令2在指令3之前执行了,就会出现r2 == 2和r1 == 1这种有违直觉的结果。然而,从单个线程的角度,指令1和指令2重排序是遵循as-if-serial语义的,不会影响该线程获得正确的结果。但是,从多线程的角度看,编译器或者指令重排序影响到了代码原本想要表达语义。
示例2
这个示例中指令1和指令2之间没有依赖关系遵循as-if-serial语义重排序,对单线程执行结果的正确性没有影响,但是多线程环境下,如果thread1执行完指令1,thread2执行,那i的值会出现有背预期的情况,因为thread1中对共享变量a的修改,对thread2是不可见的。
基于数据依赖性的as-if-serial语义无法保证多线程环境下,重排序之后程序执行结果的正确性。JMM中happens-before原则就是用来保障多线程环境下变量可见性的。
先行发生原则( happens-before )是JMM用来规定两个操作之间的偏序关系,这两个操作是可以跨线程的。happens-before中确定了8条规则,如果如果两个操作之间的关系可以从下列规则推导出来说明两个操作是有序的。
happens-before并不限定指令重排序,如果如果重排序之后的执行结果与按happens-before关系来执行的结果一致,那么JVM允许这种重排序。happens-before原则保证了前后两个操作间不会被重排序且后者对前者的内存是可见的。
happens-before八条规则:
1、程序次序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作(一个线程内保证语义的串行性)。
2、锁定规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。
3、volatile变量规则:volatile变量的写操作happens-before于后面对这个变量的读操作。
4、传递规则:如果A happens-before B且Bhappens-before C,那么A happens-before C。
5、线程启动规则:Thread对象的start()方法happens-before于此线程的每个一动作。
6、线程中断规则:对线程interrupt()方法的调用happens-before于被中断线程的代码检测到中断事件的发生。
7、线程终结规则:线程中所有的操作都happens-before于线程的终止。
8、对象终结规则:一个对象的初始化完成happens-before于他的finalize()方法的开始。
小结
1、JMM规范定义了工作内存和主内存之间变量访问的细节,通过保障原子性、有序性、可见性实现线程安全。
2、线程调度(切换)会影响数据操作的原子性,JMM通过fianl语义、volatile语义、锁语义来保障原子性。
3、线程调度(切换)、指令重排序、内存刷新都会影响可见性,JMM通过volatile语义、锁语义来保障可见性。
4、内存系统重排序、指令级并行重排序、编译器优化重排序都会影响到程序执行的有序性,JMM通过happens-before原则保障并发环境下程序执行的有序性。
保证可见性_十年程序员浅谈并发的原子性、可见性、有序性相关推荐
- 初级菜鸟程序员浅谈开源和共享精神
大家对开源这个东西肯定也是耳熟能详了,github上面有一大堆开源项目,供大家学习参与. 我个人感觉,开源其实就是一种企业或个人的自由选择.我个人是很respect替开源项目贡献代码的人,唉. 有时间 ...
- 老派程序员浅谈Python的异常处理
@本文来源于公众号:csdn2299,喜欢可以关注公众号 程序员学府 文章目录 一.与python异常相关的关键字 二.python中的异常类型 三.基本方式: 三.手动使用raise引发异常 Pyt ...
- 黑马程序员-----浅谈面向对象的含义
--------android培训.java培训.期待与您交流! ---------- 这两天工作之余,一直在学习毕老师的java基础视频,昨天看到毕老师介绍面向对象的那一节,对毕老师举的例子印象很深 ...
- 黑马程序员 浅谈封装的具体实现的几种例子
可能很多人学了面向对象概念后,对封装只是一个模糊的理解,大概知道是怎么回事,但又说不出用的地方,本人小小的总结了一下: 1.属性封装了字段 例子: class Program { ...
- 当了十年 IT 程序员,我转型做自动驾驶开发的这五年”_《新程序员》编辑部的博客-CSDN博客
"当了十年 IT 程序员,我转型做自动驾驶开发的这五年"_<新程序员>编辑部的博客-CSDN博客
- 专访|十年程序员董一凡:生命不息,学习不止
董一凡,公众号:sevenmirrors 2005 年--毕业加入程序员的行列 2008 年--开始移动平台的开发至今,大小 App开发了不少 2008-2012 年--Telenav 公司任职,分别 ...
- 2019 年终总结和一个三十岁程序员的感悟
前言 年中的时候,在博客上写过一篇半年总结,地址在这里: 我的 2019 年中总结 ,因为前几天一直在忙家里的事情,所以也没有抽空出来在 2019 年前把总结写完,算是一点小小的遗憾吧,就在这里把总结 ...
- DayDayUp:1024节日快乐!程序猿界的颁奖典礼《年度十大程序员极客》正式公布!
DayDayUp:1024节日快乐!程序猿界的颁奖典礼<年度十大程序员极客>正式公布! 导读:程序猿,作为二十一世纪的一种新生"物种",拥有较高的智商.无与伦比的忍耐力 ...
- 软件史上最伟大的十大程序员
[ 软件史上最伟大的十大程序员 ] 1.John Carmack(约翰.卡马克) John是程序员的教父.他一直致力与推翻世界快速工业化的障碍,在引领时代浪尖的同时仍能将研究成果作为游戏的一部分,它的 ...
- 服务器不知别内存_程序优化浅谈服务器实现高并发的原理
我们每天刷手机都会接收到各种各样的信息,看到这篇文章时,不知大家有没有思考过,这些信息是如何组织,然后通过服务器发送给我们的呢? 其实也很简单,不就是一条一条请求嘛,服务器根据不同的请求分别去不同的数 ...
最新文章
- YOLOv5的妙用:学习手语,帮助听力障碍群体
- Kafka性能强于RabbitMQ的原因
- SDNE: 阿里应用深度学习进行图嵌入,构造凑单算法模型
- 网络中服务器是指为网络提供资源,并对这些资源进行管理的计算机,2016年职称计算机考试Internet冲刺试题及答案3...
- IBM heapAnalyzer
- 洛谷P3144 [USACO16OPEN]关闭农场Closing the Farm_Silver
- 最新三网免挂码支付系统源码+免授权版
- java协同过滤算法的演唱会门票售票系统
- 新的分享之路开启,感谢您的陪伴
- HCIE--路由交换--IGP部分实验详解
- 微信小程序:小程序开发者注册步骤
- unity3d场景怎么添加天空盒子?
- android ui的绘制流程图,使用jsPlumb绘制流程图
- Android 中文字符转UTF-8编码
- opcache 缓存_缓存帽子戏法:Zend Opcache,Etags和查询缓存
- 将dae格式文件导入RViz中创建环境
- 跳槽、找工作在几月份比较好?
- 如何把Windows 7英文系统转换为中文系统
- 谷歌面临欧盟110亿天价罚款!欧盟主席将赴美见特朗普
- centos7与win7虚拟机的安装(m1 mac)