如何利用 Java 的指令重排现象理解单例模式中双重检查锁必须加 volatile 的原因

雨磊大大_1894

雨磊大大_1894

2026-04-28

551人浏览

原创

volatile通过插入内存屏障禁止instance引用赋值与对象初始化之间的指令重排,确保其他线程读取时看到的是完全初始化的对象,从而修复双重检查锁中“半成品”对象问题。

如何利用 java 的指令重排现象理解单例模式中双重检查锁必须加 volatile 的原因

为什么 instance = new Singleton() 不是原子操作

Java 中的 new Singleton() 实际拆解为三步:1)分配内存;2)调用构造器初始化对象;3)将引用赋值给 instance 变量。这三步在单线程下语义等价,JVM 和 CPU 会按需重排——只要不破坏数据依赖(比如第2步必须在第1步之后),第2步和第3步就可能被交换成 1→3→2。

一旦发生 1→3→2 重排,instance 就提前非空了,但对象内部字段还没初始化完毕。此时另一个线程刚好执行第一次 if (instance == null) 判断,会直接返回这个“半成品”引用,后续调用其方法大概率抛 NullPointerException 或读到默认值(如 int 字段为 0 而非预期值)。

双重检查锁里 synchronized 为什么拦不住重排

synchronized 只能保证临界区内的操作串行、可见性(通过锁释放时刷主存),但它对锁外的读写没有约束力。第一次 if (instance == null) 是在锁外执行的,而重排发生在 instance = new Singleton() 这条语句内部——它属于锁内,但 JVM 允许把其中的“赋值”动作提前到“初始化”之前,只要不违反单线程语义。

也就是说:synchronized 解决了“多个线程不会同时执行构造逻辑”,但没解决“构造逻辑自身被拆开并乱序执行”的问题。

JavaStoryDevelop
JavaStoryDevelop

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

下载
  • 锁能防止多线程重复创建实例
  • 锁不能阻止构造过程中的指令重排
  • 锁外的快速判空依赖的是 instance 的“及时、完整”状态,而这正是重排破坏的

volatile 怎么堵住这个漏洞

volatile 在写操作(即 instance = new Singleton() 完成那一刻)后插入写屏障(Store Barrier),强制要求:所有对该对象的初始化操作(即第2步)必须在写屏障之前完成;在读操作(即 if (instance == null))前插入读屏障(Load Barrier),确保读到的是写屏障之后的最新值。

效果上,它让 JVM 把 new 拆解的三步变成“不可分割的原子发布”——要么全没发生,要么全部完成且对其他线程可见。

  • 禁止 instance 引用写入与构造初始化之间的重排(关键)
  • 保证其他线程读取 instance 时,能立即看到已完全初始化的对象
  • 不加 volatile 的 DCL 在 JDK 5 之前是错误的;JDK 5+ 的 JMM 明确赋予 volatile 这一语义

不加 volatile 的典型错误现象

这种 bug 很难复现,往往只在高并发、特定 CPU 架构(如 ARM)、JIT 优化开启时偶然触发,表现为:

  • 某个线程拿到 instance 后调用其方法,抛出 NullPointerException
  • 对象字段值为默认值(如 String 字段为 null,int 为 0),而非构造器中设置的值
  • 日志显示 “instance != null” 但对象行为异常,且无法稳定断点复现

真正麻烦的不是写错,而是错得悄无声息——它可能在线上跑几个月才偶发一次,而堆栈里看不出任何同步或初始化失败痕迹。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关专题

更多
java
java

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

2023.06.15

11197

6

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

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

2023.07.05

8322

9

java自学难吗
java自学难吗

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

2023.07.31

7172

8

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

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

2023.08.01

1204

3

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

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

2023.08.02

968

3

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

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

2023.08.02

1436

5

java有什么用
java有什么用

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

2023.08.02

2949

5

java在线网站
java在线网站

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

2023.08.03

20211

3

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

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

2023.08.03

1295

8

热门下载

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

精品课程

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

共0课时 | 0人学习

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

共0课时 | 0人学习