0

0

什么是双重检查锁定失效问题_指令重排序导致获取到半初始化对象

P粉602998670

P粉602998670

发布时间:2026-02-24 16:48:11

|

283人浏览过

|

来源于php中文网

原创

双重检查锁定拿不到完整对象是因为jvm/cpu指令重排序导致new操作三步被拆分,线程b可能看到未初始化的半成品;volatile通过内存屏障禁止初始化与赋值重排序,java 5+才真正支持;静态内部类、枚举单例更安全省心。

什么是双重检查锁定失效问题_指令重排序导致获取到半初始化对象

双重检查锁定为什么拿不到完整对象

因为 JVM 或 CPU 的指令重排序,让 new 对象的三步操作(分配内存 → 初始化 → 赋值给引用)被拆开,线程 B 可能在“分配内存 + 赋值引用”完成后就看到非 null 的实例,但此时初始化还没跑完——它拿到的是字段全为默认值(0 / null / false)的半成品。

volatile 是怎么堵住这个洞的

volatile 不是为了保证可见性那么简单,关键是它插入内存屏障(Memory Barrier),禁止编译器和处理器对 volatile 写操作之前的初始化指令做重排序。也就是说:instance = new Singleton() 这句里,“初始化”必须在“赋值给 instance”之前完成,且对其他线程可见。

常见错误写法:

private static Singleton instance; // ❌ 没 volatile,重排序风险仍在

正确写法:

Paraflow
Paraflow

AI产品设计智能体

下载
private static volatile Singleton instance; // ✅ 必须加 volatile
  • Java 5+ 才真正支持 volatile 的禁止重排序语义;Java 4 及之前无效
  • synchronized 块内部的赋值不用 volatile 也能安全,但双重检查的核心价值就是减少同步开销,所以外面那层判断必须依赖 volatile
  • 别试图用 final 字段替代——final 能防止字段被修改,但不阻止构造函数没执行完就被发布

为什么静态内部类比双重检查更省心

因为类加载机制天然线程安全,且由 JVM 保证初始化完成才允许获取实例,完全绕开了手动控制指令序的问题。

典型写法:

private static class Holder {<br>    private static final Singleton INSTANCE = new Singleton();<br>}

调用时直接 return Holder.INSTANCE;。它没有 volatile、没有 synchronized、没有重排序隐患,还能延迟加载。

  • 适用场景:单例无参数、不依赖外部配置、构造过程不抛受检异常
  • 如果构造函数可能抛 Exception,JVM 会把该类标记为“初始化失败”,后续所有访问都直接抛 NoClassDefFoundError,而不是重试——这点比双重检查更难诊断
  • Android 上某些低版本 Dalvik 对类加载顺序有特殊行为,极少数情况下会触发提前初始化(虽罕见,但线上出过)

现代 Java 里还值得手写双重检查吗

不推荐。除非你在维护一个不能升级到 Java 8+ 的老系统,或者明确需要构造时传参、做条件初始化等 Holder 搞不定的事。

  • Lombok 的 @UtilityClass 或 Spring 的 @Bean + @Scope("singleton") 更贴近实际工程需求
  • 哪怕真要手写,也优先选枚举单例:enum Singleton { INSTANCE; }——JVM 保证枚举实例的创建是原子且不可重排序的,连反射都拦得住
  • 最容易被忽略的一点:双重检查只解决“多线程首次创建”的问题,不解决“创建后被修改状态”的并发问题——单例对象自身如果不是线程安全的,照样出错

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

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
spring框架介绍
spring框架介绍

本专题整合了spring框架相关内容,想了解更多详细内容,请阅读专题下面的文章。

144

2025.08.06

Java Spring Security 与认证授权
Java Spring Security 与认证授权

本专题系统讲解 Java Spring Security 框架在认证与授权中的应用,涵盖用户身份验证、权限控制、JWT与OAuth2实现、跨站请求伪造(CSRF)防护、会话管理与安全漏洞防范。通过实际项目案例,帮助学习者掌握如何 使用 Spring Security 实现高安全性认证与授权机制,提升 Web 应用的安全性与用户数据保护。

81

2026.01.26

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

246

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

866

2024.03.01

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

71

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

719

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

371

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

27

2026.01.21

Golang 生态工具与框架:扩展开发能力
Golang 生态工具与框架:扩展开发能力

《Golang 生态工具与框架》系统梳理 Go 语言在实际工程中的主流工具链与框架选型思路,涵盖 Web 框架、RPC 通信、依赖管理、测试工具、代码生成与项目结构设计等内容。通过真实项目场景解析不同工具的适用边界与组合方式,帮助开发者构建高效、可维护的 Go 工程体系,并提升团队协作与交付效率。

1

2026.02.24

热门下载

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

精品课程

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号