JMM之volatile关键字详解

news/2025/4/21 10:24:14/

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对象​编辑 延申(多种…