vlambda博客
学习文章列表

有了杠精,才有了"单例模式有六种写法"之说

https://github.com/Oh-MyBug/Design_Pattern

孔乙己(左五

饿汉式

有了杠精,才有了"单例模式有六种写法"之说

特点

  • 类加载到内存后,就会生成一个对象单例

优点

  • Class 只加载一次到内存,JVM 保证线程安全

  • 简单实用

缺点

  • 不管用到与否,类加载后都会实例化

懒汉式(线程不安全)

有了杠精,才有了"单例模式有六种写法"之说

特点

  • 类加载到内存后,并不会立即生成一个对象单例

  • 当需要使用 INSTANCE 时,才会调用 getInstance() ,无则新建,有则返回

优点

  • 需要时才会实例化单例对象

缺点

  • 多线程时产生线程不安全问题

Time Thread A Thread B
T1 检查到INSTANCE为空
T2
检查到INSTANCE为空
T3
初始化对象A
T4
返回对象A
T3 初始化对象B
T4 返回对象B

测试可以发现,多个线程访问 getInstance() 后 INSTANCE 并非单例:

    

有了杠精,才有了"单例模式有六种写法"之说

有了杠精,才有了"单例模式有六种写法"之说

懒汉式(线程安全)

有了杠精,才有了"单例模式有六种写法"之说

特点

  • 对 getInstance() 做了同步处理

优点

  • 线程安全

缺点

  • synchronized 将导致性能开销

  • 如果 getInstance() 被多个线程频繁的调用,将会导致程序执行性能的下降

错误的双重检查锁(double checked locking)

有了杠精,才有了"单例模式有六种写法"之说

错误

  • 在线程执行到第 7 行代码读取到 INSTANCE 不为 null 时,INSTANCE 引用的对象有可能还没有完成初始化

第 10 行代码创建一个对象。这一行代码可以分解为如下的三行伪代码:

memory = allocate();    // 1: 分配对象的内存空间 
ctorInstance(memory);   // 2: 初始化对象 
INSTANCE = memory;      // 3: 设置 instance 指向刚分配的内存地址

上面三行伪代码中的 2 和 3 之间,可能会被重排序(在一些 JIT 编译器上,这种重排序是真实发生的)。2 和 3 之间重排序之后的执行时序如下:

memory = allocate();    // 1: 分配对象的内存空间
INSTANCE = memory;      // 3:设置 instance 指向刚分配的内存地址 
                        // 注意,此时对象还没有被初始化!
ctorInstance(memory);   // 2: 初始化对象

这个重排序在没有改变单线程程序的执行结果的前提下,可以提高程序的执行性能(利用到寄存器中已有的值就不用去内存读取),但是会破坏多线程的执行语义。

Time Thread A Thread B
T1 分配对象的内存空间
T2 设置 INSTANCE 指向内存空间
T3
判定 INSTANCE 是否为null
T4
线程 B 初次访问对象
T3 初始化对象
T4 线程A初次访问对象

当线程 A 和 B 按上图的时序执行时,B 线程将看到一个还没有被初始化的对象。

正确的双重检查锁(double checked locking)

有了杠精,才有了"单例模式有六种写法"之说

特点

  • 当声明对象的引用为 volatile 后,重排序在多线程环境中将会被禁止

优点

  • 如果第一次检查 instance 不为 null,那么就不需要执行下面的加锁和初始化操作。因此可以大幅降低 synchronized 带来的性能开销

  • 保证线程安全的延迟初始化

静态内部类方式

有了杠精,才有了"单例模式有六种写法"之说

特点

  • JVM 在类的初始化阶段(即在 Class 被加载后,且被线程使用之前),会执行类的初始化。在执行类的初始化期间,JVM 会去获取一个锁。这个锁可以同步多个线程对同一个类的初始化

优点

  • 第一次加载 Mgr06 类时并不会初始化 INSTANCE 单例,只有第一次调用 getInstance 方法时 JVM 加载 Mgr06Holder 并初始化 INSTANCE,保证Singleton类的唯一性

  • 确保线程安全

枚举单例

优点

  • 简单,但是大部分应用开发很少用枚举,可读性并不是很高

  • 防止反序列化(将一个单例实例对象写到磁盘再读回来,从而获得了一个实例)

  • 线程安全的,并且在任何情况下都是单例

参考资料

双重检查锁定与延迟初始化

Java中的双重检查锁(double checked locking)