浅析Java中volatile关键字

认识volatile关键字

        Java中的volatile关键字用于修饰一个变量,当这个变量被多个线程共享时,这个变量的值如果发生更新,每个线程都能获取到最新的值。volatile关键字在多线程环境下还会禁止指令重排序,确保变量的赋值操作按照代码的顺序执行。需要注意是它不能保证变量操作的原子性。

       简而言之, Java中的volatile关键字保证可见性,禁止指令重排序(有序性)。

volatile与内存屏障

        volatile通过内存屏障来保证可见性与有序性。

认识内存屏障

         内存屏障(也称内存栅栏,内存栅障,屏障指令等,是一类同步屏障指令,是CPU或编译器在对内存随机访问的操作中的一个同步点,使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作),避免代码重排序。内存屏障其实就是一种JVM指令,Java内存模型的重排规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令,通过这些内存屏障指令,volatile实现了Java内存模型中的可见性和有序性,但volatile无法保证原子性。

        内存屏障能阻止屏障两边的指令重排序,在写数据时加入屏障,强制将线程私有工作内存的数据刷回主物理内存,读数据加入屏障,线程私有工作内存的数据会失效,重新到主物理内存中获取最新数据。

内存屏障指令

volatile可见性

        volatile关键字保证可见性,当一个线程修改了volatile修饰的变量的值,这个变量修改后的值会立即刷新到主内存中,其他线程读取volatile修饰的变量的值时,会重新将主内存中该变量最新的值读取到线程自己的工作内存中。

    // 验证volatile的可见性
    private static volatile boolean flag = true;

    public static void main(String[] args) {

        // 开启一个线程
        new Thread(()->{
            // 如果为false,跳出循环并输出打印内容
            // 线程中读取的时候,每次读取都会去主内存中读取共享变量最新的值,
            // 然后将其复制到工作内存
            while (flag){

            }
            System.out.println("flag标志更新,线程结束");
        }).start();

        try {
            Thread.sleep(2000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        // 主线程中修改volatile修饰的变量的值true->false
        // 主线程中修改了工作内存中变量的副本,修改之后会立即刷新到主内存
        flag = false;
    }

运行结果: 

volatile的读写过程分析

Java内存模型中定义的8种工作内存与主内存之间的原子操作

read(读取)→load(加载)→use(使用)→assign(赋值)→store(存储)→write(写入)→lock(锁定)→unlock(解锁)

read:作用于主内存,将变量的值从主内存传输到工作内存,主内存到工作内存
load:作用于工作内存,将read从主内存传输的变量值放入工作内存变量副本中,即数据加载
use:作用于工作内存,将工作内存变量副本的值传递给执行引擎,每当JVM遇到需要该变量的字节码指令时会执行该操作
assign:作用于工作内存,将从执行引擎接收到的值赋值给工作内存变量,每当JVM遇到一个给变量赋值字节码指令时会执行该操作
store:作用于工作内存,将赋值完毕的工作变量的值写回给主内存
write:作用于主内存,将store传输过来的变量值赋值给主内存中的变量
由于上述只能保证单条指令的原子性,针对多条指令的组合性原子保证,没有大面积加锁,所以,JVM提供了另外两个原子指令:
lock:作用于主内存,将一个变量标记为一个线程独占的状态,只是写时候加锁,就只是锁了写变量的过程。
unlock:作用于主内存,把一个处于锁定状态的变量释放,然后才能被其他线程占用

volatile禁止指令重排序

认识重排序

        重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段,有时候会改变程序语句的先后顺序(不存在数据依赖关系,可以重排序;存在数据依赖关系,禁止重排序),但重排后的指令绝对不能改变原有的串行语义!这点在并发设计中必须要重点考虑!

        数据依赖性是指两个操作访问同一变量,且这两个操作中有一个为写操作,此时两操作间就存在数据依赖性。

重排序的分类和执行流程

编译器优化的重排序: 编译器在不改变单线程串行语义的前提下,可以重新调整指令的执行顺序。
指令级并行的重排序: 处理器使用指令级并行技术来讲多条指令重叠执行,若不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序。
内存系统的重排序: 由于处理器使用缓存和读/写缓冲区,这使得加载和存储操作看上去可能是乱序执行。

volatile禁止指令重排序的行为

        当第一个操作为volatile读时,不论第二个操作是什么,都不能重排序。这个操作保证了volatile读之后的操作不会被重排到volatile读之前。

        当第二个操作为volatile写时,不论第一个操作是什么,都不能重排序。这个操作保证了volatile写之前的操作不会被重排到volatile写之后。

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

四大内存屏障插入

        写操作

        当前volatile写操作之前插入StoreStore屏障,禁止前面的普通写或volatile写操作与当前volatile写发送生重排序,并保证前面所有的普通写操作将数据已经刷新到主内存中。

        当前volatile写操作之前插入StoreLoad屏障,禁止后面的volatile读/写或普通写操作与当前volatile写重排序,并保证当前volatile写操作将数据刷新到内存中。

       读操作 

        当前volatile读操作之后插入LoadLoad屏障,禁止后面的普通读、volatile读和当前volatile都发生重排序。

        当前volatile读操作之后插入LoadStore屏障,禁止后面的普通写、volatile写和当前volatile都发生重排序。

volatile不保证原子性 

        原子性指的是一个操作是不可中断的,即使是在多线程环境下,一个操作一旦开始就不会被其他线程影响。

        volatile变量的复合操作(如i++)不具有原子性,让我们从以下代码具体分析一下为什么 volatile变量的复合操作(如i++)不具有原子性。

        简单的代码示例如下,首先声明一个volatile修饰的int变量,在方法中对这个变量进行i++复合操作。


    private volatile int i;

    public void add(){
        i++;
    }

        通过javap -c <classname>命令对class文件进行反编译,如下:

 public void add();
    Code:
       0: aload_0
       1: dup
       2: getfield      #2                  // Field i:I 
       5: iconst_1
       6: iadd
       7: putfield      #2                  // Field i:I
      10: return
 }

         从编译过后可以看到,i++被拆分了三步执行:执行getfield指令获取字段i;执行iadd指令对i进行+1操作;执行putfield指令把累加后的值写回。如果有另一线程在当前线程读取旧值和写回新值期间读取i的域值,那么另一线程就会与当前线程一起看到同一个值,并执行相同值的加1操作,这也就造成了线程不安全,值操作从i=2变成了i=1,如果要保证线程安全,对于add方法就必须使用synchronized修饰。

        再往jvm层面深入分析,volatile为了保证内存可见性对其中的一些指令做了特殊处理,read(读取) - load(加载) - use(使用)必须连续出现以保证读的可见性;assign(赋值) - store(存储) - write(写入)必须连续出现将值写入主内存中。在这两组关联操作中存有极小的一段真空期,有可能变量值会被其他线程读取,导致写数据的丢失。

        
         

        《深入理解Java虚拟机》提到,由于volatile只能保证可见性,在不符合以下两条规则的运算场景中,我们仍然要通过加锁(使用synchronized、java.util.concurrent中的锁或原子类)来保证原子性:

  • 运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值。
  •  变量不需要与其他的状态变量共同参与不变约束。

 volatile的正确使用

复合运算赋值不能使用volatile关键字,会出现线程不安全问题。

    // 正确用法
    private volatile int count = 10;
    private volatile boolean flag = true;

可以作为状态标志,判断业务是否结束。

    private static volatile boolean flag = true;

    public static void main(String[] args) {

        new Thread(()->{
            while (flag){

            }
            System.out.println("flag标志更新,线程结束");
        }).start();

        try {
            Thread.sleep(2000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        flag = false;
    }

当读远多于写,结合使用内部锁和 volatile 变量来减少同步的开销。

    private volatile int i;

    private int getVal(){
        return i; //利用volatile保证读取操作的可见性
    }

    public synchronized int increment(){
        return i++; //利用synchronized 保证复合操作的原子性
    } 

DCL双端锁实现单例

    private volatile static SafeDoubleCheckSingleton safeDoubleCheckSingleton;

    private SafeDoubleCheckSingleton(){

    }

    public static SafeDoubleCheckSingleton getInstance(){
        if (safeDoubleCheckSingleton == null){
            synchronized (SafeDoubleCheckSingleton.class){
                // 如果第一行不加volatile,在多线程环境下,
                //由于重排序,该对象可能还未完成初始化就被其他线程读取
                if (safeDoubleCheckSingleton == null){
                    safeDoubleCheckSingleton = new SafeDoubleCheckSingleton();
                }
            }
        }
        return safeDoubleCheckSingleton;
    }

总结:

  • volatile是一种轻量级锁的实现,它针对的仅仅是共享变量,不会对线程加锁,更不会造成线程的阻塞。
  • volatile保证内存可见性,当变量值更新时,其他共享该变量的线程从主内存获取最新的值。
  • volatile通过内存屏障禁止指令重排序。
  • volatile对于复合赋值操作不保证原子性,如果需要保证原子性,还是需要使用synchronized、java.util.concurrent中的锁或原子类。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

书生·浦语大模型实战营-学习笔记4

XTuner 大模型单卡低成本微调实战 Finetune简介 常见的两种微调策略&#xff1a;增量预训练、指令跟随 指令跟随微调 数据是一问一答的形式 对话模板构建 每个开源模型使用的对话模板都不相同 指令微调原理&#xff1a; 由于只有答案部分是我们期望模型来进行回答的内容…

敏捷测试和DevOpes自动化测试的区别

敏捷测试和DevOps自动化测试在以下方面存在区别&#x1f447; 1️⃣目标 &#x1f388;敏捷测试的主要目标是提供快速的反馈和持续的改进&#xff0c;以便在开发过程中尽早发现和解决问题&#xff0c;从而提高软件的质量和可靠性。 &#x1f308;DevOps自动化测试的目标是提高软…

C语言算法赛——蓝桥杯(省赛试题)

一、十四届C/C程序设计C组试题 十四届程序C组试题A#include <stdio.h> int main() {long long sum 0;int n 20230408;int i 0;// 累加从1到n的所有整数for (i 1; i < n; i){sum i;}// 输出结果printf("%lld\n", sum);return 0; }//十四届程序C组试题B…

统计学-R语言-7.1

文章目录 前言假设检验的原理假设检验的原理提出假设做出决策表述结果效应量 总体均值的检验总体均值的检验(一个总体均值的检验) 练习 前言 本章主题是假设检验(hypothesis testing)。与参数估计一样&#xff0c;假设检验也是对总体参数感兴趣&#xff0c;如比例、比例间的差…

负载均衡流程

1、负载均衡流程图 2、触发负载均衡函数trigger_load_balance void trigger_load_balance(struct rq *rq) { /* Dont need to rebalance while attached to NULL domain */ if (unlikely(on_null_domain(rq)))//当前调度队列中的调度域是空的则返回 return; i…

SpringMVC数据校验

导包 配置springmvc.xml <bean id"validator" class" org.springframework.validation.beanvalidation.LocalValidatorFactoryBean"><property name"providerClass" value"org.hibernate.validator.HibernateValidator ">…

『C++成长记』模板

&#x1f525;博客主页&#xff1a;小王又困了 &#x1f4da;系列专栏&#xff1a;C &#x1f31f;人之为学&#xff0c;不日近则日退 ❤️感谢大家点赞&#x1f44d;收藏⭐评论✍️ 目录 一、泛型编程 二、函数模板 &#x1f4d2;2.1函数模板概念 &#x1f4d2;2.2函数…

羊驼系列大模型LLaMa、Alpaca、Vicuna

羊驼系列大模型&#xff1a;大模型的安卓系统 GPT系列&#xff1a;类比ios系统&#xff0c;不开源 LLaMa让大模型平民化 LLaMa优势 用到的数据&#xff1a;大部分英语、西班牙语&#xff0c;少中文 模型下载地址 https://huggingface.co/meta-llama Alpaca模型 Alpaca是斯…

ELK之Grafana读取ES-Nginx数据后地图不展示的问题

一、背景&#xff1a;Grafana读取ES-Nginx数据后地图不展示 二、解决方法 [rootsg grafana-worldmap-panel]# pwd /var/lib/grafana/plugins/grafana-worldmap-panel [rootsg grafana-worldmap-panel]# [rootsg grafana-worldmap-panel]# sed -i s/https:\/\/cartodb-basemap…

基于SpringBoot Vue高校失物招领系统

大家好✌&#xff01;我是Dwzun。很高兴你能来阅读我&#xff0c;我会陆续更新Java后端、前端、数据库、项目案例等相关知识点总结&#xff0c;还为大家分享优质的实战项目&#xff0c;本人在Java项目开发领域有多年的经验&#xff0c;陆续会更新更多优质的Java实战项目&#x…

Python-基础篇-数据结构-列表、元组、字典、集合

文章目录 思维导图❓ 大抵是何物数据结构切片 &#x1f4ac;具体是何物列表&#x1f4bb; list&#x1f4bb; [ ]自我介绍精神面貌使用说明生理体征增删查改 方法汇总 元组&#x1f4bb; tuple&#x1f4bb; ( )自我介绍使用说明精神面貌生理体征增删查改 字典&#x1f4bb; di…

有什么提高编程能力的书籍推荐吗?

数据密集型应用系统设计 原文完整版PDF&#xff1a;https://pan.quark.cn/s/d5a34151fee9 这本书的作者是少有的从工业界干到学术界的牛人&#xff0c;知识面广得惊人&#xff0c;也善于举一反三&#xff0c;知识之间互相关联&#xff0c;比如有个地方把读路径比作programming …

qt学习:QT对话框+颜色+文件+字体+输入

目录 概述 继承图 QColorDialog 颜色对话框 QFileDialog 文件对话框 保存文件对话框 QFontDialog 字体对话框 QInputDialog 输入对话框 概述 对于对话框的功能&#xff0c;在GUI图形界面开发过程&#xff0c;使用是非常多&#xff0c;那么Qt也提供了丰富的对话框类QDia…

R2DBC-响应式数据库

简单查询 基于全异步,响应式,消息驱动 用法: 1.导入驱动:导入连接池(r2dbc-pool),导入驱动(r2dbc-mysql) 2. 使用驱动提供的api操作 pom.xml <properties><r2dbc-mysql.version>1.0.5</r2dbc-mysql.version> </properties><dependencies><d…

【目标检测】YOLOv5算法实现(九):模型预测

本系列文章记录本人硕士阶段YOLO系列目标检测算法自学及其代码实现的过程。其中算法具体实现借鉴于ultralytics YOLO源码Github&#xff0c;删减了源码中部分内容&#xff0c;满足个人科研需求。   本系列文章主要以YOLOv5为例完成算法的实现&#xff0c;后续修改、增加相关模…

成绩等级分数段查询(python条件分支语句match...case...)

根据有效分数序列及等级差值&#xff0c;计算并打印等级相应分数区间。 (笔记模板由python脚本于2024年01月20日 23:57:32创建&#xff0c;本篇笔记适合会条件分支语句的初学者的coder翻阅) 【学习的细节是欢悦的历程】 Python 官网&#xff1a;https://www.python.org/ Free&…

视频怎么添加字幕?这几款工具很实用

视频怎么添加字幕&#xff1f;现在&#xff0c;视频已经成为人们获取信息和娱乐的主要方式之一。然而&#xff0c;很多时候&#xff0c;我们想要更深入地理解视频内容&#xff0c;或者为听力障碍者提供帮助&#xff0c;就需要添加字幕。那么&#xff0c;如何为视频添加字幕呢&a…

《游戏-02_2D-开发》

基于《游戏-01_2D-开发》&#xff0c; 继续制作游戏&#xff1a; 首先给人物添加一个2D重力效果 在编辑的项目设置中&#xff0c; 可以看出unity默认给的2D重力数值是-9.81&#xff0c;模拟现实社会中的重力效果 下方可以设置帧率 而Gravity Scale代表 这个数值会 * 重力 还…

Git将某个文件合并到指定分支

企业开发中&#xff0c;经常会单独拉分支去做自己的需求开发&#xff0c;但是某些时候一些公共的配置我们需要从主线pull&#xff0c;这时候整个分支merge显然不合适 1.切换至待合并文件的分支 git checkout <branch>2.将目标分支的单个文件合并到当前分支 git checkou…

maven 基本知识/1.17

maven ●maven是一个基于项目对象模型(pom)的项目管理工具&#xff0c;帮助管理人员自动化构建、测试和部署项目 ●pom是一个xml文件&#xff0c;包含项目的元数据&#xff0c;如项目的坐标&#xff08;GroupId,artifactId,version )、项目的依赖关系、构建过程 ●生命周期&…