专栏首页程序员小明单例模式--双重检验锁真的线程安全吗

单例模式--双重检验锁真的线程安全吗

单例模式是我们最熟悉不过的一种设计模式,用来保证内存中只有一个对象的实例。虽然容易,但里面的坑也有很多,比如双重检验锁模式(double checked locking pattern)真的是线程安全的吗?

起因

在对项目进行PMD静态代码检测时,遇到了这样一个问题

Partially created objects can be returned by the Double Checked Locking pattern when used in Java. An optimizing JRE may assign a reference to the baz variable before it calls the constructor of the object the reference points to. Note: With Java 5, you can make Double checked locking work, if you declare the variable to be volatile.

大概意思是,使用双重检验锁模式,可能会返回一个部分初始化的对象。可能大家有些疑虑,什么是部分初始化的对象,我们下面继续分析

什么是双重检验锁模式

public static Singleton getSingleton() {
    if (instance == null) {                        
        synchronized (Singleton.class) {
            if (instance == null) {                 
                instance = new Singleton();
            }
        }
    }
    return instance ;
}

我们看到,在同步代码块的内部和外部都判断了instance == null,这是因为,可能会有多个线程同时进入到同步代码块外的if判断中,如果在同步代码块内部不进行判空的话,可能会初始化多个实例。

问题所在

这种写法看似完美无缺,但它却是有问题的,或者说它并不担保一定完美无缺。主要原因在于instance = new Singleton();并不是原子性的操作。 创建一个对象可以分为三部:

1.分配对象的内存空间
2.初始化对象
3.设置instance指向刚分配的内存地址
当instance指向分配地址时,instance是不为null的

但是,2、3步之间,可能会被重排序,造成创建对象顺序变为1-3-2.试想一个场景: 线程A第一次创建对象Singleton,对象创建顺序为1-3-2; 当给instance分配完内存后,这时来了一个线程B调用了getSingleton()方法 这时候进行instance == null的判断,发现instance并不为null。 但注意这时候instance并没有初始化对象,线程B则会将这个未初始化完成的对象返回。那B线程使用instance时就可能会出现问题,这就是双重检查锁问题所在。

使用volatile

对于上述的问题,我们可以通过把instance声明为volatile型来解决

public class Singleton{
    private volatile static Singleton instance;
    public static Singleton getSingleton() {
        if (instance == null) {                        
            synchronized (Singleton.class) {
                if (instance == null) {                 
                    instance = new Singleton();
                }
            }
        }
        return instance ;
    }
}

但是必须在JDK5版本以上使用。

静态内部类

public class Singleton {  
    private static class SingletonHolder {  
        private static final Singleton INSTANCE = new Singleton();  
    }  
    private Singleton (){}  
    public static final Singleton getInstance() {  
        return SingletonHolder.INSTANCE; 
    }  
}

这种写法是目前比较推荐的一种写法,采用静态内部类的方式,既实现了懒加载又不会出现线程安全问题。而且减少了synchronized的开销。

本文分享自微信公众号 - 程序员小明(coderxinqiji)

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2019-11-03

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 夯实Java基础系列17:一文搞懂Java多线程使用方式、实现原理以及常见面试题

    本文主要讲了java中多线程的使用方法、线程同步、线程数据传递、线程状态及相应的一些线程函数用法、概述等。在这之前,首先让我们来了解下在操作系统中进程和线程的区...

    Java技术江湖
  • 夯实Java基础系列16:一文读懂Java IO流和常见面试题

    术语“输入”和“输出”有时候会有一点让人疑惑。一个应用程序的输入往往是另外一个应用程序的输出 那么OutputStream流到底是一个输出到目的地的流呢,还是...

    Java技术江湖
  • Python的 5 种高级用法,效率提升没毛病!

    任何编程语言的高级特征通常都是通过大量的使用经验才发现的。比如你在编写一个复杂的项目,并在 stackoverflow 上寻找某个问题的答案。然后你突然发现了一...

    昱良
  • DevOps 工具链:SonarQube 代码质量检查工具总结

    SonarQube(sonar)是一个开源平台,用于管理源代码的质量。SonarQube不只是一个质量数据报告工具,更是代码质量管理平台。支持java, C#,...

    DevOps时代
  • Java 8 终于支持 Docker!

    注意:我在本文中使用采用GNU GPL v2许可证的OpenJDK官方docker映像。在Oracle Java SE中,这里描述的docker支持功能在更新1...

    Java技术江湖
  • ArrayList的Fast-fail(快速失败)策略

    3、为什么要报这个错?途中出错的地方是ArrayList.java:901定位到该处代码:

    用户6055494
  • 10 大 Java面试难题,打趴无数面试者!

    这是我收集的10个最棘手的Java面试问题列表。这些问题主要来自 Java 核心部分 ,不涉及 Java EE 相关问题。你可能知道这些棘手的 Java 问题的...

    用户4143945
  • 细思极恐 - 你真的会写 Java 吗?

    其实,本不想把标题写的那么恐怖,只是发现很多人干了几年 Java 以后,都自认为是一个不错的 Java 程序员了,可以拿着上万的工资都处宣扬自己了,写这篇文章的...

    哲洛不闹
  • 你没用过这个集合吧?IdentityHashMap

    https://blog.fondme.cn/apidoc/jdk-1.8-google/java/util/IdentityHashMap.html

    疯狂的KK
  • 可扩展的公有云媒体服务设计解析

    大家好,我是融云的联合创始人兼CTO 杨攀,本次我分享的主题是融云在公有云媒体服务设计的理念和思路。

    LiveVideoStack

扫码关注云+社区

领取腾讯云代金券