0

0

在Java里volatile关键字如何保证可见性_Java内存语义解析

P粉602998670

P粉602998670

发布时间:2026-02-03 10:39:09

|

203人浏览过

|

来源于php中文网

原创

volatile写通过内存屏障触发MESI协议使其他核心缓存行失效,并非直接写主存;volatile读通过读屏障禁止重排序并强制重新加载,确保看到的值是最新提交的。

在java里volatile关键字如何保证可见性_java内存语义解析

volatile写操作如何触发缓存行刷新

Java中volatile变量的写操作,会在字节码层面插入putstaticputfield指令,并在JVM生成的汇编中插入内存屏障(如x86下的lock addl $0x0,(%rsp))。这个lock前缀强制将当前核心的写缓冲区刷入L3缓存,并使其他CPU核心的对应缓存行失效。不是“立即同步到主存”,而是通过MESI协议触发其他核心的缓存一致性动作。

常见误解是认为volatile写会直接写主存——实际上现代CPU从不直接写主存,所有写都经缓存;真正起作用的是缓存一致性协议+内存屏障的组合。

volatile读为何能读到最新值

volatile读操作会插入读屏障(如x86下虽无显式指令,但JVM会禁止相关重排序),确保该读不会被重排到屏障前的任何读/写之后,同时强制从缓存(而非寄存器或重排序缓冲区)重新加载值。关键点在于:它不保证“读完立刻看到别人刚写的值”,而是保证“一旦看到,就是最新提交的值”——前提是对方写的是volatile变量且已通过缓存一致性传播完成。

  • 若线程A写volatile int flag = 1,线程B读flag,B可能短暂看到0(因缓存未及时失效),但一旦看到1,就代表A的整个写前操作(包括非volatile字段)对B可见(happens-before语义)
  • 没有volatile读,JIT可能把变量提升为寄存器局部副本,导致永远读不到更新

volatile不能保证原子性的典型场景

volatile只对单个读或单个写提供可见性与有序性保障,不保证复合操作的原子性。最常踩坑的是自增:i++本质是读-改-写三步,即使ivolatile,中间仍可能被其他线程打断。

立即学习Java免费学习笔记(深入)”;

以下代码依然存在竞态:

大同搜索
大同搜索

多语言高质量的AI搜索

下载
public class Counter {
    private volatile int count = 0;
    public void increment() {
        count++; // 非原子!
    }
}

正确做法:用AtomicIntegersynchronized,或明确用Unsafe.compareAndSwapInt

volatile与synchronized的内存语义差异

synchronized块的进入和退出分别对应monitorenter/monitorexit,隐含全屏障(Full Barrier),不仅保证临界区内变量的可见性,还保证锁释放前的所有写对后续获取该锁的线程可见(更严格的happens-before链)。而volatile只在读/写单个变量时生效,不构成代码块边界。

性能上,volatile开销远低于锁(无上下文切换、无阻塞),但适用面窄——它解决不了竞态条件,只解决“一个线程改了,另一个线程能不能及时知道”的问题。

容易被忽略的是:volatile写 + volatile读 构成的happens-before关系,仅在**同一变量**上成立;跨变量的顺序无法靠多个volatile变量推导(例如volatile int a; volatile int b;,不能假设a写后b读就一定看到a的最新值)。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

543

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

547

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

153

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

201

2025.08.29

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

69

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

568

2023.08.10

Python 序列化
Python 序列化

本专题整合了python序列化、反序列化相关内容,阅读专题下面的文章了解更多详细内容。

12

2026.02.02

AO3官网入口与中文阅读设置 AO3网页版使用与访问
AO3官网入口与中文阅读设置 AO3网页版使用与访问

本专题围绕 Archive of Our Own(AO3)官网入口展开,系统整理 AO3 最新可用官网地址、网页版访问方式、正确打开链接的方法,并详细讲解 AO3 中文界面设置、阅读语言切换及基础使用流程,帮助用户稳定访问 AO3 官网,高效完成中文阅读与作品浏览。

200

2026.02.02

主流快递单号查询入口 实时物流进度一站式追踪专题
主流快递单号查询入口 实时物流进度一站式追踪专题

本专题聚合极兔快递、京东快递、中通快递、圆通快递、韵达快递等主流物流平台的单号查询与运单追踪内容,重点解决单号查询、手机号查物流、官网入口直达、包裹进度实时追踪等高频问题,帮助用户快速获取最新物流状态,提升查件效率与使用体验。

95

2026.02.02

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 3.1万人学习

C# 教程
C# 教程

共94课时 | 8.3万人学习

Java 教程
Java 教程

共578课时 | 55.9万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号