详解Java高阶语法Volatile

背景:听说Volatile Java高阶语法亦是挺进BAT的必经之路。

Volatile:

volatile同步机制又涉及Java内存模型中的可见性、原子性和有序性,恶补基础一波。

可见性:

可见性简单的说是线程之间的可见性,一个线程修改的状态对另一个线程是可见对,也就是一个线程的修改结果另一个线程可以马上看到;但通常,我们无法确保执行读操作的线程能够时时的看到其他线程写入的值,So为了确保多个线程之间对内存写入操作可见性,必须使用同步机制;如用volatile修饰的变量就具有可见性,volatile修饰的变量不允许线程内部缓存和重排序,而是直接修改内存,所以对其他线程来说是可见的;但volatile只能保证被修饰的内容具有可见性,并不具备原子性,如volatile int vipNumber = 100,之后有一个vipNumber++ 的操作,这个变量vipNumber具有可见性,但是vipNumber++ 依然是一个非原子操作,也就是说这个操作同样存在线程安全问题。

原子性:

原子具有不可分割的特性,如int age = 22,这个操作是不可分割的,那么称其为原子操作,具有原子性;再比如age++,这个操作实际是age = age + 1,其是可分割的,So它不是一个原子操作;而非原子操作都会存在线程安全问题,需要我们使用同步技术(synchronized)来让它变成一个原子操作;Java的concurrent包下提供了一些原子类,如:AtomicLongMap、AtomicDouble、AtomicReference 等;在Java中用synchronized、lock和unlock来保证原子性。

有序性:

Java语言提供了volatile和synchronized两个关键字来保证线程之间操作的有序性,volatile是因为本身包含“禁止指令重排序”的语义,synchronized是由“一个变量在同一时刻只允许一条线程对其进行lock操作”这条规则获得有序性的,此规则决定了持有同一个对象锁的两个同步块只能串行执行。

Volatile原理:

volatile是一种稍弱的同步机制,其用来确保将变量的更新操作通知到其他线程;当变量声明为volatile类型后,编译器与JVM运行时都会注意到这个变量时共享的,因此不会将此变量上的操作与其他操作一起重排序;volatile修饰后变量不会缓存在寄存器或者对其他处理器不可见的地方,因此在单曲volatile类型的变量时总会返回最新写入的值;除此之外,在访问volatile变量时不会执行加锁操作,也就不会执行线程阻塞,因此volatile变量是一种比synchronized关键字更轻量级的同步机制;当对非volatile变量进行读写时,每个线程从内存拷贝变量到CPU缓存中,如果计算机有多个CPU则每个线程可能在不同的CPU上被处理,这就意味着每个线程都可以拷贝到不同的CPU缓存cache中,而不是像volatile变量那样直接读内存,JVM保证其每次读变量都从内存中读,跳过了CPU cache这一步骤。

当一个变量定义为volatile之后,其具备的两种特征:

1、保证此变量对所有的线程的可见性;当一个线程修改了此变量的值,volatle保证新值能够立即同步到主内存,以及每次使用前立即从主每次刷新;

2、禁止指令重排序优化;被volatile修饰的变量赋值后多执行了一个“load”操作,此操作相当于一个内存屏障(指令重排序时不能把后面的指令重排序到内存屏障之前到位置),只有一个CPU访问内存时,不需要内存屏障;(指令重排序:指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理)

另外:在性能方面,volatile的读操作性能消耗与普通变量基本无异,但是写操作稍慢,因为它需要在本地代码中插入许多内存屏障来保证处理器不发生乱序执行。

这里撸了一个例子用volatile保证线程间的同步,如果变量author不经volatile修饰,线程2中对author的值做了修改并未同步到线程1中,其一直存在缓存中。

FYI:

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class TestVolatile {
 //private volatile String author = "tjt"; // volatile修饰author保证两个线程到可见性,即不存在缓存cache中
 private String author = "tjt"; // 不用volatile修饰变量author则author修改值后在线程之间并不可见
 private boolean enable = false;
 public static void main(String[] args) throws Exception {
  TestVolatile testVolatile = new TestVolatile();
  log.info("原始定义的author: "+testVolatile.author);
  Thread thread = new Thread( new Runnable() {
   @Override
   public void run() {
    testVolatile.testMethodOne();
   }
  });
  thread.start();
  thread.sleep(2000l);
  testVolatile.testMethodTwo();
 }
 public void testMethodOne() {
  while(true) {
   if ("detect_tjt".equals(author) && enable == false) {
    log.info("线程testMethodOne中检测到来author修改为: "+author);
    enable = true;
    System.exit(0);
   }
  }  }
 public void testMethodTwo() {
  author = "detect_tjt";
  log.info("线程testMethodTwo中把author修改为: "+author);
 }
}

用volatile修饰author执行结果:
- 原始定义的author: tjt
- 线程testMethodTwo中把author修改为: detect_tjt
- 线程testMethodOne中检测到来author修改为: detect_tjt
无volatile修饰author执行结果:

- 原始定义的author: tjt
- 线程testMethodTwo中把author修改为: detect_tjt

以上所述是小编给大家介绍的Java高阶语法Volatile详解整合,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对我们网站的支持!

(0)

相关推荐

  • 深入理解Java中的volatile关键字(总结篇)

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

  • Java开发中的volatile你必须要了解一下

    前言 上一篇文章说了 CAS 原理,其中说到了 Atomic* 类,他们实现原子操作的机制就依靠了 volatile 的内存可见性特性.如果还不了解 CAS 和 Atomic*,建议看一下我们说的 CAS 自旋锁是什么 并发的三个特性 首先说我们如果要使用 volatile 了,那肯定是在多线程并发的环境下.我们常说的并发场景下有三个重要特性:原子性.可见性.有序性.只有在满足了这三个特性,才能保证并发程序正确执行,否则就会出现各种各样的问题. 原子性,上篇文章说到的 CAS 和 Atomic*

  • 详解Java面试官最爱问的volatile关键字

    本文向大家分享的主要内容是Java面试中一个常见的知识点:volatile关键字.本文详细介绍了volatile关键字的方方面面,希望大家在阅读过本文之后,能完美解决volatile关键字的相关问题.  在Java相关的岗位面试中,很多面试官都喜欢考察面试者对Java并发的了解程度,而以volatile关键字作为一个小的切入点,往往可以一问到底,把Java内存模型(JMM),Java并发编程的一些特性都牵扯出来,深入地话还可以考察JVM底层实现以及操作系统的相关知识. 下面我们以一次假想的面试过

  • Java中的关键字volatile详解

    volatile关键字经常用来修饰变量.不过,volatile本身很容易被误用.本篇就介绍一下volatile的原理和使用方式. 在介绍volatile关键字原理前,我们首先要了解JVM运行时的内存分配逻辑. 对于成员变量i,它存储在堆内存中.每个线程在运行时都会有一个自己的线程栈,线程如果要访问类的成员变量i,会通过引用获取到堆中变量i实际的值10,然后把这个变量值拷贝到自己的栈内存中,作为一个变量副本,之后线程便不再会与堆中的变量有实际联系.每个线程都有一个自己的本地副本,相互隔离.线程访问

  • Java中volatile关键字实现原理

    前言 我们知道volatile关键字的作用是保证变量在多线程之间的可见性,它是java.util.concurrent包的核心,没有volatile就没有这么多的并发类给我们使用. 本文详细解读一下volatile关键字如何保证变量在多线程之间的可见性,在此之前,有必要讲解一下CPU缓存的相关知识,掌握这部分知识一定会让我们更好地理解volatile的原理,从而更好.更正确地地使用volatile关键字. CPU缓存 CPU缓存的出现主要是为了解决CPU运算速度与内存读写速度不匹配的矛盾,因为C

  • Java中Volatile关键字详解及代码示例

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

  • 详解Java高阶语法Volatile

    背景:听说Volatile Java高阶语法亦是挺进BAT的必经之路. Volatile: volatile同步机制又涉及Java内存模型中的可见性.原子性和有序性,恶补基础一波. 可见性: 可见性简单的说是线程之间的可见性,一个线程修改的状态对另一个线程是可见对,也就是一个线程的修改结果另一个线程可以马上看到:但通常,我们无法确保执行读操作的线程能够时时的看到其他线程写入的值,So为了确保多个线程之间对内存写入操作可见性,必须使用同步机制:如用volatile修饰的变量就具有可见性,volat

  • 详解Kotlin 高阶函数 与 Lambda 表达式

    详解Kotlin 高阶函数 与 Lambda 表达式 高阶函数(higher-order function)是一种特殊的函数, 它接受函数作为参数, 或者返回一个函数. 这种函数的一个很好的例子就是 lock() 函数, 它的参数是一个锁对象(lock object), 以及另一个函数, 它首先获取锁, 运行对象函数, 然后再释放锁: fun <T> lock(lock: Lock, body: () -> T): T { lock.lock() try { return body()

  • 详解Java高并发编程之AtomicReference

    目录 一.AtomicReference 基本使用 1.1.使用 synchronized 保证线程安全性 二.了解 AtomicReference 2.1.使用 AtomicReference 保证线程安全性 2.2.AtomicReference 源码解析 2.2.1.get and set 2.2.2.lazySet 方法 2.2.3.getAndSet 方法 2.2.4.compareAndSet 方法 2.2.5.weakCompareAndSet 方法 一.AtomicReferen

  • 详解Python高阶函数

    本文要点 1.什么是高阶函数 2.python中有哪些常用的高阶函数 什么是高阶函数? 在了解什么是高阶函数之前,我们来看几个小例子.我们都知道在 python 中一切皆对象,函数也不例外.比如求绝对值函数 abs,我们可以用一个变量 f 指向 abs 函数,那么当调用 f() 的时候可以得到和 abs() 一样的效果,这说明变量可以指向函数! 同理我们将 abs 指向另一个函数 abs = len,那么 abs 将不再是求绝对值的函数了,abs指向的是求长度的 len 函数.这说明函数名其实就

  • 详解JavaScript 高阶函数

    高阶函数简介 高阶函数 的英文名叫 Higher-Order Function ,是 函数式编程 中的一种.他的表现形式往往是通过把函数作为参数传入另一个函数,或者将函数作为另一个函数的返回值返回.在实际开发业务中, 高阶函数往往可以抽象我们的代码 ,将我们的命令式编程转换为复用性更高级的函数式编程,从而 提升我们的代码质量 . 下面拿3个面试中常问的高阶函数举例子,希望看完以后能够提升大家对JS的理解,提高我们的代码质量. chat is cheap,show you my code~ Arr

  • 详解JAVA高质量代码之数组与集合

    1.性能考虑,优先选择数组 数组在项目开发当中使用的频率是越来越少,特别是在业务为主的开发当中,首先数组没有List,Set等集合提供的诸多方法,查找增加算法都要自己编写,极其繁琐麻烦,但由于List,Set等集合使用泛型支持后,存放的都为包装类,而数组是可以使用基本数据类型,而使用基本数据类型的执行运算速度要比包装类型快得多,而且集合类的底层也是通过数组进行实现. 2.若有必要,使用变长数组 在学习集合类当中,很多人喜欢将数组的定长拿来和集合类型的自变长来做比较,但其实这种比较并不合适,通过观

  • 详解java如何正确使用volatile

    volatile关键字在java多线程中有着比较重要作用,volatile主要作用是可以保持变量在多线程中是实时可见的,是java中提供的最轻量的同步机制. 可见性 在Java的内存模型中所有的的变量(这里的变量是类全局变量,并不是局部变量,局部变量在方法内并没有线程安全的问题,因为变量随方法调用完成而销毁)都是存放在主内存中的,而每个线程有自己的工作内存,每次线程执行时,会从主内存获取变量的拷贝,对变量的操作都在线程的工作内存中进行,不同线程之间也不能共享工作内存,只能从主内存读取变量的拷贝.

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

    目录 1.volatile是什么? 2.并发编程的三大特性 3.什么是指令重排序? 4.volatile有什么作用? 5.volatile可以保证原子性? 6.volatile 和 synchronized对比 总结 1.volatile是什么? 首先简单说一下,volatile是什么?volatile是Java中的一个关键字,也是一种同步机制.volatile为了保证变量的可见性,通过volatile修饰的变量具有共享性.修改了volatile修饰的变量,其它线程是可以读取到最新的值的 2.并

  • 详解Java并发编程基础之volatile

    目录 一.volatile的定义和实现原理 1.Java并发模型采用的方式 2.volatile的定义 3.volatile的底层实现原理 二.volatile的内存语义 1.volatile的特性 2.volatile写-读建立的happens-before关系 3.volatile的写/读内存语义 三.volatile内存语义的实现 1.volatile重排序规则 2.内存屏障 3.内存屏障示例 四.volatile与死循环问题 五.volatile对于复合操作非原子性问题 一.volati

随机推荐