volatile 底层是如何实现的?
liebian365 2025-01-04 21:18 26 浏览 0 评论
在 Java 中，volatile 是一种关键字，用于修饰变量。使用 volatile 关键字修饰的变量具有可见性和有序性，但不保证原子性。
相关定义说明
原子性（Atomicity）：即一个操作或者多个操作，要么全部执行，并且执行的过程不会被任何因素打断，要么都不执行。
有序性（Ordering）：指指令在执行过程中的顺序，一个操作执行在另一个操作之前或者在其执行之后。即程序执行的顺序按照代码的先后顺序执行。
可见性（Visibility）：指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。
volatile 实现原理
volatile 关键字在底层的实现主要是通过内存屏障（memory barrier）来实现的。内存屏障是一种 CPU 指令，用于强制执行 CPU 的内部缓存与主内存之间的数据同步。
在 Java 中，当线程读取一个 volatile 变量时，会从主内存中读取变量的最新值，并把它存储到线程的工作内存中。当线程写入一个 volatile 变量时，会把变量的值写入到线程的工作内存中，并强制将这个值刷新到主内存中。这样就保证了 volatile 变量的可见性和有序性。
在 Java 5 之后，volatile 的实现还引入了“内存屏障插入”的机制，内存屏障插入是指在指令序列中插入内存屏障以保证变量的可见性和有序性。
主内存和工作内存
Java 内存模型规定，所有的变量（实例变量和静态变量）都必须存储在主内存中，每个线程也会有自己的工作内存，线程的工作内存保存了该线程用到的变量和主内存的副本拷贝，线程对变量的操作都在工作内存中进行。线程不能直接读写主内存中的变量，如下图所示：
这样设计的目的主要是为了提升程序的并发性能以及多线程之间的可见性问题。
主内存是 Java 虚拟机中的一块共享内存，所有线程都可以访问。而每个线程还有自己的工作内存，线程的工作内存中存储了主内存中的变量副本的拷贝。这样做的好处是，线程之间不需要同步所有变量的读写操作，只需要同步主内存中的变量即可，这样可以提高程序的执行效率。同时，由于每个线程都有自己的工作内存，因此线程之间的变量操作互相不影响，从而提高了程序的并发性能。
内存屏障
内存屏障是一种硬件机制，用于控制 CPU 缓存和主内存之间的数据同步。在 Java 中，内存屏障通常有两种：读屏障和写屏障。
在有内存屏障的地方，会禁止指令重排序，即屏障下面的代码不能跟屏障上面的代码交换执行顺序。在有内存屏障的地方，线程修改完共享变量以后会马上把该变量从本地内存写回到主内存，并且让其他线程本地内存中该变量副本失效（使用 MESI 协议）。
MESI 协议是一种缓存一致性协议，它是支持写回（write-back）缓存的最常用协议。MESI 协议基于总线嗅探机制实现了事务串形化，也用状态机机制降低了总线带宽压力，做到了 CPU 缓存一致性。MESI 协议这 4 个字母代表 4 个状态，分别是：Modified（已修改）、Exclusive（独占）、Shared（共享）、Invalidated（已失效）。
小结
volatile 关键字在底层的实现主要是通过内存屏障（memory barrier）来实现的。内存屏障是一种 CPU 指令，用于强制执行 CPU 的内部缓存与主内存之间的数据同步。
原文链接：https://juejin.cn/post/7238980109453180986
- 上一篇：C语言的关键字，到底有哪几个?
- 下一篇：一文读懂volatile
相关推荐
- 精品博文嵌入式6410中蓝牙的使用
-
BluetoothUSB适配器拥有一个BluetoothCSR芯片组，并使用USB传输器来传输HCI数据分组。因此，LinuxUSB层、BlueZUSB传输器驱动程序以及B...
- win10跟这台计算机连接的前一个usb设备工作不正常怎么办?
-
前几天小编闲来无事就跑到网站底下查看粉丝朋友给小编我留言询问的问题，还真的就给小编看到一个问题，那就是win10跟这台计算机连接的一个usb设备运行不正常怎么办，其实这个问题的解决方法时十分简单的，接...
- 制作成本上千元的键盘，厉害在哪?
-
这是稚晖君亲自写的开源资料！下方超长超详细教程预警！！全文导航：项目简介、项目原理说明、硬件说明、软件说明项目简介瀚文智能键盘是一把我为自己设计的——多功能、模块化机械键盘。键盘使用模块化设计。左侧的...
- E-Marker芯片，USB数据线的“性能中枢”?
-
根据线缆行业的研究数据，在2019年搭载Type-C接口的设备出货量已达到20亿台，其中80%的笔记本电脑和台式电脑采用Type-C接口，50%的智能手机和平板电脑也使用Type-C接口。我们都知道，...
- ZQWL-USBCANFD二次开发通讯协议V1.04
-
修订历史：1.功能介绍1.1型号说明本文档适用以下型号： ZQWL-CAN(FD)系列产品，USB通讯采用CDC类实现，可以在PC机上虚拟出一个串口，串口参数N,8,1格式，波特率可以根据需要设置（...
- win10系统无法识别usb设备怎么办（win10不能识别usb）
-
从驱动入手，那么win10系统无法识别usb设备怎么办呢?今天就为大家分享win10系统无法识别usb设备的解决方法。1、右键选择设备管理器，如图： 2、点击更新驱动程序，如图： 3、选择浏览...
- 微软七月Win8.1可选补丁有内涵，含大量修复
-
IT之家（www.ithome.com）：微软七月Win8.1可选补丁有内涵，含大量修复昨日，微软如期为Win7、Win8.1发布7月份安全更新，累计为6枚安全补丁，分别修复总计29枚安全漏洞，其中2...
- 如何从零开始做一个 USB 键盘?（怎么制作usb）
-
分两种情况：1、做一个真正的USB键盘，这种设计基本上不涉及大量的软件编码。2、做一个模拟的USB键盘，实际上可以没有按键功能，这种的需要考虑大量的软件编码，实际上是一个单片机。第一种设计：买现成的U...
- 电脑识别U盘失败?5个实用小技巧，让你轻松搞定USB识别难题
-
电脑识别U盘失败？5个实用小技巧，让你轻松搞定USB识别难题注意：有些方法会清除USB设备里的数据，请谨慎操作，如果不想丢失数据，可以先连接到其他电脑，看能否将数据复制出来，或者用一些数据恢复软件去扫...
- 未知usb设备设备描述符请求失败怎么解决
-
出现未知daousb设备设备描述符请求失du败解决办zhi法如下：1、按下Windows+R打开【运行】；2、在版本运行的权限输入框中输入：services.msc按下回车键打开【服务】；2、在服务...
- 读《飘》47章20（飘每章概括）
-
AndAhwouldn'tleaveMissEllen'sgrandchildrenfornotrashystep-patobringup,never.Here,Ah...
- 英翻中 消失的过去 37（消失的英文怎么说?）
-
翻译（三十七）：消失的过去/茱迪o皮考特VanishingActs/JodiPicoult”我能做什么？“直到听到了狄利亚轻柔的声音，我才意识到她已经在厨房里站了好一会儿了。当她说话的时候，...
- RabbitMQ 延迟消息实战（rabbitmq如何保证消息不被重复消费）
-
现实生活中有一些场景需要延迟或在特定时间发送消息，例如智能热水器需要30分钟后打开，未支付的订单或发送短信、电子邮件和推送通知下午2:00开始的促销活动。RabbitMQ本身没有直接支持延迟...
- Java对象拷贝原理剖析及最佳实践（java对象拷贝方法）
-
作者：宁海翔1前言对象拷贝，是我们在开发过程中，绕不开的过程，既存在于Po、Dto、Do、Vo各个表现层数据的转换，也存在于系统交互如序列化、反序列化。Java对象拷贝分为深拷贝和浅拷贝，目前常用的...
- 如何将 Qt 3D 渲染与 Qt Quick 2D 元素结合创建太阳系行星元素?
-
Qt组件推荐：QtitanRibbon:遵循MicrosoftRibbonUIParadigmforQt技术的RibbonUI组件，致力于为Windows、Linux和MacOSX提...
欢迎 你 发表评论:
- 一周热门
- 最近发表
- 标签列表
-
- wireshark怎么抓包 (75)
- qt sleep (64)
- cs1.6指令代码大全 (55)
- factory-method (60)
- sqlite3_bind_blob (52)
- hibernate update (63)
- c++ base64 (70)
- nc 命令 (52)
- wm_close (51)
- epollin (51)
- sqlca.sqlcode (57)
- lua ipairs (60)
- tv_usec (64)
- 命令行进入文件夹 (53)
- postgresql array (57)
- statfs函数 (57)
- .project文件 (54)
- lua require (56)
- for_each (67)
- c#工厂模式 (57)
- wxsqlite3 (66)
- dmesg -c (58)
- fopen参数 (53)
- tar -zxvf -c (55)
- 速递查询 (52)