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

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

梦强小哥_1733

梦强小哥_1733

发布时间:2026-04-25 13:04:19

|

353人浏览过

|

来源于php中文网

原创

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

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

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

很多人误以为 instance = new Singleton() 是一条不可分割的指令,其实它在 JVM 层面至少拆成三步:分配内存(allocate)、调用构造器初始化对象(<init></init>)、将引用赋值给静态变量(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 字段且依赖延迟初始化,仍需额外同步。

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

热门AI工具

更多
WorkBuddy

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

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

豆包大模型

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

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

音述AI
音述AI Hot

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

DeepSeek

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

切问学术

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

相关专题

更多
java
java

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

11597

2023.06.15

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

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

8722

2023.07.05

java自学难吗
java自学难吗

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

7492

2023.07.31

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

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

1224

2023.08.01

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

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

988

2023.08.02

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

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

1476

2023.08.02

java有什么用
java有什么用

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

3049

2023.08.02

java在线网站
java在线网站

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

20311

2023.08.03

Vite 项目如何打包和部署
Vite 项目如何打包和部署

Vite项目打包部署专题汇集生产构建、产物预览、输出目录、资源路径、Nginx与GitHub Pages部署及常见白屏和路由404问题的已审核文章,帮助读者完成上线流程。

60

2026.10.28

热门下载

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

精品课程

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

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