并发专题(四)单例模式

目录

分类

饿汉式

懒汉式

Synchronized实现

DCL非线程安全的实现

DCL线程安全实现--volatile实现

基于ClassLoader的实现

基于枚举的实现

分类

  • 懒汉式:懒汉式是指应用启动时并不会初始化相应的实例,而是在第一次使用时加载,也就是所谓的延时加载吧,关于延时加载还有很多话聊,笔者就不一一谈了。
  • 饿汉式:饿汉式是指应用启动时就初始化相应的实例,可能说相对来说比较简单。

饿汉式

先讲讲饿汉式,这个比较简单,直接加载就可以了。直接上代码:

public class Singleton {
    private static Singleton singleton = new Singleton();

    private Singleton(){}
    
    public static Singleton getInstance(){
        return singleton;
    }
}

也有人这样写,不过原理是一样的,都是在类静态初始化阶段初始化实例:

public class Singleton {
    private static Singleton singleton;

    private Singleton(){}
    static {
        singleton = new Singleton();
    }
    public static Singleton getInstance(){
        return singleton;
    }
}

饿汉式没过多可讲的,下面我们分析一下懒汉式。

懒汉式

最简单的实现

不多说,直接上代码。

public class Singleton {
    private static Singleton singleton;

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

这个代码在单线程环境下会良好运行,但在多线程环境下会有较大问题,也就是所谓的线程不安全。设想一下,线程A在运行到singleton = new Singleton()时,线程B刚好在进行singleton == null, 这时线程B会继续进入if块,而重新对线程A已经实例化的singleton进行重新实例化,这样就冲突了,这还是简单的两个线程,如果是多个线程同时进行,那就比较严重了。
解决这个问题的最简单方法是用同步块synchronized

Synchronized实现

public class Singleton {
    private static Singleton singleton;

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

这个肯定是线程安全的,因为整个方法都被锁住了,但这样解决了初始化实例的问题,却导致了每次只能有一个线程调用该方法,其他线程都会被锁住,这样就会导致较大的性能损失。解决这个问题可以使用DCL(Double Check Lock)

DCL非线程安全的实现

public class Singleton {
    private static Singleton singleton;

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

我们先分析一下这个代码。

  • 只有实例第一次被访问时,才会有线程进入同步块,这样极大提高了性能。避免了synchronized带来的较大性能损失。
  • 第一次访问时,如果有多个线程同时进入if块,只有第一个线程会获得锁,其他线程被阻塞,第一个线程可以创建实例。
  • 第一次访问时,被阻塞的线程会进入同步块,进行第二次check,如果此时实例不为null,则返回。
    仔细一想,这个代码挺完美的,但是不是这个样子的,具体问题出现在哪呢?
    Java程序创建一个实例的过程为:
  1. 分配内存空间
  2. 初始化对象
  3. 将内存空间的地址赋值给对应的引用
    但是由于指令重排的原因,什么是指令重排?指令重排序是JVM为了优化指令,提高程序运行效率。指令重排序包括编译器重排序和运行时重排序。JVM规范规定,指令重排序可以在不影响单线程程序执行结果前提下进行。既然这样,那么在应用真正运行时可能是这个样子的:
  4. 分配内存空间
  5. 将内存空间的地址赋值给对应的引用
  6. 初始化对象

线程执行顺序

根据上图分析可以看出new Singleton()时可能会导致错误。所以解决这个问题的方法:

  1. 禁止初始化阶段的发生重排序
  2. 初始化阶段可以发生重排序,但不能被其他线程“知道”

DCL线程安全实现--volatile实现

volatile是Java中的一个关键字,使用该关键字修饰的变量在被变更时会被其他变量可见。

public class Singleton {
    //通过volatile关键字来确保安全
    private volatile static Singleton singleton;

    private Singleton(){}

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

基于ClassLoader的实现

这个方案是利用ClassLoader本身的机制来避免多个线程同时实例化该变量。也就是解决的上面说的2. 初始化阶段可以发生重排序,但不能被其他线程“知道”。

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

基于枚举的实现


public enum DataSourceEnum {
    DATASOURCE;
    private DBConnection connection = null;
    private DataSourceEnum() {
        connection = new DBConnection();
    }
    public DBConnection getConnection() {
        return connection;
    }
}

其实Enum就是一个普通的类,它继承自java.lang.Enum类
把上面枚举编译后的字节码反编译,得到的代码如下:


public final class DataSourceEnum extends Enum<DataSourceEnum> {
      public static final DataSourceEnum DATASOURCE;
      public static DataSourceEnum[] values();
      public static DataSourceEnum valueOf(String s);
      static {};
}

由反编译后的代码可知,DATASOURCE 被声明为 static 的,根据在【单例深思】饿汉式与类加载 中所描述的类加载过程,可以知道虚拟机会保证一个类的<clinit>() 方法在多线程环境中被正确的加锁、同步。所以,枚举实现是在实例化时是线程安全。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章