讲师中心 微信公众号
AI工具推荐 视频效率加速

Java如何防止指令重排 Java volatile关键字作用详解【详解】

星宇大大_8679

星宇大大_8679

发布时间:2026-03-06 07:29:09

|

525人浏览过

|

来源于php中文网

原创

volatile能禁止指令重排是因为其读写操作插入特定内存屏障,确保对该变量的访问有序,但不保证其他变量顺序;它仅解决可见性与部分有序性,无原子性,不能替代synchronized。

java如何防止指令重排 java volatile关键字作用详解【详解】

volatile 为什么能禁止指令重排

因为 volatile 写操作会在生成的字节码中插入 StoreStore 和 StoreLoad 内存屏障(Memory Barrier),读操作则插入 LoadLoad 和 LoadStore 屏障。这些屏障会强制 JVM 和 CPU 尊重代码顺序,阻止编译器优化和处理器乱序执行对 volatile 变量前后语句的重排。

注意:它只保证对该变量本身的读写具有“有序性”,不保证其他普通变量之间的顺序——比如:a = 1; volatileFlag = true; 中,a = 1 不会被移到 volatileFlag = true 之后;但 volatileFlag = true; b = 2; 中,b = 2 仍可能被提前到写之前(除非 b 也是 volatile)。

volatile 不能替代 synchronized 的场景

volatile 只解决可见性和部分有序性,不提供原子性。常见失效场景包括:

  • i++ 这类复合操作(读-改-写),即使 i 是 volatile,仍可能丢失更新
  • 多个 volatile 变量之间存在逻辑依赖,例如先检查 ready 再读 data,但两者都是 volatile 时,无法保证 data 已被完全写完(需用 volatile + 正确构造顺序,或锁)
  • 需要临界区互斥(如防止两个线程同时进入初始化块),volatile 无法阻塞线程

Double-Checked Locking 中 volatile 的关键作用

在单例模式的双重检查锁写法中,volatile 修饰实例字段不是可选的,而是必须的。否则可能因指令重排导致其他线程拿到一个未构造完成的对象引用。

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

典型错误现象:getInstance() 返回非 null,但调用其方法时抛 NullPointerException 或行为异常。

JavaStoryDevelop
JavaStoryDevelop

你接手一个需求时,是不是经常这样:"改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续";这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境(JDK、Spring Boot、ORM、数据库、前端框架),记在

下载

根本原因在于:JVM 可能将对象分配内存 → 设置引用 → 执行构造函数,重排为:分配内存 → 构造函数 → 设置引用。加 volatile 后,构造函数执行完成前,引用不会被其他线程看到。

示例关键行:

private static volatile Singleton instance;

volatile 的性能开销与适用边界

现代 JVM 对 volatile 读的优化较好(多数情况只是禁止寄存器缓存),写操作因涉及内存屏障和缓存同步,开销略高于普通变量,但远低于 synchronized 或 Lock。

适合场景:

  • 状态标志位(如 running, closed)
  • 一次性安全发布(safe publication),配合正确初始化顺序
  • 与 AtomicInteger 等配合做简单计数,但要注意复合操作仍需原子类

不适用场景:

  • 需要 CAS 或自增/自减原子语义的地方(该用 AtomicInteger)
  • 多变量协同变更(该用锁或不可变对象)
  • 高频写+低频读且对延迟极度敏感的场景(此时要实测对比)

真正容易被忽略的是:volatile 只对直接访问它的线程生效;如果通过反射、Unsafe 或 JNI 绕过 JVM 内存模型,它的约束就不再成立。

热门AI工具

更多
DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

549

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

1698

2024.03.01

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

549

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

1698

2024.03.01

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

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

4088

2025.08.29

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

784

2025.10.23

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

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

774

2025.10.23

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

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

4298

2023.08.10

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

0

2026.10.22

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn