java 惰性初始化,在 Java 实现正确的双重检查锁（Double-Checked Locking）

小咪咪 2023-01-13 09:19 2阅读 0赞

双重检查锁定模式(也被称为"双重检查加锁优化"，"锁暗示"(Lock hint)) 是一种软件设计模式用来减少并发系统中竞争和同步的开销。双重检查锁定模式首先验证锁定条件(第一次检查)，只有通过锁定条件验证才真正的进行加锁逻辑并再次验证条件(第二次检查)。

该模式在某些语言在某些硬件平台的实现可能是不安全的。有的时候，这一模式被看做是反模式。

它通常用于减少加锁开销，尤其是为多线程环境中的单例模式实现“惰性初始化”。惰性初始化的意思是直到第一次访问时才初始化它的值。本文将介绍双重检查锁在 Java 中如何实现。

在实现单例模式时，如果未考虑多线程的情况，就容易写出下面的错误代码： public class Singleton \{

private static Singleton uniqueSingleton;

private Singleton() \{

\}

public Singleton getInstance() \{

if (null == uniqueSingleton) \{

uniqueSingleton = new Singleton();

\}

return uniqueSingleton;

\}

\}

在多线程的情况下，这样写可能会导致uniqueSingleton有多个实例。比如下面这种情况，考虑有两个线程同时调用getInstance()：TimeThread AThread BT1检查到uniqueSingleton为空

T2检查到uniqueSingleton为空

T3初始化对象A

T4返回对象A

T5初始化对象B

T6返回对象B

可以看到，uniqueSingleton被实例化了两次并且被不同对象持有。完全违背了单例的初衷。

加锁

出现这种情况，第一反应就是加锁，如下： public class Singleton \{

private static Singleton uniqueSingleton;

private Singleton() \{

\}

public synchronized Singleton getInstance() \{

if (null == uniqueSingleton) \{

uniqueSingleton = new Singleton();

\}

return uniqueSingleton;

\}

\}

这样虽然解决了问题，但是因为用到了synchronized，会导致很大的性能开销，并且加锁其实只需要在第一次初始化的时候用到，之后的调用都没必要再进行加锁。

双重检查锁

双重检查锁(double checked locking)是对上述问题的一种优化。先判断对象是否已经被初始化，再决定要不要加锁。

错误的双重检查锁 public class Singleton \{

private static Singleton uniqueSingleton;

private Singleton() \{

\}

public Singleton getInstance() \{

if (null == uniqueSingleton) \{

synchronized (Singleton.class) \{

if (null == uniqueSingleton) \{

uniqueSingleton = new Singleton(); // error

\}

\}

\}

return uniqueSingleton;

\}

\}

如果这样写，运行顺序就成了：检查变量是否被初始化(不去获得锁)，如果已被初始化则立即返回。

获取锁。

再次检查变量是否已经被初始化，如果还没被初始化就初始化一个对象。

执行双重检查是因为，如果多个线程同时了通过了第一次检查，并且其中一个线程首先通过了第二次检查并实例化了对象，那么剩余通过了第一次检查的线程就不会再去实例化对象。

这样，除了初始化的时候会出现加锁的情况，后续的所有调用都会避免加锁而直接返回，解决了性能消耗的问题。

隐患

上述写法看似解决了问题，但是有个很大的隐患。实例化对象的那行代码(标记为error的那行)，实际上可以分解成以下三个步骤：分配内存空间

初始化对象

将对象指向刚分配的内存空间

但是有些编译器为了性能的原因，可能会将第二步和第三步进行重排序，顺序就成了：分配内存空间

将对象指向刚分配的内存空间

初始化对象

现在考虑重排序后，两个线程发生了以下调用：TimeThread AThread BT1检查到uniqueSingleton为空

T2获取锁

T3再次检查到uniqueSingleton为空

T4为uniqueSingleton分配内存空间

T5将uniqueSingleton指向内存空间

T6检查到uniqueSingleton不为空

T7访问uniqueSingleton(此时对象还未完成初始化)

T8初始化uniqueSingleton

在这种情况下，T7时刻线程B对uniqueSingleton的访问，访问的是一个初始化未完成的对象。

正确的双重检查锁 public class Singleton \{

private volatile static Singleton uniqueSingleton;

private Singleton() \{

\}

public Singleton getInstance() \{

if (null == uniqueSingleton) \{

synchronized (Singleton.class) \{

if (null == uniqueSingleton) \{

uniqueSingleton = new Singleton();

\}

\}

\}

return uniqueSingleton;

\}

\}

为了解决上述问题，需要在uniqueSingleton前加入关键字volatile。使用了volatile关键字后，重排序被禁止，所有的写(write)操作都将发生在读(read)操作之前。

至此，双重检查锁就可以完美工作了。

参考资料：

发表评论取消回复

表情：

评论列表（有 0 条评论，2人围观）

还没有评论，来说两句吧...

相关阅读

相关详解Java单例模式中的中双重检查锁（double checked locking）

在实现单例模式时，如果未考虑多线程的情况，就容易写出下面的错误代码： public class Singleton { private static

爱被打了一巴掌/ 2023年06月30日 08:45/ 0 赞/ 63 阅读

相关 java 惰性初始化,在 Java 实现正确的双重检查锁（Double-Checked Locking）

双重检查锁定模式(也被称为"双重检查加锁优化"，"锁暗示"(Lock hint)) 是一种软件设计模式用来减少并发系统中竞争和同步的开销。双重检查锁定模式首先验证锁定条件(第一

小咪咪/ 2023年01月13日 09:19/ 0 赞/ 3 阅读

相关 java 双重检查锁失效_如何解决Java中的“双重检查锁定已损坏”声明？

![e375dea99d50627bfa6b050afa556be9.png][] 眼眸繁星使用ThreadLocal的DCL作者：Brian Goetz @ JavaW

今天药忘吃喽~/ 2022年11月08日 11:30/ 0 赞/ 209 阅读

相关如何在Java中使用双重检查锁实现单例

单例类在Java开发者中非常常用，但是它给初级开发者们造成了很多挑战。他们所面对的其中一个关键挑战是，怎样确保单例类的行为是单例？也就是说，无论任何原因，如何防止单例类有多个实

深碍√TFBOYSˉ_/ 2022年06月17日 08:58/ 0 赞/ 224 阅读

相关 java 双重检查加锁弊端

[http://blog.csdn.net/axman/article/details/1089196][http_blog.csdn.net_axman_article_de

布满荆棘的人生/ 2022年06月11日 08:08/ 0 赞/ 233 阅读

相关 java:基于volatile和Thread Local Storage的双重检查锁定(Double-checked locking)实现延迟初始化

总在同一个地方栽坑里是不可原谅的,以本文做个记录，以防下次再犯。下面这段很简单的基于双重检查锁定(Double-checked locking)实现的延迟初始化(Lazy

左手的ㄟ右手/ 2022年06月05日 00:40/ 0 赞/ 266 阅读

相关 Java的的惰性初始化

在看《Java 编程思想》恶补Java理论基础知识时，第七章提到了引用的初始化。Java不是为每一个引用都创建默认对象，浪费资源。在初始化位置：定义对象，实例化，在类的构造

Dear 丶/ 2022年05月29日 11:54/ 0 赞/ 216 阅读

相关 Java中的双重检查锁（double checked locking）

这文章写的很好，我看懂了，收获了。原文地址[https://www.cnblogs.com/xz816111/p/8470048.html][https_www.cnblo

逃离我推掉我的手/ 2022年05月19日 03:12/ 0 赞/ 248 阅读

相关 Java双重检查锁的错误

1.错误的双重检查锁实现 public class DoubleCheckedLocking { // 1 private static Instan

冷不防/ 2022年05月17日 23:47/ 0 赞/ 205 阅读

相关双重检查锁实现单例

public class Single { private volatile static Single single; pri

谁践踏了优雅/ 2022年02月25日 14:20/ 0 赞/ 298 阅读