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

大瑶同学_2565

大瑶同学_2565

2026-06-04

938人浏览

原创

不加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() 这一句里构造函数和引用赋值之间的重排。锁能挡住“谁进来”,挡不住“里面怎么跑”。

知乎直答
知乎直答

一款AI工具,主要用于知乎直答是知乎推出的一款AI搜索引擎产品,适合需要提升相关任务效率的用户。

下载

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

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

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

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

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

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

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

java并发

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

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

2023.06.15

10677

6

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

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

2023.07.05

7802

9

java自学难吗
java自学难吗

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

2023.07.31

6792

8

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

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

2023.08.01

1144

3

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

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

2023.08.02

948

3

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

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

2023.08.02

1396

5

java有什么用
java有什么用

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

2023.08.02

2809

5

java在线网站
java在线网站

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

2023.08.03

20111

3

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

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1235

8

热门下载

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

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.7万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.7万人学习