文档章节

java多线程——volatile

wier
 wier
发布于 2017/09/04 14:42
字数 2423
阅读 3750
收藏 250
点赞 6
评论 11

这是java多线程第三篇:

《java 多线程—线程怎么来的》

《java多线程-内存模型》

上一篇《java多线程—内存模型》已经讲解了java线程中三特征以及happens-before 原则,这一篇主要讲解一下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。


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

public class VolatileTest {

    private int a =0;

    private volatile int b=0;


    public void write(){

        a = 1;          //1

        b = 2;          //2

    }

    public void read(){

        int i = b;          //3

        int j = a;          //4

    }

}

比如现在有线程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重排序规则:

第一个操作

第二个操作

 

普通读/写

volatile读

volatile写

普通读/写

 

 

NO

volatile读

NO

NO

NO

volatile写

 

NO

NO

上述表中,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++不为原子的,我们看个示例:

public class Test {

    private volatile  int count;

    public void increCount(){

        count++;
    }

    public void setCount(int count ){

        this.count=count;
    }

}

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

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

    public void increCount(){

//        count++;
        int tmp =getCount();
        tmp=tmp+1;
        setCount(tmp);
    }

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

 

volatile 应用原则

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

  • 对变量的写操作不依赖于当前值。
  • 该变量没有包含在具有其他变量的不变式中。


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

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

 

应用示例

 

1、赋值操作

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

 

2、线程取消

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

public class  CancleThread implements Runnable{

    private volatile  boolean cancle = false;

    public void shutdown(){

        this.cancle=true;
    }

   

    public void run() {

        while (!cancle){

            //.....doSomeThing
        }

    }

}

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

 

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

 

-----------------------------------------------------------------------------

想看更多有趣原创的技术文章,扫描关注公众号。

关注个人成长和游戏研发,推动国内游戏社区的成长与进步。

© 著作权归作者所有

共有 人打赏支持
wier
粉丝 718
博文 49
码字总数 131483
作品 0
东城
技术主管
加载中

评论(11)

Raphael_goh
Raphael_goh
如果没记错的话,volatile的本质是CPU指令集,而jvm只是对他的简单封装
wier
wier

引用来自“shikeaiDev”的评论

这种文章短小容易理解,才是给人看的。
某些文章比我XX长,而且言辞含糊,适得其反。
谢谢支持
wier
wier

引用来自“走跑”的评论

volatile只能保证内存可见性 不能保证同步吧
同步牵扯的面比较大,这个不好界定
走跑
走跑
volatile只能保证内存可见性 不能保证同步吧
shikeaiDev
shikeaiDev
这种文章短小容易理解,才是给人看的。
某些文章比我XX长,而且言辞含糊,适得其反。
wier
wier

引用来自“ANDREW_CO”的评论

"Volatile 变量法则:对 Volatile 域的写入操作 happens-before 于每个后续对同一 Volatile 的读操作。"->"第一种情况"->"2、基于volatile原则。2 happens-before 3; " 难道不应该是:2 happens-before 4?
感谢指正,变量赋值顺序写错了,已经改正了,在read方面里面,b应先赋值才会 出现,2 happens-before 3
ANDREW_CO
ANDREW_CO
"Volatile 变量法则:对 Volatile 域的写入操作 happens-before 于每个后续对同一 Volatile 的读操作。"->"第一种情况"->"2、基于volatile原则。2 happens-before 3; " 难道不应该是:2 happens-before 4?
wier
wier

引用来自“12叔”的评论

正好我也在写类似的文章 :smile:
一起学习
wier
wier

引用来自“沈嘉庆”的评论

在每个volatile读操作的后面插入一个LoadLoad屏障。
在每个volatile读操作的后面插入一个LoadStore屏障。
已更正,感谢指正
沈嘉庆
在每个volatile读操作的后面插入一个LoadLoad屏障。
在每个volatile读操作的后面插入一个LoadStore屏障。
Java 使用 happen-before 规则实现共享变量的同步操作

前言 熟悉 Java 并发编程的都知道,JMM(Java 内存模型) 中的 happen-before(简称 hb)规则,该规则定义了 Java 多线程操作的有序性和可见性,防止了编译器重排序对程序结果的影响。按照官方的...

stateIs0
01/20
0
0
【转】15个顶级Java多线程面试题及回答

Java 线程面试问题   在任何Java面试当中多线程和并发方面的问题都是必不可少的一部分。如果你想获得任何股票投资银行的前台资讯职位,那么你应该准备很多关于多线程的问题。在投资银行业务...

一只死笨死笨的猪
2014/09/30
0
0
15个顶级Java多线程面试题及回答

Java 线程面试问题 在任何Java面试当中多线程和并发方面的问题都是必不可少的一部分。如果你想获得任何股票投资银行的前台资讯职位,那么你应该准备很多关于多线程的问题。在投资银行业务中多...

LCZ777
2014/05/27
0
0
Java面试需要准备哪些多线程并发的技术要点

一、概念 什么是线程 一个线程要执行任务,必须得有线程 一个进程(程序)的所有任务都在线程中执行的 一个线程执行任务是串行的,也就是说一个线程,同一时间内,只能执行一个任务 多线程原理 同一...

码蚁说架构
05/31
0
0
Java并发(2)- 聊聊happens-before

引言 上一篇文章聊到了Java内存模型,在其中我们说JMM是建立在happens-before(先行发生)原则之上的。 为什么这么说呢?因为在Java程序的执行过程中,编译器和处理器对我们所写的代码进行了...

knock_小新
07/19
0
0
Java的多线程机制系列:(四)不得不提的volatile及指令重排序(happen-before)

一、不得不提的volatile volatile是个很老的关键字,几乎伴随着JDK的诞生而诞生,我们都知道这个关键字,但又不太清楚什么时候会使用它;我们在JDK及开源框架中随处可见这个关键字,但并发专...

张升强
2014/04/14
0
5
轻量级的同步机制——volatile语义详解(可见性保证+禁止指令重排)

1.关于volatile volatile是java语言中的关键字,用来修饰会被多线程访问的共享变量,是JVM提供的轻量级的同步机制,相比同步代码块或者重入锁有更好的性能。它主要有两重语义,一是保证多个线程...

takumiCX
07/12
0
0
Java虚拟机--内存模型与线程

Java虚拟机--内存模型与线程 高速缓存:处理器要与内存交互,如读取、存储运算结果,而计算机的存储设备和处理器的运算速度差异巨大,所以加入一层读写速度和处理器接近的高速缓存来作为内存...

sunhaiyu
06/20
0
0
关于Java里面多线程同步的一些知识

# 关于Java里面多线程同步的一些知识 对于任何Java开发者来说多线程和同步是一个非常重要的话题。比较好的掌握同步和线程安全相关的知识将使得我们则更加有优势,同时这些知识并不是非常容易...

欧阳海阳
07/13
0
0
再有人问你Java内存模型是什么,就把这篇文章发给他。

前几天,发了一篇文章,介绍了一下JVM内存结构、Java内存模型以及Java对象模型之间的区别。有很多小伙伴反馈希望可以深入的讲解下每个知识点。Java内存模型,是这三个知识点当中最晦涩难懂的...

Java架构
07/11
0
0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

SpringBoot | 第十章:Swagger2的集成和使用

前言 前一章节介绍了mybatisPlus的集成和简单使用,本章节开始接着上一章节的用户表,进行Swagger2的集成。现在都奉行前后端分离开发和微服务大行其道,分微服务及前后端分离后,前后端开发的...

oKong
今天
9
0
Python 最小二乘法 拟合 二次曲线

Python 二次拟合 随机生成数据,并且加上噪声干扰 构造需要拟合的函数形式,使用最小二乘法进行拟合 输出拟合后的参数 将拟合后的函数与原始数据绘图后进行对比 import numpy as npimport...

阿豪boy
今天
4
0
云拿 无人便利店

附近(上海市-航南路)开了家无人便利店.特意进去体验了一下.下面把自己看到的跟大家分享下. 经得现场工作人员同意后拍了几张照片.从外面看是这样.店门口的指导里强调:不要一次扫码多个人进入....

周翔
昨天
1
0
Java设计模式学习之工厂模式

在Java(或者叫做面向对象语言)的世界中,工厂模式被广泛应用于项目中,也许你并没有听说过,不过也许你已经在使用了。 简单来说,工厂模式的出现源于增加程序序的可扩展性,降低耦合度。之...

路小磊
昨天
175
1
npm profile 新功能介绍

转载地址 npm profile 新功能介绍 npm新版本新推来一个功能,npm profile,这个可以更改自己简介信息的命令,以后可以不用去登录网站来修改自己的简介了 具体的这个功能的支持大概是在6这个版...

durban
昨天
1
0
Serial2Ethernet Bi-redirection

Serial Tool Serial Tool is a utility for developing serial communications, custom protocols or device testing. You can set up bytes to send accordingly to your protocol and save......

zungyiu
昨天
1
0
python里求解物理学上的双弹簧质能系统

物理的模型如下: 在这个系统里有两个物体,它们的质量分别是m1和m2,被两个弹簧连接在一起,伸缩系统为k1和k2,左端固定。假定没有外力时,两个弹簧的长度为L1和L2。 由于两物体有重力,那么...

wangxuwei
昨天
0
0
apolloxlua 介绍

##项目介绍 apolloxlua 目前支持javascript到lua的翻译。可以在openresty和luajit里使用。这个工具分为两种模式, 一种是web模式,可以通过网页使用。另外一种是tool模式, 通常作为大规模翻...

钟元OSS
昨天
2
0
Mybatis入门

简介: 定义:Mybatis是一个支持普通SQL查询、存储过程和高级映射的持久层框架。 途径:MyBatis通过XML文件或者注解的形式配置映射,实现数据库查询。 特性:动态SQL语句。 文件结构:Mybat...

霍淇滨
昨天
2
0
开发技术瓶颈期,如何突破

前言 读书、学习的那些事情,以前我也陆续叨叨了不少,但总觉得 “学习方法” 就是一个永远在路上的话题。个人的能力、经验积累与习惯方法不尽相同,而且一篇文章甚至一本书都很难将学习方法...

_小迷糊
昨天
1
0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

返回顶部
顶部