怎么利用 Double-Checked Locking 的原子性保证理解为何 volatile 对禁止指令重排至关重要

梦强小哥_1733

梦强小哥_1733

2026-04-25

353人浏览

原创

instance = new Singleton()不是原子操作,实际分为分配内存、初始化对象、赋值引用三步,其中后两步可能被重排序为先赋值后初始化,导致其他线程获取到未完全初始化的对象;volatile通过内存屏障禁止该重排序,确保引用赋值严格发生在初始化完成之后。

怎么利用 double-checked locking 的原子性保证理解为何 volatile 对禁止指令重排至关重要

Double-Checked Locking 中的 instance = new Singleton() 不是原子操作

很多人误以为 instance = new Singleton() 是一条不可分割的指令,其实它在 JVM 层面至少拆成三步:分配内存(allocate)、调用构造器初始化对象()、将引用赋值给静态变量(instance = memory)。这三步之间没有数据依赖,编译器或 CPU 可能重排为「先赋值、后初始化」——即 instance 已非 null,但对象内部字段仍是默认值(如 int 为 0、Object 为 null)。

此时另一个线程执行第一次判空 if (instance == null) 就会跳过同步块,直接返回这个「半初始化」的对象,后续调用其方法大概率触发 NullPointerException 或逻辑错乱。

volatile 如何堵住重排漏洞

volatile 的关键作用不是让读写变“原子”,而是插入内存屏障(Memory Barrier),强制约束编译器和处理器对 volatile 变量前后指令的重排范围:

  • 写 volatile 变量前的所有普通读写,不能被重排到该写之后
  • 读 volatile 变量后的所有普通读写,不能被重排到该读之前
  • 对 instance 加 volatile 后,JVM 保证 instance = new Singleton() 的三步中,赋值(第 3 步)必须严格发生在初始化(第 2 步)完成之后

换句话说:volatile 不是让构造过程变原子,而是让「引用可见」这件事,与「对象真正就绪」这件事,在多线程视角下保持因果顺序。

为什么 synchronized 本身拦不住这个重排

synchronized 能保证临界区互斥和内存可见性(退出时刷新主存),但它不禁止临界区内的指令重排。也就是说,即使 instance = new Singleton() 写在 synchronized 块里,JVM 仍可能把「赋值」提到「构造完成」前——只要这个重排不破坏单线程语义。

而 DCL 的问题恰恰出在「同步块外的第一次判空」:那个读取 instance 的线程根本没进锁,也就享受不到 synchronized 的内存语义保障。只有 volatile 才能让这个外部读操作,也能看到符合预期的写入顺序。

localResource 模式为何更安全(但非必需)

有些实现(如 SonarQube 推荐的)会引入局部变量做二次缓存:

Resource localResource = resource;
if (localResource == null) {
    synchronized (this) {
        localResource = resource;
        if (localResource == null) {
            resource = localResource = new Resource();
        }
    }
}
return localResource;

这种写法本质是减少一次 volatile 读(第二次读用的是局部变量),但核心安全仍依赖 resource 的 volatile 修饰。不加 volatile,哪怕加了 localResource,照样可能读到未初始化对象。

真正容易被忽略的点是:volatile 修饰的是引用本身,不是对象内容;它只约束该变量的读写顺序,不递归保护对象内部字段的可见性——如果单例内部有非 volatile 字段且依赖延迟初始化,仍需额外同步。

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

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

下载

相关标签:

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

相关专题

更多
java
java

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

2023.06.15

11577

6

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

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

2023.07.05

8682

9

java自学难吗
java自学难吗

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

2023.07.31

7472

8

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

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

2023.08.01

1224

3

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

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

2023.08.02

988

3

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

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

2023.08.02

1476

5

java有什么用
java有什么用

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

2023.08.02

3049

5

java在线网站
java在线网站

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

2023.08.03

20291

3

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

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

2023.08.03

1335

8

热门下载

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

精品课程

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

共6课时 | 54.7万人学习

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

共89课时 | 134.1万人学习