对volatile的理解
JMM 是什么
JMM(java内存模型 Java Memory Model)本身是一种抽象的概念,描述一组规则后规范通过这组规范定义了程序中各个变量(包括实例字段,静态变量和组成数组对象的元素)的访问方式。
JMM关于同步的规定:
- 线程解锁前,必须把共享变量的值刷新回主内存
- 线程加锁前,必须读取主内存的最新值到自己的工作内存
- 加解锁是同一把锁
由于JMM运行程序的实体是线程,而每个线程创建JVM都会为其创建一个工作内存,工作内存是每个线程的私有数据区域,而Java内存模型中规定所有变量都存储在 主内存
,主内存是共享内存区域,所有线程都可以访问,但线程对变量的操作(读取或赋值)必须在工作内存中进行,首先要将内存从主内存拷贝到自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写回到主内存,不能直接操作主内存中的变量,各个线程中的工作内存中存储着主内存中的变量副本拷贝,因此不同的线程间无法访问对方的工作内存,线程间的通信(值传递)必须通过主内存来完成。访问过程如下:
JMM三个特性(约束)
- 可见性
- 原子性
- 有序性
volatile是什么
volatile是Java虚拟机提供的轻量级同步机制
- 保证可见性
- 不保证原子性
- 禁止指令重排
什么是可见性
public class VolatileDemo {public static void main(String[] args) throws InterruptedException {MyData myData = new MyData();new Thread(() -> {try {TimeUnit.SECONDS.sleep(3);} catch (InterruptedException e) {e.printStackTrace();}myData.add60();System.out.println(Thread.currentThread().getName()+ " 线程内修改num的值为 :" + myData.number);}, "Thread1").start();while (myData.number == 0) {}TimeUnit.SECONDS.sleep(4);System.out.println(Thread.currentThread().getName()+ " 主线程从循环中跳出");}
}class MyData {volatile int number = 0;void add60() {this.number = 60;}
}
复制代码
以上代码执行结果为
Thread1 线程内修改num的值为 :60
main 主线程从循环中跳出
复制代码
由结果可知,线程之间是有可见性的,即线程Thread1 修改了number的值为60,主线程的工作内存中的number读到修改后的值为60,便跳出循环,输出循环外的语句。
如果将classData中的number
去掉volatile的修饰,则线程间没有可见性,即主线程读不到number修改后的值,main的工作内存中还是保留number值为0,则一直停留在循环中。
什么是原子性
不可见分割,完整性,某个线程正在做某个具体业务时,中间不可被加塞或者分割,需要整体完成,要么成功,要么失败。
public class VolatileAtomicity {public static void main(String[] args) {MyDatas myDatas = new MyDatas();for (int i = 0; i < 20; i++) {new Thread(() -> {for (int j = 0; j < 1000; j++) {myDatas.numPlusPlus();}}).start();}while (Thread.activeCount() > 2) {Thread.yield();}System.out.println(myDatas.number);}
}class MyDatas {volatile int number = 0;void numPlusPlus() {number++;}
}
复制代码
以上代码执行结果总是小于2000
首先我们知道 number++
操作是分两步执行:
- 获取当前number的值
- number++
- 结果放回主内存中。
根据上述,volatile修饰的number是不保证原子性的,也就是在执行number++的过程会被其他线程打断,即A线程获取number的值为1时,同时B线程也获取了number的值为1,A进行第二步number+1,然后第三步准备将结果2放回主内存时,线程B抢先一步将其工作内存中number+1的结果2放回主内存,理论上A/B两个线程各加了1,结果应该为3,但是实际上A线程计算结果也是2,放回主内存时只是覆盖了B线程的结果,最终主内存中的结果在经过两个线程分别+1后还是2.
以上,可知volatile是不符合JMM规定的原子性的,同时number++在多线程下是非线程安全的。
如何解决原子性问题
- 加synchronized
- 使用原子类AtomicInteger
使用synchronized对于此场景来说太重,因此优先考虑使用AtomicInteger作为number的类型。
有序性
volatile的有序性表现在 禁止指令重排
复制代码
指令重排
计算机在执行程序时,为了提高性能,编译器和处理器常常会对指令做重排
,一般分为三类:
单线程环境里面确保程序最终执行结果和代码顺序执行的结果一致
处理器在进行重排序时必须考虑指令间的数据依赖性
多线程环境中线程交替执行,由于编译器优化重排的存在,两个线程中使用的变量能否保证一致性是无法确定的,结果无法预测
void mysort() {int x = 11;int y = 12;x = x + 5;y = x * x;}
复制代码
以上代码,执行顺序 1234、2134、1324 是不影响最终的结果的,因此代码编译后指令顺序不一定为1234,这种行为在多线程下可能会造成结果的误差。
public class ReSoreSeqDemo {int a = 0;boolean flag = false;public void method1() {a = 1;flag = true;}public void method2() {if (flag) {a = a + 5;System.out.println("****value = " + a);}}
}
复制代码
如上代码,现有两个线程A/B,分别执行method1和2,仅对于线程A来说,method1方法两行执行顺序先后没有关系。但是如果method1顺序变了,先执行flag=true
,这时线程B就进入method2的判断中,a=5,再接着执行线程A的 a=1
,最后结果为 a = 1,与期望结果 a=1
然后 a = a+5
的结果有差异。这就是需要禁止指令重排的原因。
volatile实现禁止指令重排优化
,从而避免多线程环境下环境出现乱序执行的现象。
内存屏障(Memory Barrier)
内存屏障又称内存栅栏,是一个CPU指令,他的作用有两个:
- 保证特定操作的执行顺序
- 保证某些变量的内存可见性(利用该特性实现volatile的内存可见性)
由于编译器和处理器都能执行指令重排优化。如果在指令间插入一条MemoryBarrier则会告诉编译器和CPU, 不管什么指令都不能和这条MemoryBarrier指令重排序,也就是通过内存屏障禁止在内存屏障前后的指令执行重排序优化
。内存屏障另外的一个作用是强制刷出各种CPU的焕醋拿数据,因此任何CPU上的线程都能读取到这些数据的最新版本。
对volatile变量进行写操作时,会在写操作后加入一条store屏障指令,将工作内存中的共享变量之刷新到主内存中;
对volatile变量进行读操作时,会在读操作前加入一条load屏障指令,从主内存中读取共享变量
线程安全如何获得保障
工作内存和主内存同步延迟现象导致的可见性问题
- 可以使用synchronized或volatile关键字解决,他们都可以是一个线程修改后的变量立即对其他线程可见
对于指令重排导致的可见性问题和有序性问题
- 可以利用volatile关键字解决,因为volatile的另一个作用就是禁止重排指令优化
本文结束
内容根据尚硅谷视频总结
欢迎访问我的个人博客 justd的博客
转载于:https://juejin.im/post/5cf7dc135188251a6917bc51
对volatile的理解相关推荐
- Java面试之谈谈对Volatile的理解
谈谈对Volatile的理解 Volatile在日常的单线程环境是应用不到的 Volatile是Java虚拟机提供的轻量级的同步机制(三大特性) 保证可见性 不保证原子性 禁止指令重排 可能这么说,还 ...
- Java中Volatile的理解
首先我们知道Java中的内存模型 即:线程工作内存--主内存 工作内存是线程私有的,主内存是线程共有的 变量的初始化,生成都在主内存,工作内存只有使用到该变量时才从主内存加载操作 共八中原子性操作,r ...
- C和C++中的register变量和volatile变量理解
一.register关键字修饰变量 首先register是关键字,关键字意味着这样的变量是由编译器处理的.他的作用就是尽量让这个被修饰的变量存放在CPU的寄存器中供程序进行读写,因为他的值很少被修改, ...
- Java之内存模型的基础、重排序、顺序一致性、volatile、锁、final
为什么80%的码农都做不了架构师?>>> 深入理解Java内存模型(一)--基础 深入理解Java内存模型(二)--重排序 深入理解Java内存模型(三)--顺序一致性 深入理 ...
- 浅谈Java锁,与JUC的常用类,集合安全类,常用辅助类,读写锁,阻塞队列,线程池,ForkJoin,volatile,单例模式不安全,CAS,各种锁
浅谈JUC的常用类 JUC就是java.util.concurrent-包下的类 回顾多线程 Java默认有几个线程? 2 个 mian.GC Java 真的可以开启线程吗? 开不了,点击源码得知:本 ...
- 聊聊高并发(三十六)Java内存模型那些事(四)理解Happens-before规则
在前几篇将Java内存模型的那些事基本上把这个域底层的概念都解释清楚了,聊聊高并发(三十五)Java内存模型那些事(三)理解内存屏障 这篇分析了在X86平台下,volatile,synchronize ...
- synchronized实现可见性对比volatile
最近花时间研究了下,如有不正确的地方,欢迎大家批评指正,谢谢. 首先先介绍一下JMM(JAVA内存模型),上图: java内存模型的工作原理如上图所示,一些被定义的变量都存放在主内存中,当一个线程想要 ...
- 就是要你懂 Java 中 volatile 关键字实现原理
前言 我们知道volatile关键字的作用是保证变量在多线程之间的可见性,它是java.util.concurrent包的核心,没有volatile就没有这么多的并发类给我们使用. 本文详细解读一下v ...
- 【软件开发底层知识修炼】二十八 C/C++中volatile的作用
上一篇文章学习了C/C++中的指针与数组的区别,点击链接进行查看:[软件开发底层知识修炼]二十七 C/C++中的指针与数组是不同的 本篇文章将学习volatile关键字在C/C++中的作用 文章目录 ...
最新文章
- 《 硬件创业:从产品创意到成熟企业的成功路线图》——导读
- OCI读取单条记录(C)
- C#Winform控件随窗体缩放
- struts2.0简单页面 (不带拦截器和带拦截器案例)
- 创立微积分的两场风波
- 如何在MacOS Big Sur中访问隐藏的Mac设置?
- oracle11g Rac Bond,Oracle11g搭建RAC步骤..doc
- kosbie的python课程视频_Python视频教程
- Mp3原理及文件格式解析(from)
- 黑月教主工具脱水印_一键去水印!傻瓜式图片处理工具Inpaint
- Linux普通用户执行root权限脚本且没有读写权限
- 前后端、数据库时间格式化方法
- java网上图书商城_java网上图书商城(8)订单模块3
- 发错邮件后你知道怎么撤回邮件吗?163vip邮箱邮件撤回了解一下
- 腾讯、百度、高德、谷歌、天地图地图瓦片
- 【NX2023/1847】UG软件安装详细指南教程
- 【QGIS入门实战精品教程】10.1:QGIS基于DEM数据的地形分析案例教程
- 小程序对企业、商家有哪些方面的好处?
- Fiddler对手机APP进行抓包
- PostgreSQL安装详细步骤(linux)
热门文章
- 简单了解音视频传输协议SDP、RTP、RTMP、SIP等
- 第五周项目一-三角形类雏形(1)
- linux+bash+参数脚本名,linux – Bash中的脚本参数
- Java学习笔记17
- MapReduce—第一个WordCount程序
- oracle分页数据,oracle 分页 数据重复 数据不正确
- apache java windows_Apache for Windows 安装
- list 去重_测试面试题集Python列表去重
- xshell与xftp使用注意
- 【搜索引擎Jediael开发笔记2】使用HttpClient下载网页至本地文件