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

如何通过分析 Double-Checked Locking 的原子性保证理解为何 volatile 指令重排保护不可或缺

轻杰酱_1847

轻杰酱_1847

发布时间:2026-04-27 18:44:27

|

828人浏览过

|

来源于php中文网

原创

DCL需两次判空:第一次在锁外提升性能,避免重复加锁;第二次在锁内防止多线程重复初始化;volatile则禁止指令重排,确保对象完全初始化后才对其他线程可见。

如何通过分析 double-checked locking 的原子性保证理解为何 volatile 指令重排保护不可或缺

Double-Checked Locking 为什么需要两次判空

因为 getInstance() 要兼顾性能和线程安全:第一次判空在锁外,避免每次调用都进同步块;第二次判空在锁内,防止多个线程同时通过第一层检查后重复初始化。

但问题出在「对象构造本身不是原子操作」——new Singleton() 实际包含三步:
1. 分配内存空间
2. 调用构造函数初始化字段
3. 将引用赋值给静态变量 uniqueSingleton

JVM 和 CPU 可能对 2 和 3 步重排序(只要不影响单线程语义),导致第 3 步先执行、uniqueSingleton 非 null,但对象尚未完成初始化。此时另一个线程跳过锁、直接返回这个半初始化对象,后续调用就可能触发 NullPointerException 或字段为默认值。

volatile 如何堵住指令重排漏洞

把 uniqueSingleton 声明为 volatile,核心作用不是“让读写变慢”,而是插入内存屏障:

  • volatile 写操作(即 uniqueSingleton = new Singleton() 的赋值)后插入写屏障(sfence):确保构造函数内所有字段初始化(步骤 2)一定在赋值(步骤 3)之前完成,禁止重排
  • volatile 读操作(即 if (uniqueSingleton == null))前插入读屏障(lfence):保证线程看到的 uniqueSingleton 是主内存最新值,且之后读到的字段也都是已初始化后的值

注意:这里 volatile 不提供原子性(比如 i++ 还是不行),它只约束「对该变量的读写」与「其前后其他内存操作」的顺序关系。

为什么 synchronized 不能替代 volatile 在 DCL 中

synchronized 确实能保证临界区内的原子性和可见性,但它无法约束锁外的指令重排。

假设去掉 volatile,仅靠 synchronized 包裹第二次判空和初始化:

  • 线程 A 进入同步块,执行 uniqueSingleton = new Singleton()
  • 由于没有 volatile,JVM 仍可能把「构造函数初始化字段」和「引用赋值」重排序
  • 线程 B 在锁外第一次判空时,恰好看到非 null 的 uniqueSingleton,就直接返回——而此时对象可能还没初始化完

也就是说,synchronized 只保护了「进入同步块那一刻起」的可见性,不保护「同步块外对共享变量的读」所依赖的初始化完整性。

实际编码中容易漏掉的关键点

很多人写了 DCL 却忘了加 volatile,或者加错位置:

  • 必须修饰静态引用本身,如 private static volatile Singleton uniqueSingleton;修饰构造函数或方法没用
  • 不能只靠 volatile 去掉 synchronized——没有锁,第二次判空就失去互斥保障,仍会创建多个实例
  • Java 5+ 才完全支持 volatile 的内存屏障语义;早期 JDK(如 1.4)下 DCL 即使加 volatile 也无效

最常被忽略的是:DCL 的安全性是 volatile 和 synchronized 协同的结果,缺一不可;而 volatile 在其中专责封住那个「看似无害却致命」的指令重排缝隙。

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

热门AI工具

更多
Laper
Laper Hot

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

咔片AIPPT

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

豆包大模型

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

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

WorkBuddy

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

音述AI
音述AI Hot

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

DeepSeek

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

超级简历WonderCV

一款AI办公效率工具,主要用于免费求职简历模版下载制作,应届生职场人必备简历制作神器,适合需要提升相关任务效率的用户。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

相关专题

更多
java
java

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

10937

2023.06.15

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

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

8062

2023.07.05

java自学难吗
java自学难吗

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

6992

2023.07.31

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

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

1184

2023.08.01

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

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

968

2023.08.02

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

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

1416

2023.08.02

java有什么用
java有什么用

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

2889

2023.08.02

java在线网站
java在线网站

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

20171

2023.08.03

Playwright 测试失败怎么办
Playwright 测试失败怎么办

Playwright测试失败专题汇集超时、定位器匹配、浏览器提前关闭、依赖与插件配置、文件上传、SSL及Docker启动等故障文章,并介绍通过截图、报告和Trace定位错误。

0

2026.10.21

热门下载

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

精品课程

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

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