JMM之volatile关键字详解

news/2024/5/24 12:52:57/

1、概要

在JMM规范下有三大特性分别是:可见性、原子性、有序性。而被volatile关键字修饰的共享变量拥有三大特性的两大特性分别是:可见性和有序性。

为什么被volatile修饰的变量就可以保证变量的可见性和有序性呢?为啥不能保证原子性?我们带着这两个疑问展开深入分析。

2、volatile内存语义

当写一个被volatile修饰的变量时,JMM会把该线程对应的本地内存中共享变量值立即刷新回主内存中。

当读一个被volatile修饰的变量时,JMM会把该线程对应的本地变量内存设置为无效,重新回到主内存中读取最新共享变量。

总结:volatile写内存语义是执行刷新到主内存中,读的内存语义是直接从主内存中读取。

什么叫本地变量内存?

什么叫主内存?

大白话:我们声明的所有变量都存储在主内存中,每个线程都有一份本地变量内存(线程私有),在线程读取变量时,需要从自己的本地内存获取,如果本地内存不存在则需要先去主内存拷贝一份变量到本地变量内存中,然后再从本地内存获取。在线程修改变量时,也是先修改本地内存中的变量值,然后在某个时机将本地内存值刷新回主内存(问题就出在这里,什么时候刷新回主内存时间不确定,其他线程不知道,获取的可能是脏数据)这是JMM规范下的正常变量读取和更新规则。

有了volatile,则会打破这个规则,读取时每次都是从主内存拷贝到本地内存,然后读取本地内存值。更改时先更改本地内存值立马刷新会主内存。

大家是不是会发现,不管是读取还是写入都需要 经过 本地内存,假如在经过本地内存过程中,又被改了或者被读取了,是不是也就不能保证数据可见和有序呀。这就要说到JMM四大内存屏障了,有了这四大内存屏障,就可以保证万无一失。

3、内存屏障

java中每一行代码经过编译后都会被分解成一条或者多条指令,例如下面两行代码分解成3条指令。

代码:

int i = 0;
i++;

编译后指令:

0 iconst_0
1 istore_1
2 iinc 1 by 1

在不同的操作系统上为了最大限度提升性能,编译器和处理器可能对指令进行重排序,也就是说第一行代码可能不是先执行。

不存在数据依赖关系:可以重排序;

存在数据依赖关系:禁止重排序;

但是重排后的指令绝对不能改变原有的串行语义(单线程执行结果不受重排序影响)

什么是内存屏障(也称内存栅栏,屏障指令等):是一类同步屏障指令,是CPU或者编译器在对内存随机访问操作中的一个同步点,使得此点之前所有的读写操作都执行后才开始执行此点之后的操作,避免重排序。 

大白话:现在有10个人,要过安检,安检门口工作人员要求先进入5个人,等5个人安检完以后后续5人才可以进入。安检门口工作人员就是内存屏障。这里面前前五个人进入后可以不分先后检查,同样后五个人进入也不分先后检查。但是后五个人不能排在前五个人前面。

内存屏障其实就是一种JVM指令,Java内存模型的重排序规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令,通过这些内存屏障指令,volatile实现了java内存模型中的可见性和有序性(禁止重排序),但是volatile无法保证原子性。

有了内存屏障,内存屏障之前的写操作都要回写到主内存中,内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果(实现了可见性)。

3.1、内存屏障分类

大分类分别是: 

写屏障(Store Memory Barrier):告诉处理器在写屏障之前将所有存储在缓存(线程本地内存)中的数据同步到主内存中,也就是说当看到Store屏障指令,就必须把该指令之前所有写入指令执行完毕才能继续往下执行。

读屏障(Load Memory Barrier):处理器在读屏障之后的读操作,都在读屏障之后执行,也就是说在Load屏障指令之后就能保证后面的读取数据指令一定能够读取到最新的数据。

细分就是4类,分别是:

屏障类型示例说明
LoadLoadLoad1;LoadLoad;Load2保证Load1的读取操作在Load2及后续读取操作之前执行
StoreStoreStore1;StoreStore;Store2在Store2及其后的写操作之前,保证Store1的写操作已刷新到主内存
LoadStoreLoad;LoadStore;Store在Store及其后的写操作执行前,保证Load的读操作已读取结束
StoreLoadStore;StoreLoad;Load保证Store的写操作已刷新到主内存之后,Load及其后续读操作才能执行

4、volatile使用场景

4.1、状态标志,判断业务是否结束

static volatile Boolean stop = Boolean.FALSE;public static void main(String[] args) {new Thread(() -> {while (!stop) {System.out.println("----执行内容");}}, "t1").start();//执行结束,将stop标识设置为true,通知线程1结束工作new Thread(() -> stop = true, "t2").start();}

4.2、开销较低的读、写策略

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

理由:利用volatile可见性保证读取操作的可见性,利用synchronized保证复合操作的原子性

    /*** 通过volatile 保证可见性*/private volatile int value;public int getValue() {return value;}/*** 通过synchronized 保证原子操作*/public synchronized void setValue() {value++;}

4.3、DCL双端锁的发布

package com.lc.test03;/*** @author liuchao* @date 2023/4/12*/
public class ThreadUtil {/*** 私有构造方法*/private ThreadUtil() {}/*** 通过volatile声明,实现线程安全的延迟初始化*/private static volatile ThreadUtil instance;/*** 两次加锁 DCL(Double Check Lock)** @return*/public static ThreadUtil getInstance() {if (null != instance) {return instance;}synchronized (ThreadUtil.class) {if (null != instance) {return instance;}instance = new ThreadUtil();}return instance;}
}


http://www.ppmy.cn/news/47652.html

相关文章

使用 PyTorch Geometric 和 GCTConv实现异构图、二部图上的节点分类或者链路预测

解决问题描述 使用 PyTorch Geometric 和 Heterogeneous Graph Transformer 实现异构图上的节点分类 在二部图上应用GTN算法(使用torch_geometric的库HGTConv); 步骤解释 导入所需的 PyTorch 和 PyTorch Geometric 库。 定义 x1 和 x2 两种不同类型节点的特征&am…

如何在 TensorFlow 中使用 GPU 加速深度学习计算?

一、前言 TensorFlow 是由 Google 开源的深度学习框架,它具有易用、高效、灵活等特点,被广泛应用于学术界和工业界中。而 GPU 是一种高性能的计算设备,可以加速深度学习的计算过程。本文将介绍如何在 TensorFlow 中使用 GPU 加速深度学习计算。 二、安装 TensorFlow 安装…

Python语言中的注释方法应用

Python语言中的注释方法 在Python编程中,与其他编程语言一样,有良好的注释部分,会让你的程序在后续的改进或优化中,变得便利。同时,给自己培养了良好的编程习惯。 在Python语言中,有两种注释方法。 1.单行…

DAY 43 Apache的配置与应用

虚拟Web主机 概述 虚拟web主机指的是在同一台服务器中运行多个web站点,其中每一个站点实际上并不独立占用整个服务器,因此被称为"虚拟"web主机。通过虚拟web主机服务可以充分利用服务器的硬件资源,从而大大降低网站构建及运行成本…

API 接口主流协议有哪些? 如何创建不同协议?

API 接口协议繁多,不同的协议有着不同的使用场景。70% 互联网应用开发者日常仅会接触到最通用的 HTTP 协议,相信大家希望了解更多其他协议的信息。我们今天会给大家介绍各种 API 接口主流协议和他们之间的关系。 1、API 接口主流协议有哪些? 接口协议分…

理解websocket连接的原理

背景 Websocket是一个持久化的协议,相对于HTTP这种非持久的无状态协议来说 一、问题 http long poll,或者ajax轮询都可以实现实时信息传递,为什么还需要websocket? 二、理解 ajax轮询:浏览器隔个几秒就发送一次请求&am…

json for modern c++

目录 json for modern c概述编译问题问题描述问题解决 读取JSON文件demo json for modern c GitHub - nlohmann/json: JSON for Modern C 概述 json for modern c是一个德国大牛nlohmann写的,该版本的json有以下特点: 1.直观的语法。 2.整个代码由一个…

Spring项目创建与 Spring Bean 的存储与读取

目录 一、创建Spring项目 1.1 创建Maven项目 1.2 添加 Spring 框架依赖 1.3 添加启动类 二、Bean对象的创建与存储 2.1 创建Bean 2.2 将Bean注册到容器 2.3 获取并使用Bean对象 2.3.1 创建Spring上下文 2.3.2 从Spring容器中获取Bean对象​编辑 延申(多种…

政企数智办公巡展回顾 | 通信赋能传统行业数智化转型的应用实践

在宏观政策引导、技术革新与企业内部数字化改革需求的共同驱使下,数智办公已经成为各行各业转型升级的必由之路。关注【融云 RongCloud】,了解协同办公平台更多干货。 近期,“连接无界 智赋未来” 融云 2023 政企数智办公巡展在北京、杭州相…

X进制转十进制黄金万能算法

单纯、混合进制通吃,真正的黄金万能的进制转换方法。 【学习的细节是欢悦的历程】 Python 官网:https://www.python.org/ Free:大咖免费“圣经”教程《 python 完全自学教程》,不仅仅是基础那么简单…… 地址:https:/…

Qt音视频开发27-ffmpeg视频旋转显示

一、前言 用手机或者平板拍摄的视频文件,很可能是旋转的,比如分辨率是1280x720,确是垂直的,相当于分辨率变成了720x1280,如果不做旋转处理的话,那脑袋必须歪着看才行,这样看起来太难受,所以一定要想办法解析到视频的旋转角度,然后根据这个角度重新绘制。在窗体那边也…

匿名管道与命名管道

匿名管道与命名管道 一,进程间通信什么是进程间通信进程间通信的目的管道的概念 二,匿名管道匿名管道的创建匿名管道使用匿名管道的特性以及四种场景匿名管道的原理通过匿名管道实现简易进程池。 三,命名管道命名管道的创建命名管道的使用命名…

应急响应 - Windows启动项分析,Windows计划任务分析,Windows服务分析

「作者简介」:CSDN top100、阿里云博客专家、华为云享专家、网络安全领域优质创作者 「推荐专栏」:对网络安全感兴趣的小伙伴可以关注专栏《网络安全入门到精通》 Windows应急响应 一、启动项分析1、msconfig2、gpedit.msc3、注册表4、msinfo325、启动菜…

深入拆解 Java 虚拟机-打卡|01 | Java代码是怎么运行的?

文章目录 Java代码是怎么运行的?几个为什么为什么在虚拟机中运行?Java 虚拟机具体又是怎样运行 Java 代码的呢?Java虚拟机的运行效率怎么样? 总结 Java代码是怎么运行的? 来来来,运行个"Hello word !“告诉我是…

C#内建接口:IComparable

目录 一、介绍 二、示例 注意:Array.Sort(people);调用了CompareTo方法 注意:WriteLine输出会调用ToString 三、笔试题实战 一、介绍 IComparable是一个接口,它定义了一个用于比较对象的方法CompareTo。在C#中,IComparable接…

第31天-贪心-第八章 ● 122.买卖股票的最佳时机II ● 55. 跳跃游戏 ● 45.跳跃游戏II

文章目录 1. 买卖股票的最佳时机2. 跳跃游戏3. 跳跃游戏 || 1. 买卖股票的最佳时机 - LeetCode链接 给你一个整数数组 prices ,其中 prices[i] 表示某支股票第 i 天的价格。 在每一天,你可以决定是否购买和/或出售股票。你在任何时候 最多 只能持有 一股…

PHP快速入门09-正则相关,附一定要学会的20个高频使用案例

文章目录 前言一、正则表达式介绍二、正则高频案例20个2.1 检查字符串是否以字母开头2.2 检查字符串是否以数字开头2.3 检查字符串是否包含特定字符2.4 检查字符串是否以特定字符结尾2.5 检查字符串是否为纯数字2.6 检查字符串是否为纯字母2.7 检查字符串是否为有效的电子邮件地…

C/C++每日一练(20230417)

目录 1. 字母异位词分组 🌟🌟 2. 计算右侧小于当前元素的个数 🌟🌟🌟 3. 加一 🌟 🌟 每日一练刷题专栏 🌟 Golang每日一练 专栏 Python每日一练 专栏 C/C每日一练 专栏 J…

前端开发中性能优化之较少http请求(缓存策略)

1.实现减少http请求逻辑如下 定义了一个fetchData函数,用于发起HTTP请求并返回响应结果。函数的实现逻辑如下: 将请求参数对象params转换为字符串,作为缓存对象的键cacheKey。 如果缓存对象中已经有该请求参数对应的结果,直接返回…

实在智能获评十大数字经济风云企业,2022余杭数字经济“群英榜”发布

4月17日,经专家评审、公开投票,由中共杭州市余杭区委组织部(区委两新工委)、中共杭州市余杭区经济和信息化局委员会主办评选的2022年度余杭区数字经济“群英榜”正式公示。其中,实在智能成功获评十大数字经济风云企业之…