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

从一个多线程单例未加volatile引发指令重排的事故中反思内存屏障

大瑶同学_2565

大瑶同学_2565

发布时间:2026-06-04 19:20:25

|

938人浏览过

|

来源于php中文网

原创

不加volatile的DCL单例在高并发下可能返回半初始化对象,因JVM将instance = new Singleton()拆解为分配内存、构造初始化、赋引用三步,且允许后两步重排为1→3→2,导致其他线程读到未完成初始化的引用。

从一个多线程单例未加volatile引发指令重排的事故中反思内存屏障

不加 volatile 的双重检查锁(DCL)单例,在高并发下可能返回一个“半初始化”的对象——内存已分配、引用已发布,但构造函数还没执行完。这不是代码写错了,而是 JVM 和 CPU 在优化时绕过了我们的直觉,问题核心在于指令重排与内存可见性缺失。

为什么 new Singleton() 会出问题

看似简单的一行 instance = new Singleton(),底层实际分三步:

  • 分配对象内存(allocate())
  • 调用构造函数初始化字段(ctorInstance())
  • 将引用赋值给静态变量(instance = memory)

在单线程中,JVM 允许第 3 步提前到第 2 步之前(即 1→3→2),只要最终结果符合语义。但多线程下,这就成了隐患:线程 A 执行完第 1 步和第 3 步后,instance != null;线程 B 看到非空引用,直接返回,却拿到一个字段全为默认值(0、null、false)的对象。

synchronized 锁不住重排的原因

synchronized 能保证临界区的原子性和可见性,但它只约束加锁后的代码块边界,不干预锁内语句的内部执行顺序。也就是说,它无法阻止 new Singleton() 这一句里构造函数和引用赋值之间的重排。锁能挡住“谁进来”,挡不住“里面怎么跑”。

volatile 是怎么靠内存屏障修复的

volatile 不是魔法,它通过插入特定的内存屏障(Memory Barrier)起作用:

  • 写 instance 时,插入 StoreStore 和 StoreLoad 屏障,禁止构造函数(写字段)被重排到引用赋值之后
  • 读 instance 时,插入 LoadLoad 和 LoadStore 屏障,确保读到的是主内存最新值,且后续读操作不会被提前
  • 这些屏障建立了“构造完成 → 引用发布”的 happens-before 关系,把两个动作牢牢绑定

换句话说,volatile 把程序员期望的逻辑顺序,变成了 JVM 和 CPU 必须遵守的执行契约。

事故反思:别把“看起来安全”当真

这个事故暴露了一个常见误区:认为加了锁就万事大吉。实际上,并发安全是分层的——synchronized 解决竞态,volatile 解决重排与可见性。两者职责不同,不可替代。真实系统中,类似场景还出现在状态标志位(如 isRunning)、资源初始化完成标记等地方,只要涉及“先设标志,再初始化”,就该警惕重排风险。

热门AI工具

更多
墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

切问学术

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

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

DeepSeek

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

Atoms
Atoms Hot

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

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

豆包大模型

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

WorkBuddy

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

Laper
Laper Hot

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

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

10697

2023.06.15

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

7822

2023.07.05

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

6792

2023.07.31

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

1164

2023.08.01

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

948

2023.08.02

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

1396

2023.08.02

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2809

2023.08.02

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

20111

2023.08.03

OpenJDK JVM参数怎么调优
OpenJDK JVM参数怎么调优

Java应用运行缓慢,如何调整JVM参数?本专题介绍OpenJDK JVM性能调优的基本流程,涵盖性能指标确认、运行数据采集、内存配置和垃圾回收分析,帮助你先定位瓶颈,再通过对照测试验证效果,避免直接套用参数而影响应用稳定性。

20

2026.10.16

热门下载

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

精品课程

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

共94课时 | 22.3万人学习

Go语言教程-全程干货无废话
Go语言教程-全程干货无废话

共100课时 | 17.9万人学习

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

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