单例模式的升级之路

最新推荐文章于 2022-06-14 19:51:18 发布

G_axis

最新推荐文章于 2022-06-14 19:51:18 发布

阅读量301

点赞数

分类专栏：学习笔记 Java规范与细节文章标签：设计模式单例模式

本文链接：https://blog.csdn.net/V_Axis/article/details/78646021

版权

学习笔记同时被 2 个专栏收录

20 篇文章 0 订阅

订阅专栏

Java规范与细节

4 篇文章 0 订阅

订阅专栏

单例模式：简单的说，就是一个类只能构建一个对象的设计模式。
来看一个最普通的单例：

public class Singleton{
//私有构造函数
private Singleton(){};
//创建单例对象
private static Singleton instance = null;
//静态工厂方法
public static Singleton getinstance(){
    if(instance == null){
        instance = new Singleton();
    }
    return instance;
    }
}

根据以上的单例模式，分析几个关键：
1.私有的构造方法：一个类只能构建一个对象，就不能让它随便去做new操作。

2.初始静态对象：instance是我们的单例对象，也是Singleton类的静态成员。初始值可以是Null，也可以写成new Singleton()。后面解释区别。

3.获取单例对象的方法：getInstance()是获取单例对象的方法。

4.懒汉模式：如果单例初始值是null，还未构建，则构建单例对象并返回。
5.饿汉模式：如果单例对象一开始就被new Singleton()主动构建，则不需要判空操作。

这样理解两种模式：饿汉主动找食物吃，懒汉躺在地上等着人喂。

上面的单例模式存在问题：线程不安全。
为什么会不安全呢？假设Singleton类刚刚被初始化，线程A和B同时访问getInstance()方法，同时判断instance是否为空时：
这里写图片描述
这时两个线程同时通过了条件判断，都开始执行new操作，这样一来，显然instance被构建了两次。不符合单例模式的设计初衷。下面对代码做个升级。
单例模式升级版：

public class Singleton{
//私有构造函数
private Singleton(){};
//创建单例对象
private static Singleton instance = null;
//静态工厂方法
public static Singleton getinstance(){
    //双重检测机制
    if (instance == null) {      
        //同步锁
         synchronized (Singleton.class){  
           //双重检测机制
           if (instance == null) {     
             instance = new Singleton();
               }
            }
         }
        return instance;
    }
}

下面分析一下升级版的单例模式关键点：
1.Synchronized 同步锁：为了防止new多次 Singleton，所以在new之前加上Synchronized 同步锁，锁住整个类（这里不能使用对象锁）。

2.双重检测机制：进入Synchronized 临界区以后，还要再做一次判空。因为当两个线程同时访问的时候，线程A构建完对象，线程B也已经通过了最初的判空验证，不做第二次判空的话，线程B还是会再次构建instance对象。（两次判空的机制就是双重检测机制）

划重点！！桥黑板！！！划重点了！！！！
看到此处，按照分析来看应该做到了线程安全，但是事实上并没有，还存在漏洞。这是因为涉及到了JVM编译器的指令重排。
什么是指令重排呢？比如一句：Singleton instance = new Singleton();会被编译成如下的JVM指令：
//1：分配对象的内存空间
memory =allocate();
//2：初始化对象
ctorInstance(memory);
//3：设置instance指向刚分配的内存地址
instance =memory;

但是经过JVM和CPU的优化之后，指令会被重排成如下顺序：
//1：分配对象的内存空间
memory =allocate();
//3：设置instance指向刚分配的内存地址
instance =memory;
//2：初始化对象
ctorInstance(memory);

当线程A执行完上述的3时，instance对象还未完成初始化，但已经不再指向null。此时如果线程B抢占到CPU资源，执行 if（instance == null）的结果会是false，从而返回一个没有初始化完成的instance对象。

为了避免这种情况，需要在instance对象前面增加一个修饰符volatile。

单例模式终极版：

public class Singleton{
//私有构造函数
private Singleton(){};
//创建volatile修饰的单例对象
private volatile static Singleton instance = null;
//静态工厂方法
public static Singleton getinstance(){
    //双重检测机制
    if (instance == null) {      
        //同步锁
         synchronized (Singleton.class){  
           //双重检测机制
           if (instance == null) {     
             instance = new Singleton();
               }
            }
         }
        return instance;
    }
}