多线程下使用双重检查锁定实现单例模式的思考

1.单例模式

对于Java实现单例模式的方法,相信学习过Java的人一般都会张口就来,懒汉式、饿汉式、枚举等等。
使用最多的同时相对较容易记住的就是懒汉式与饿汉式了,相关代码如下:


懒汉式单例模式:

public class Singleton {

    private static Singleton instance;

    private Singleton() {

    }

    public static Singleton getInstance() {
        if (null == instance) {
            instance = new Singleton();
        }
        return instance;
    }

}

饿汉式单例模式:

public class Singleton {

    private static Singleton instance = new Singleton();

    private Singleton() {

    }

    public static Singleton getInstance() {
        return instance;
    }

}

2.性能分析

对于上面的懒汉式与饿汉式单例模式,哪种要好一些呢?
饿汉式属于典型的以空间换时间,当类装载的时候就会创建类的实例,不管你后面用还是不用,这样对于服务器的内存空间来说肯定是有损耗的,因此延迟加载的懒汉式相对来说要好一些,OK,那么问题来了,我们都知道懒汉式单例模式是非线程安全的,怎样修改能够保证其线程安全呢?

3.线程安全的懒汉式

要保证线程安全,那就加锁喽,如下:

public class Singleton {

    private static Singleton instance;

    private Singleton() {

    }

    public synchronized static Singleton getInstance() {
        if (null == instance) {
            instance = new Singleton();
        }
        return instance;
    }

}

线程安全是保证了,但是我们都知道synchronized将导致性能开销,如果getInstance()方法被多个线程频繁的调用,将会导致程序执行性能的下降。在早期的JVM中,synchronized存在着巨大的性能开销,因此,程序员们想出了一种聪明的解决方法,使用双重检查锁定来降低由于加上synchronized所带来的性能开销,这个方法也是目前在网络上查找单例模式相关方法中所提倡的方式,代码如下:

public class Singleton {

    private static Singleton instance;

    private Singleton() {

    }

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

}

双重检查锁定看起来很完美,当检查到instance为null时,加锁,创建对象,如果instance不为null,则不会执行加锁,这样可以大幅的降低synchronized所带来的性能开销,但是这却是一种错误的优化方式。

4.问题的根源

为什么说这是一种错误的优化方式呢?主要问题还是在instance = new Singleton()这行代码,在编译器执行这行代码时,可以分解为3步:

  • (1)分配对象的内存空间;
  • (2)初始化对象;
  • (3)设置instance变量指向所分配的内存地址。

通过JMM对于重排序的约束来看,对于不影响程序执行结果的重排序JMM是允许的,那么上面的3个步骤,如果将(2)和(3)进行重排序(对于一些编译器,这种重排序是真实发生的),在多线程的情况下,会发生什么呢?
假设A线程在执行instance = new Singleton(),由于(2)和(3)进行了重排序,此时(1)(3)执行完毕,这样instance变量所指向的内存空间值是存在的,如果此时B线程调用if (null == instance) ,则会直接返回instance对象,此时B线程将会看到一个还没有被初始化的对象。

5.解决方式

知晓了问题的所在,那么该如何解决呢?思路有两个:

  • (1)不允许进行重排序;
  • (2)允许重排序,但是不允许其他线程知道这个重排序。

先来看第一种解决方式,禁止重排序首先会想到的当然是volatile,代码如下:

public class Singleton {

    private volatile static Singleton instance;

    private Singleton() {

    }

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

}

由于instance变量被volatile所修饰,此时在执行instance = new Singleton()时,JMM会禁止编译器与处理器对此进行重排序。


再来看第二种解决方式,如何让其他线程不知道这个重排序的存在呢?
使用类初始化解决方案:JVM在类的初始化阶段,会执行类的初始化,在执行类的初始化期间,JVM会去获取一个锁,这个锁可以同步多个线程对同一个类的初始化。
代码:

public class Singleton {

    private static class InstanceHolder {
        public static Singleton instance = new Singleton();
    }

    public static Singleton getInstance() {
        return InstanceHolder.instance;
    }

}

其实这种解决方案就是使用内部类方式实现单例模式的方法。

6.类的初始化

既然提到了使用类的初始化方式,对于类的初始化做一个记录。
初始化一个类,包括执行这个类的静态初始化(静态代码块)和初始化在这个类中声明的静态字段。根据Java语言规范,在首次发生下列任一情况时,一个类或接口T将被立即初始化:

  • (1)T是一个类,而且一个T类型的实例被创建;T t = new T()
  • (2)T是一个类,且T中声明的一个静态方法被调用;T.staticMethod()
  • (3)T中声明的一个静态字段被赋值;T.param = *
  • (4)T中声明的一个静态字段被使用,且该字段不是一个常量;上面的解决方案就是使用这个方式,首次执行getInstance() 方法时,InstanceHolder这个内部类将被初始化。
  • (5)T是一个顶级类,而且一个断言语句嵌套在T内部被执行。

多线程下类的初始化过程:
假设有A、B、C 3个线程都要对类Class进行初始化,A、B线程同时执行,C线程后于A、B执行,那么执行过程人为拆分如下:

  • (1)第一阶段时序
    t1:A、B线程同时尝试获取Class对象的初始化锁,这里假设A线程获取到了初始化锁,B线程进入等待获取初始化锁;
    t2:A线程发现对象未被初始化(如state=noInitialization),设置状态为初始化中(如state=initializing);
    t3:A释放初始化锁。
  • (2)第二阶段时序
    t1:A执行类的静态初始化(静态代码块)和初始化在这个类中声明的静态字段,B获取到初始化锁;
    t2:B读取到对象状态为初始化中(state=initializing);
    t3:B释放初始化锁;
    t4:B在初始化锁的某个空间(假设p)中等待。
  • (3)第三阶段时序
    t1:类初始化完成,A获取初始化锁;
    t2:A设置类的状态为初始化完成(如state=initialized);
    t3:A唤醒在锁空间(p)中等待的线程;
    t4:A释放初始化锁;
    t5:线程A的初始化过程完成。
  • (4)第四阶段时序
    t1:线程B获取初始化锁;
    t2:B读取到类的状态为初始化完成(state=initialized);
    t3:B释放初始化锁;
    t4:线程B的初始化过程完成。
  • (5)第五阶段时序
    t1:线程C获取初始化锁;
    t2:C读取到类的状态为初始化完成(state=initialized);
    t3:C释放初始化锁;
    t4:线程C的初始化过程完成。

本文参考:《Java并发编程的艺术》

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,324评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,356评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,328评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,147评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,160评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,115评论 1 296
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,025评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,867评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,307评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,528评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,688评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,409评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,001评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,657评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,811评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,685评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,573评论 2 353

推荐阅读更多精彩内容