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

目录
  • 1、volatile是什么？
  • 2、并发编程的三大特性
  • 3、什么是指令重排序?
  • 4、volatile有什么作用？
  • 5、volatile可以保证原子性？
  • 6、volatile 和 synchronized对比
  • 总结

1、volatile是什么？

首先简单说一下，volatile是什么？volatile是Java中的一个关键字，也是一种同步机制。volatile为了保证变量的可见性，通过volatile修饰的变量具有共享性。修改了volatile修饰的变量，其它线程是可以读取到最新的值的

2、并发编程的三大特性

并发编程有三个重要特性：原子行、可见性、有序性

原子性：原子性是指一个或者多个操作，要么全部执行且执行过程不会被其它操作打断，要么全部不执行。

可见性：可见性是指共享变量对于多个线程都是可见的，也即一个线程修改了变量，其它线程马上就能知道

有序性：有序性是指程序的执行顺序按照代码的先后顺便执行

3、什么是指令重排序?

假如我们写一个程序，我们会期待这些语句的实际执行顺便和代码的顺序是一致的，大部分情况是一致的，但实际上，编译器、JVM 或者 CPU 都有可能出于优化等目的，对执行的顺序进行调整，这个就是指令重排序

重排序的好处：提高处理速度

代码顺序如图：

指令重排后，a=100; a= a+100会提到一起执行，效率提高

上面的例子，是可以提高执行效率，但是有时候指令重排是会导致问题的，如下代码例子，代码顺序是先初始化content，然后设置标识为true，线程B检测到为true之后，调用content的方法

如果指令重排后，这种情况就会出现没初始化完成，就直接调用conten的方法

所以，指令重排有好处也有坏处，一般可能是cpu、编译器或者是内存会进行指令重排，为了避免指令重排，保证并发编程的有序性，有时候需要使用synchronized或者volatile等等方式避免。volatile可以避免指令重排，保证并发编程的有序性，依赖于操作系统的内存屏障

4、volatile有什么作用？

从前面的学习也可以指定，volatile关键字是可以保证并发编程的有序性和可见性的

保证可见性

volatile保证可见性：

使用volatile变量时，必须重新从主内存加载到工作内存修改volatile变量后，必须马上同步回主内存

可见性涉及到Java内存模型，详细可以参考我上篇博客:链接

java内存模型(JMM)结构图，每个Java线程都有自己的工作内存，volatile修饰的变量，修改后，会自动同步到主内存；每个线程读取时都会从主内存先读取到工作内存的副本

注意：volatile只能保证变量的可见性，对于一个Java对象是不能保证的，要去对象具体的属性设置volatile

保证有序性

对于并发编程的有序性问题，前面已经做了比较详细的描述，主要是cpu、jvm、内存都会对代码执行顺序进行指令重排序，加上volatile可以保证有序性，避免指令重排，依赖于操作系统的内存屏障 

5、volatile可以保证原子性？

volatitle只能保证单个变量的原子性，不能保证一系列操作的原子操作的，所以volatile是线程不安全的，不具有原子性

6、volatile 和 synchronized对比

volatile不可以保证线程安全，synchronized可以保证线程安全volatile是轻量的，而且是没有锁机制的，性能比synchronized好volatile不具有原子性，synchronized可以保证原子性

总结

本篇文章就到这里了，希望能够给你带来帮助，也希望您能够多多关注我们的更多内容!

赞 (0)

相关推荐

  • Java并发编程之关键字volatile知识总结

    Java并发编程之关键字volatile知识总结

    一.作用 被 volatile 修饰的变量 1.保证了不同线程对该变量操作的内存可见性 2.禁止指令重排序 二.可见性 Java 内存模型(Java Memory Model) 是 Java 虚拟机定义的一种规范,即每个线程都有自己的工作空间,线程对变量的操作都在线程的工作内存中完成,再同步到主存中,这样可能会导致不同的线程对共享变量的操作,在各自线程工作空间内不一样的问题. 而用 volatile 修饰的变量,线程对该变量的修改,会立刻刷新到主存,其它线程读取该变量时,会重新去主存读取新值.

  • Java并发编程之关键字volatile的深入解析

    Java并发编程之关键字volatile的深入解析

    目录 前言 一.可见性 二.有序性 总结 前言 volatile是研究Java并发编程绕不过去的一个关键字,先说结论: volatile的作用: 1.保证被修饰变量的可见性 2.保证程序一定程度上的有序性 3.不能保证原子性 下面,我们将从理论以及实际的案例来逐个解析上面的三个结论 一.可见性 什么是可见性? 举个例子,小明和小红去看电影,刚开始两个人都还没买电影票,小红就先去买了两张电影票,没有告诉小明.小明以为小红没买,所以也去买了两张电影票,因为他们只有两个人,所以他们只能用两张票,这就是

  • Java并发编程之Volatile变量详解分析

    Java并发编程之Volatile变量详解分析

    目录 一.volatile变量的特性 1.1.保证可见性,不保证原子性 1.2.禁止指令重排 二.内存屏障 三.happens-before Volatile关键字是Java提供的一种轻量级的同步机制.Java 语言包含两种内在的同步机制:同步块(或方法)和 volatile 变量, 相比synchronized(synchronized通常称为重量级锁),volatile更轻量级,因为它不会引起线程上下文的切换和调度. 但是volatile 变量的同步性较差(有时它更简单并且开销更低),而且其

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

    详解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

  • 并发编程之Java内存模型volatile的内存语义

    并发编程之Java内存模型volatile的内存语义

    1.volatile的特性 理解volatile特性的一个好办法是把对volatile变量的单个读/写,看成是使用同一个锁对单个读/写操作做了同步. 代码示例: package com.lizba.p1; /** * <p> * volatile示例 * </p> * * @Author: Liziba * @Date: 2021/6/9 21:34 */ public class VolatileFeatureExample { /** 使用volatile声明64位的long型

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

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

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

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

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

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

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

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

  • Java并发编程之volatile与JMM多线程内存模型

    Java并发编程之volatile与JMM多线程内存模型

    目录 一.通过程序看现象 二.为什么会产生这种现象(JMM模型)? 三.MESI 缓存一致性协议 一.通过程序看现象 在开始为大家讲解Java 多线程缓存模型之前,我们先看下面的这一段代码.这段代码的逻辑很简单:主线程启动了两个子线程,一个线程1.一个线程2.线程1先执行,sleep睡眠2秒钟之后线程2执行.两个线程使用到了一个共享变量shareFlag,初始值为false.如果shareFlag一直等于false,线程1将一直处于死循环状态,所以我们在线程2中将shareFlag设置为true

  • Java并发编程之volatile变量介绍

    volatile提供了弱同步机制,用来确保将变量更新通知到其它线程.volatile变量不会被缓存在寄存器中或者对其它处理器不可见的地方,因此在读取volatile变量时总会返回最新写入的值.可以想象成如下语义,然而volatile是更轻量级的同步机制.volatile只能确保可见性,但不能保证原子性.也就是说不能在复合操作用volatile变量,比如i++. 复制代码 代码如下: public synchronized void setValue(int value){ this.value

  • 详解JUC并发编程之锁

    目录 1.自旋锁和自适应锁 2.轻量级锁和重量级锁 轻量级锁加锁过程 轻量级锁解锁过程 3.偏向锁 4.可重入锁和不可重入锁 5.悲观锁和乐观锁 6.公平锁和非公平锁 7.共享锁和独占锁 8.可中断锁和不可中断锁 总结: 当多个线程访问一个对象时,如果不用考虑这些线程在运行环境下的调度和交替执行,也不需要进行额外的同步,或者在调用方进行任何其他的协调操作,调用这个对象的行为都可以获得正确的结果,那么这个对象就是线程安全的.但是现实并不是这样子的,所以JVM实现了锁机制,今天就叭叭叭JAVA中各种

  • java并发编程之cas详解

    CAS(Compare and swap)比较和替换是设计并发算法时用到的一种技术.简单来说,比较和替换是使用一个期望值和一个变量的当前值进行比较,如果当前变量的值与我们期望的值相等,就使用一个新值替换当前变量的值.这听起来可能有一点复杂但是实际上你理解之后发现很简单,接下来,让我们跟深入的了解一下这项技术. CAS的使用场景 在程序和算法中一个经常出现的模式就是"check and act"模式.先检查后操作模式发生在代码中首先检查一个变量的值,然后再基于这个值做一些操作.下面是一个

  • Java并发编程之ConcurrentLinkedQueue源码详解

    Java并发编程之ConcurrentLinkedQueue源码详解

    一.ConcurrentLinkedQueue介绍 并编程中,一般需要用到安全的队列,如果要自己实现安全队列,可以使用2种方式: 方式1:加锁,这种实现方式就是我们常说的阻塞队列. 方式2:使用循环CAS算法实现,这种方式实现队列称之为非阻塞队列. 从点到面, 下面我们来看下非阻塞队列经典实现类:ConcurrentLinkedQueue (JDK1.8版) ConcurrentLinkedQueue 是一个基于链接节点的无界线程安全的队列.当我们添加一个元素的时候,它会添加到队列的尾部,当我们

  • Java并发编程之Semaphore（信号量）详解及实例

    Java并发编程之Semaphore（信号量）详解及实例

    Java并发编程之Semaphore(信号量)详解及实例 概述 通常情况下,可能有多个线程同时访问数目很少的资源,如客户端建立了若干个线程同时访问同一数据库,这势必会造成服务端资源被耗尽的地步,那么怎样能够有效的来控制不可预知的接入量呢?及在同一时刻只能获得指定数目的数据库连接,在JDK1.5 java.util.concurrent 包中引入了Semaphore(信号量),信号量是在简单上锁的基础上实现的,相当于能令线程安全执行,并初始化为可用资源个数的计数器,通常用于限制可以访问某些资源(物

  • Java并发编程之Exchanger方法详解

    简介 Exchanger是一个用于线程间数据交换的工具类,它提供一个公共点,在这个公共点,两个线程可以交换彼此的数据. 当一个线程调用exchange方法后将进入等待状态,直到另外一个线程调用exchange方法,双方完成数据交换后继续执行. Exchanger的使用 方法介绍 exchange(V x):阻塞当前线程,直到另外一个线程调用exchange方法或者当前线程被中断. x : 需要交换的对象. exchange(V x, long timeout, TimeUnit unit):阻塞

随机推荐