Java 多线程 —— 深入理解 volatile 的原理以及应用

转载自  Java 多线程 —— 深入理解 volatile 的原理以及应用

 

推荐阅读:《java 多线程—线程怎么来的》

这一篇主要讲解一下volatile的原理以及应用,想必看完这一篇之后,你会对volatile的应用原理以及使用边界会有更深刻的认知。本篇主要内容:

  1. volatile 读写同步原理

  2. volatile重排序原则

  3. volatile应用

关键字volatile是jvm提供的轻量级的同步机制,但它并不容易理解,而且在多数情况下用不到,被多数开发者抛弃并采用synchronized代替,synchronized属于重度锁,如果你对性能有高的要求,那么同等情况下,变量声明volatile会减小更少的同步开销。

在介绍之前,我们先抛出2个问题:

  1. volatile究竟是如何保证共享变量的同步的?

  2. i++操作为何对虚拟机来说不是原子操作?

 

 

一、volatile 读写同步原理

 

对变量进行volatile声明以后,会有以下特征:

1、可见性。保证此变量对所有线程是可见的。

2、原子性。只对任意单个volatile变量的读/写具有原子性(注意不是所有)。

3、有序性。被volatile声明过的变量会禁止指令重排序优化

 

 

happen-before 保证可见性

volatile变量的写-读可以实现线程之间的通信。happens-before是java内存模型向我们提供的内存可见性保证,这也就是我们第一个问题的解答,volatiel如何保证对共享变量同步的。

我们先回忆一下happens-before原则(我们只说和其相关的):

  • 程序次序法则:如果在程序中,所有动作 A 出现在动作 B 之前,则线程中的每动作 A 都 happens-before 于该线程中的每一个动作 B。

  • Volatile 变量法则:对 Volatile 域的写入操作 happens-before 于每个后续对同一 Volatile 的读操作。

  • 传递性:如果 A happens-before 于 B,且 B happens-before C,则 A happens-before C。

我们通过一个示例来说明这些规则的应用:

比如现在有线程A和B,分别调取write和read方法。

第一种情况:

线程A先执行write方法之后,线程B执行read方法。那么:

1、基于程序次序法则。1 happens-before 2; 3 happens-before 4

2、基于volatile原则。2 happens-before 3;

3、基于传递性原则。因为 1 happens-before 2,2 happens-before 3,3 happens-before 4。那么可以推断出 1 happens-before 4,2 happens-before 4。

此种情况下,我们可以认定此时线程B中可以读取到 线程A中写入的 a和b的值的。(a值没用声明volatile依然可以读取到,这个为何我们后面讲)

第二种情况:

线程B先执行read方法,之后线程A执行write方法。

1、基于程序次序法则。3 happens-before 4; 1 happens-before 2

2、基于volatile原则。无;

3、基于传递性原则。无传递;

此种情况下,我们可以此时认定线程B中没有读取到线程A中写入的a和b的值。 

通过上面的分析我们可以对volatiel变量如此定义:

  • 当write一个volatile变量时,JMM会把该线程对应的本地内存中的共享变量刷新到主内存。

  • 当read一个volatile变量时,JMM会把该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。

对于第一种情况,我们看上述示例如何write和read的:

那么读到这里,有一个困惑:上述变量a并没有声明为volatile ,为何能被刷新到主内存中,难道不会被处理器重排序么?

 

 

二、volatile限制重排序

 

上述中我们讲到volatile 中有一个特性,有序性,防止jvm对其重排序,那么究竟是如何做的,我们看一下。

重排序分为编译器重排序和处理器重排序。为了实现volatile内存语义,jvm会分别限制这两种类型的重排序类型。

 

 

编译器重排序

针对编译器制定的volatile重排序规则:

上述表中,NO表示jvm不可以重排序,保持当前顺序。

比如第一行第三列中表示:第一个操作是变量的普通读写,第二个操作是volatile声明的变量写操作,那么此时对于操作1和操作2是不可以重排序的,保持当前顺序。

就好比上述示例中a 和b变量,满足此种情况,a和b的操作顺序不变。

上述规则用文字描述:

  • 当第二个操作是volatile写时,不管第一个操作是什么,都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。

  • 当第一个操作是volatile读时,不管第二个操作是什么,都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。

  • 当第一个操作是volatile写,第二个操作是volatile读时,不能重排序。

注意,jvm只保证2个操作保持如此规则,不能延伸到2个以上的操作上。

 

 

处理器重排序

为了实现上述规则,jvm编译器在生成字节码的时候,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

在每个volatile写操作的前面插入一个StoreStore屏障。
在每个volatile写操作的后面插入一个StoreLoad屏障。
在每个volatile读操作的前面插入一个LoadLoad屏障。
在每个volatile读操作的后面插入一个LoadStore屏障。

如此可以保证在任意处理器平台,任意的程序中都能得到正确的volatile重排序规则实现。

 

 

总结

volatile防止重排序,有什么作用?

happens-before是java内存模型向我们提供的内存可见性保证;而volatile的禁止重排序规则,包括volatile的编译器重排序规则和volatile的内存屏障插入策略,是jvm用来实现happens-before的方式。

比如上述程序中,根据happens-before的程序顺序规则:1 happens-before 2 ;3 happens-before 4.

而后根据volatile规则:2 happens-before 3. 如此操作 1、2、3、4的顺序得以延续。

也就是说volatile的禁止重排序规则,确保上述happens-before顺序。

 

 

三、应用

 

 

 

i++ 不是原子

上述原理介绍中,我们有说volatile只对只对任意单个volatile变量的读/写具有原子性,比如变量a的赋值操作,可以为原子的,但变量a++不为原子的,我们看个示例:

我们用javap 看下increCount的编译指令:

我看红色圈中的部分,increCount被分解了4个指令来操作,而 setCount只有1个指令来处理(原子的)。我们用代码的方式,increCount方法可以等价于以下:

所以说volatile只对只对任意单个volatile变量的读/写具有原子性,而i++实际上它是一个由读取-修改-写入操作序列组成的组合操作,属于多个操作,所以不具备原子性。

 

 

volatile 应用原则

要使 volatile 变量提供理想的线程安全,必须同时满足下面两个条件:

  • 对变量的写操作不依赖于当前值。

  • 该变量没有包含在具有其他变量的不变式中。

也就是说被写入 volatile 变量的这些有效值独立于任何程序的状态,包括变量的当前状态。

因此只有在状态真正独立于程序内其他内容时才能使用 volatile —— 这条规则能够避免将这些模式扩展到不安全的用例。

 

 

应用示例

 1、赋值操作

上述 increCount中属于依赖当前count值的应用了,而setCount属于没有依赖当前值。所以后者属于线程安全。

2、线程取消

对一个线程取消或者中断的时候,有人会采用interrupted方法来中断,如果维护一个volatile变量来为何,无论外部线程如何调用,总能保证对当前线程的立即可见性。

当想终止这个线程的操作的时候,调用shutdown方法会比较安全。

通过以上原理和应用介绍,想必对于volatile不会那么陌生了,掌握原理,了解使用边界,让你的程序性能更高,可读性更强。我们如果严格遵循 volatile 的使用条件 —— 即变量真正独立于其他变量和自己以前的值 —— 在某些情况下可以使用 volatile 代替 synchronized 来简化代码。

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/327383.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

中间件和微服务,Docker以及原生云架构的关系

IT世界的技术更新非常迅速。一年前我曾写过一篇关于:微服务是否是企业服务总线和其他中间件的死亡魔法。本文章是之前文章的后续以及关于微服务、容器和原生云架构的中间件关系讨论的更新。各种规模的企业正在以令人不可思议的速度快速向这些技术靠拢! 在…

Linux基本目录解释

以下是对这些目录的解释: /bin:bin是Binary的缩写, 这个目录存放着最经常使用的命令。/boot: 这里存放的是启动Linux时使用的一些核心文件,包括一些连接文件以及镜像文件。(不要动)/dev : dev是Device(设备)的缩写, 存…

No services have been found解决方案

今天在做web服务的时候遇到了一个问题&#xff0c;很是头疼&#xff0c; No services have been found&#xff0c;就是它&#xff01;&#xff01;&#xff01; 我的解决方案是&#xff0c;在web.xml里面加上&#xff1a; <context-param> <param-name>cont…

linux安装jdk8

https://blog.csdn.net/pdsu161530247/article/details/81582980 linux安装jdk8 最后d轻语 2018-08-11 09:25:21 38205 收藏 83 分类专栏&#xff1a; 软件安装 文章标签&#xff1a; centos6安装jdk linux安装jdk 源码包安装 centos6.4 jdk8 版权 目录 1.下载jdk8 2.源…

Java中的读/写锁

转载自 Java中的读/写锁 原文链接 作者&#xff1a;Jakob Jenkov 译者&#xff1a;微凉 校对&#xff1a;丁一 相比Java中的锁(Locks in Java)里Lock实现&#xff0c;读写锁更复杂一些。假设你的程序中涉及到对一些共享资源的读和写操作&#xff0c;且写操作没有读操作那么频…

.net线程池内幕

本文通过对.NET4.5的ThreadPool源码的分析讲解揭示.NET线程池的内幕&#xff0c;并总结ThreadPool设计的好与不足。 线程池的作用线程池&#xff0c;顾名思义&#xff0c;线程对象池。Task和TPL都有用到线程池&#xff0c;所以了解线程池的内幕有助于你写出更好的程序。由于篇幅…

处理目录的常用命令---Linux

处理目录的常用命令 接下来我们就来看几个常见的处理目录的命令吧&#xff1a; ls: 列出目录cd&#xff1a;切换目录pwd&#xff1a;显示目前的目录mkdir&#xff1a;创建一个新的目录rmdir&#xff1a;删除一个空的目录cp: 复制文件或目录rm: 移除文件或目录mv: 移动文件与目…

com.sun.istack.SAXException2: 在对象图中检测到循环。这将产生无限深的 XML

错误如下所示&#xff1a; javax.xml.ws.soap.SOAPFaultException: Marshalling Error: 在对象图中检测到循环。这将产生无限深的 XML: org.entity.Dept5e54a99b -> org.entity.Emp72433225 -> org.entity.Dept5e54a99b at org.apache.cxf.jaxws.JaxWsClientProxy.i…

Linux下安装nginx (tar解压版安装) nginx1.16.1

https://blog.csdn.net/qq_40431100/article/details/104729504 Linux下安装nginx (tar解压版安装) nginx1.16.1 Jkcc 2020-03-08 16:42:30 2241 收藏 分类专栏&#xff1a; linux 运行环境 文章标签&#xff1a; linux nginx 版权 Linux下安装nginx (tar安装) nginx1.16.…

ASP.NET Core HTTP 管道中的那些事儿

前言 马上2016年就要过去了&#xff0c;时间可是真快啊。 上次写完 Identity 系列之后&#xff0c;反响还不错&#xff0c;所以本来打算写一个 ASP.NET Core 中间件系列的&#xff0c;但是中间遇到了很多事情。首先是 NPOI 的移植工作&#xff0c;移植过后还有一些Bug需要修复&…

详解Java多线程编程中LockSupport类的线程阻塞用法

转载自 详解Java多线程编程中LockSupport类的线程阻塞用法 LockSupport类是Java6(JSR166-JUC)引入的一个类&#xff0c;提供了基本的线程同步原语。LockSupport实际上是调用了Unsafe类里的函数&#xff0c;归结到Unsafe里&#xff0c;只有两个函数&#xff1a; public native…

javaWeb服务详解(含源代码,测试通过,注释)

javaweb服务分为两个部分&#xff0c;一部分是web服务端&#xff0c;另一部分就是你调用的客户端了。首先我说下实现web服务的简单思路&#xff1a; 一、服务器端实现&#xff1a; 1.添加webservice jar包 spring支持 2.添加一个web服务 3.在实体类和接口以及对应的实现类中添…

基本属性---Linux

基本属性 看懂文件属性 Linux系统是一种典型的多用户系统&#xff0c;不同的用户处于不同的地位&#xff0c;拥有不同的权限。为了保护系统的安全性&#xff0c;Linux系统对不同的用户访问同一文件&#xff08;包括目录文件&#xff09;的权限做了不同的规定。 在Linux中我们…

Java中的增强for循环的实现原理与坑

转载自 Java中的增强for循环的实现原理与坑 在JAVA中&#xff0c;遍历集合和数组一般有以下三种形式&#xff1a; for (int i 0; i < list.size(); i) {System.out.print(list.get(i) ","); }Iterator iterator list.iterator(); while (iterator.hasNext())…

Prometheus 系统监控方案

最近一直在折腾时序类型的数据库&#xff0c;经过一段时间项目应用&#xff0c;觉得十分不错。而Prometheus又是刚刚推出不久的开源方案&#xff0c;中文资料较少&#xff0c;所以打算写一系列应用的实践过程分享一下。 Prometheus 是什么&#xff1f; Prometheus是一套开源的监…

文件内容查看---Linux

文件内容查看 概述 Linux系统中使用以下命令来查看文件的内容&#xff1a; cat 由第一行开始显示文件内容tac 从最后一行开始显示&#xff0c;可以看出 tac 是 cat 的倒着写&#xff01;nl 显示的时候&#xff0c;顺道输出行号&#xff01;more 一页一页的显示文件内容less 与…

怎样批量获取文件名,批量提取文件名 文件名读取windows 批处理文件

https://jingyan.baidu.com/article/cdddd41cb0776f53cb00e1e4.html https://jingyan.baidu.com/article/cdddd41cb0776f53cb00e1e4.html 如图&#xff0c;这个文件夹中有一些名字比较奇特的文件&#xff0c;接着我们就开始获取这些文件的文件名。 如图&#xff0c;文件在一…

大三那年在某宝8块钱买的.NET视频决定了我的职业生涯

前言 谨以此文献给那些还在大学中迷茫的莘莘学子们&#xff01; 韩愈在《师说》中提出了作为师者应该做的三件事&#xff1a;传道、授业、解惑。 1.传道&#xff1a;培养学生的道德观 2.授业&#xff1a;传授学生专业技能 3.解惑&#xff1a;解答学生内心的迷茫迷惑 曾几何时&a…

为什么说Java中只有值传递(另一种角度)

转载自 为什么说Java中只有值传递 对于初学者来说&#xff0c;要想把这个问题回答正确&#xff0c;是比较难的。在第二天整理答案的时候&#xff0c;我发现我竟然无法通过简单的语言把这个事情描述的很容易理解&#xff0c;遗憾的是&#xff0c;我也没有在网上找到哪篇文章可以…

链接(了解)---Linux

链接&#xff08;了解&#xff09; Linux 链接分两种&#xff0c;一种被称为硬链接&#xff08;Hard Link&#xff09;&#xff0c;另一种被称为符号链接&#xff08;Symbolic Link&#xff09;。 情况下&#xff0c;ln 命令产生硬链接。 硬链接 硬连接指通过索引节点来进行…