详细分析java并发之volatile关键字

Java面试中经常会涉及关于volatile的问题。本文梳理下volatile关键知识点。

volatile字意为“易失性”，在Java中用做修饰对象变量。它不是Java特有，在C，C++，C#等编程语言也存在，只是在其它编程语言中使用有所差异，但总体语义一致。比如使用volatile 能阻止编译器对变量的读写优化。简单说，如果一个变量被修饰为volatile，相当于告诉系统说我容易变化，编译器你不要随便优化（重排序，缓存）我。

Happens-before

规范上，Java内存模型遵行happens-before。

volatile变量在多线程中，写线程和读线程具有happens-before关系。也就是写值的线程要在读取线程之前，并且读线程能完全看见写线程的相关变量。

happens-before：如果两个有两个动作AB，A发生在B之前，那么A的顺序应该在B前面并且A的操作对B完全可见。

happens-before 具有传递性，如果A发生在B之前，而B发生在C之前，那么A发生在C之前。

如何保证可见性

多线程环境下counter变量的更新过程。线程1先从主存拷贝副本到CPU缓存，然后CPU执行counter=7，修改完后写入CPU缓存，等待时机同步到主存。在线程1同步主存前，线程2读到counter值依然为0。此时已经发生内存一致性错误（对于相同的共享数据，多线程读到视图不一致）。因为线程2看不见线程1操作结果，也将这个问题称为可见性问题。

public class SharedObject {
  public int counter = 0;
}

因为多了缓存优化导致，导致可见性问题。所以volatile通过消除缓存（描述可能不太准确）来避免。例如当使用volatile修饰变量后，操作该变量读写直接与主存交互，跳过缓存层，保证其它读线程每次获取的都是最新值。

public volatile int counter = 0;

volatile 不单只消除修饰的变量的缓存。事实上与之相关的变量在读写时也会消除缓存，如同使用了volatile一样。

如下 years，months，days 三个变量中只有days是volatile，但是对years，months读写操作也和days时也会跳过缓存，其它线程每次读到的都是最新值。

public class MyClass {
  private int years;
  private int months
  private volatile int days;
  public int totalDays() {
    int total = this.days;
    total += months * 30;
    total += years * 365;
    return total;
  }
  public void update(int years, int months, int days){
    this.years = years;
    this.months = months;
    this.days  = days;
  }
}

这是为什么？我们分析一下。

一个写线程调用 update，读线程调用totalDays。单线程中，对于update方法，wa与wb存在happens-before关系， wa在 wb 之前执行并对wb可见。

多线程中rc与wb存在happens-before关系，wb在rc之前执行并对rc可见。根据 happens-before传递性，wa需要在rc前先执行并对rc可见。

因为wb是volatile变量，所以rc获取的years，months也是最新值。

我们知道出于性能原因，JVM和CPU会对程序中的指令进行重新排序。如果update方法里面wa和wb顺序被重排，那它们的happens-before关系将不在成立。

为了避免这个问题，volatile对重排序做了保证 对于发生在volatile变量操作前的其他变量的操作不能重新排序。

由此我们得到volatile通过消除缓存和防止重排保证线程的可见性。

volatile保证线程安全？

讨论线程安全，大家都会提及原子性，顺序性，可见性。volatile侧重于保证可见性，也就是当写的线程更新后，读线程总能获得最新值。在只有一个线程写，多个线程读的场景下，volatile能满足线程安全。可如果多个线程同时写入volatile变量时，则需要引入同步语义才能保证线程安全。

模拟10个线程同时写入volatile变量，一个线程读counter，执行完后正确结果应该是counter=10。

  public static class WriterTask implements Runnable {
    private final ShareObject share;
    private final CountDownLatch countDownLatch;
    public WriterTask(ShareObject share, CountDownLatch countDownLatch) {
      this.share = share;
      this.countDownLatch = countDownLatch;
    }
    @Override
    public void run() {
      countDownLatch.countDown();
      share.increase();
    }
  }

  public class ShareObject {
    private volatile int counter;
    public void increase() {
      this.counter++;
    }
  }

执行结果出现counter=5或6 错误结果。

通过 synchronized，Lock或AtomicInteger 原子变量保证了结果的正确。

完整demo https://gist.github.com/onlythinking/ba7ca7aa5faf00a58f4cedae474fa6f6

volatile性能

volatile变量带来可见性的保证，访问volatile变量还防止了指令重排序。不过这一切是以牺牲优化（消除缓存，直接操作主存开销增加）为代价，所以不应该滥用volatile，仅在确实需要增强变量可见性的时候使用。

总结

本文记录了volatile变量通过消除缓存，防止指令重排序来保证线程可见性，并且在多线程写入的变量的场景下，不保证线程安全。

欢迎大家留言交流，一起学习分享！！！

以上就是详细分析java并发之volatile关键字的详细内容，更多关于JAVA volatile关键字的资料请关注我们其它相关文章！

赞 (0)

相关推荐

  • Java Volatile关键字同步机制详解

    Volatile关键字--最轻量级的同步机制1.保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是立即可见的.(实现可见性) 例如:如果一个oldvalue -->修改为newvalue ,这时的newvalue可以被其他的线程看到. 2.volatile不是线程安全的,只能保证对单次读/写的原子性.i++ 这种操作不能保证原子性.(不能保证原子性)最常使用场景:一写多读代码演示Volatile的可见性 public class VolatileCa

  • Java并发编程：volatile关键字详细解析

    Java并发编程：volatile关键字详细解析

    volatile这个关键字可能很多朋友都听说过,或许也都用过.在Java 5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果.在Java 5之后,volatile关键字才得以重获生机. volatile关键字虽然从字面上理解起来比较简单,但是要用好不是一件容易的事情.由于volatile关键字是与Java的内存模型有关的,因此在讲述volatile关键之前,我们先来了解一下与内存模型相关的概念和知识,然后分析了volatile关键字的实现原理,最后给出了几个使用vola

  • 深入了解Java中Volatile关键字

    一.基本概念 先补充一下概念:Java 内存模型中的可见性.原子性和有序性. 可见性: 可见性是一种复杂的属性,因为可见性中的错误总是会违背我们的直觉.通常,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情.为了确保多个线程之间对内存写入操作的可见性,必须使用同步机制. 可见性,是指线程之间的可见性,一个线程修改的状态对另一个线程是可见的.也就是一个线程修改的结果.另一个线程马上就能看到.比如:用volatile修饰的变量,就会具有可见性.volatile修饰

  • Java多线程并发编程 Volatile关键字

    volatile 关键字是一个神秘的关键字,也许在 J2EE 上的 JAVA 程序员会了解多一点,但在 Android 上的 JAVA 程序员大多不了解这个关键字.只要稍了解不当就好容易导致一些并发上的错误发生,例如好多人把 volatile 理解成变量的锁.(并不是) volatile 的特性: 具备可见性 保证不同线程对被 volatile 修饰的变量的可见性. 有一被 volatile 修饰的变量 i,在一个线程中修改了此变量 i,对于其他线程来说 i 的修改是立即可见的. 如: vola

  • Java并发教程之volatile关键字详解

    Java并发教程之volatile关键字详解

    引言 说到多线程,我觉得我们最重要的是要理解一个临界区概念. 举个例子,一个班上1个女孩子(临界区),49个男孩子(线程),男孩子的目标就是这一个女孩子,就是会有竞争关系(线程安全问题).推广到实际场景,例如对一个数相加或者相减等等情形,因为操作对象就只有一个,在多线程环境下,就会产生线程安全问题.理解临界区概念,我们对多线程问题可以有一个好意识. Jav内存模型(JMM) 谈到多线程就应该了解一下Java内存模型(JMM)的抽象示意图.下图: 线程A和线程B执行的是时候,会去读取共享变量(临界

  • 详细分析java并发之volatile关键字

    Java面试中经常会涉及关于volatile的问题.本文梳理下volatile关键知识点. volatile字意为"易失性",在Java中用做修饰对象变量.它不是Java特有,在C,C++,C#等编程语言也存在,只是在其它编程语言中使用有所差异,但总体语义一致.比如使用volatile 能阻止编译器对变量的读写优化.简单说,如果一个变量被修饰为volatile,相当于告诉系统说我容易变化,编译器你不要随便优化(重排序,缓存)我. Happens-before 规范上,Java内存模型遵

  • Java并发编程volatile关键字的作用

    日常编程中出现 volatile 关键字的频率并不高,大家可能对 volatile 关键字比较陌生,再深入一点也许是听闻 volatile 只能保证可见性而不能保证原子性,无法有效保证线程安全,于是更加避免使用 volatile ,简简单单加上synchronize关键字就完事了.本文稍微深入探讨 volatile 关键字,分析其作用及对应的使用场景. 并发编程的几个概念简述 首先简单介绍几个与并发编程相关的概念: 可见性 可见性是指变量在线程之间是否可见,JVM 中默认情况下线程之间不具备可见

  • 详细分析Java内存模型

    详细分析Java内存模型

    目录 一.为什么要学习并发编程 二.为什么需要并发编程 三.从物理机中得到启发 四.Java 内存模型 五.原子性 5.1.什么是原子性 5.2.如何保证原子性 六.可见性 6.1.什么是可见性 6.2.如何保证可见性 七.有序性 7.1.什么是有序性 7.2.如何保证有序性 一.为什么要学习并发编程 对于 "我们为什么要学习并发编程?" 这个问题,就好比 "我们为什么要学习政治?" 一样,我们(至少作为学生党是这样)平常很少接触到,然后背了一堆 "正确且

  • 深入理解Java中的volatile关键字（总结篇）

    基本概念 -------------------------------------------------------------------------------- 先补充一下概念:Java 内存模型中的可见性.原子性和有序性. 可见性: 可见性是一种复杂的属性,因为可见性中的错误总是会违背我们的直觉.通常,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情.为了确保多个线程之间对内存写入操作的可见性,必须使用同步机制. 可见性,是指线程之间的可见性,一个

  • 详细分析Java Lambda表达式

    在了解Lambda表达式之前我们先来区分一下面向对象的思想和函数式编程思想的区别 面向对象的思想: 做一件事情,找一个能解决这个事情的对象,调用他的方法来解决 函数时编程思想: 只要能获取到结果,谁去做的都不重要,重视的是结果,不重视过程 使用Lambda表达式的目的是为了简化我们的代码 匿名内部类虽然也简化了我们的代码,但是Lambda比他更简单,而且语法也更加少 下面我用一段代码来演示一下二者的区别 public class Main { public static void main(St

  • Java并发编程——volatile关键字

    一.volatile是什么 volatile是Java并发编程中重要的一个关键字,被比喻为"轻量级的synchronized",与synchronized不同的是,volatile只能修饰变量,无法修饰方法及代码块等. 下面是使用volatile关键字实现的单例模式: public class Singleton implements Serializable { private static volatile Singleton singleton; private Singleto

  • 详细分析JAVA 线程池

    系统启动一个新线程的成本是比较高的,因为它涉及与操作系统交互.在这种情形下,使用线程池可以很好地提高性能,尤其是当程序中需要创建大量生存期很短暂的线程时,更应该考虑使用线程池. 与数据库连接池类似的是,线程池在系统启动时即创建大量空闲的线程,程序将一个 Runnable 对象或 Callable 对象传给线程池,线程池就会启动一个线程来执行它们的 run() 或 call() 方法,当 run() 或 call() 方法执行结束后,该线程并不会死亡,而是再次返回线程池成为空闲状态,等待执行下一个

  • 详细分析java 动态代理

    1.动态代理的特点: 字节码随用随创建,随用随加载 2.作用: 不修改源码的基础上对源码进行加强 3.分类: (1)基于接口的动态代理: 涉及到的类:Proxy,由JDK官方提供,使用Proxy类中的newProxyInstance方法创建对象.创建代理对象时要求被代理对象至少实现一个接口,否则无法使用 参数: ClassLoader:类加载器,他是用于加载对象字节码的,和被代理对象使用相同的类加载器,为固定写法 class[]:字节码数组,他是用于让代理对象和被代理对象具有相同的方法,也是固定

  • 详细分析JAVA加解密算法

    加解密算法分析 日常开发中,无论你是使用什么语言,都应该遇到过使用加解密的使用场景,比如接口数据需要加密传给前端保证数据传输的安全:HTTPS使用证书的方式首先进行非对称加密,将客户端的私匙传递给服务端,然后双方后面的通信都使用该私匙进行对称加密传输:使用MD5进行文件一致性校验,等等很多的场景都使用到了加解密技术. 很多时候我们对于什么时候要使用什么样的加解密方式是很懵的.因为可用的加解密方案实在是太多,大家对加解密技术的类型可能不是很清楚,今天这篇文章就来梳理一下目前主流的加解密技术,本篇文

  • 详细分析Java 泛型的使用

    一.泛型的简介 1.为什么要使用泛型? 一般使用在集合上,比如现在把一个字符串类型的值放入到集合里面,这个时候,这个值放到集合之后,失去本身的类型,只能是object类型.这时,如果想要对这个值进行类型转换,很容易出现类型转换错误,怎么解决这个问题,可以使用泛型来解决. 2.在泛型里面写是一个对象,String 不能写基本的数据类型 比如int,要写基本的数据类型对应的包装类 基本数据类型 对应包装类 基本数据类型 对应包装类 byte Byte short Short int Integer

随机推荐