1、背景
在软件开发中,经常需要某些类只能有唯一的实例,比如数据库连接。如何才能保证整个应用中只有一个唯一实例?如果靠人为制定的协定来约束,显然不能很好的保证这一点。如果要从语法上约束,在面向对象里面,什么地方能够约束实例的创建?
显然,只有构造函数与类实例的创建相关。那么如何才能让构造函数阻止类实例的创建,使其只有一个唯一实例?让构造函数的修饰为私有
2、单例模式
单例模式是设计模式中最简单的形式之一。这一模式的目的是使得类的一个对象成为系统中的唯一实例。要实现这一点,可以从客户端对其进行实例化开始。因此需要用一种只允许生成对象类的唯一实例的机制,“阻止”所有想要生成对象的访问。
3、代码实现
1、第一种实现(饿汉式)
public class Singleton {
private static Singleton instance = new Singleton();
private Singleton (){}
public static Singleton getInstance() {
return instance;
}
}
饿汉式在类加载时已经创建好该对象,在程序调用时直接返回该单例对象即可。类在加载时会在JVM的堆内存中创建一个Singleton对象,当类被卸载时,Singleton对象也随之消亡了(没有被引用)。
它基于 classloader 机制避免了多线程的同步问题,不过,instance 在类装载时就实例化,虽然导致类装载的原因有很多种,在单例模式中大多数都是调用 getInstance 方法, 但是也不能确定有其他的方式(或者其他的静态方法)导致类装载,这时候初始化 instance 显然没有达到 lazy loading 的效果。
为什么属性都是static的?
为了使其只有一个唯一实例,我们将无参构造方法设置成静态的,其他的类就没有办法直接通过new来构建该类的对象。无法通过new来构建类对象,那就只能通过调用类的静态方法getInstance这个唯一进出口来获得对象。由于静态方法里只能使用静态(static)属性,所以instance被修饰为静态的(static)。
2、第二种实现(懒汉式,线程不安全)
public class Singleton {
private static Singleton instance;
private Singleton (){}
public static Singleton getInstance() {
if (instance == null) {
instance = new Singleton();
}
return instance;
}
}
这种方式是最基本的实现方式,这种实现最大的问题就是不支持多线程。因为没有加锁 synchronized,所以严格意义上它并不算单例模式。这种方式 lazy loading 很明显,不要求线程安全,在多线程不能正常工作。
为什么不支持多线程?
假如现在有两个线程,一个线程a,一个线程b,线程a被操作系统选中,分配时间片,去调用Singleton.getInstance(),判断instance== null,为true,进入代码块,然后时间片用完,切换到线程b执行,线程b也调用Singleton.getInstance(),当运行到instance==null时,因为线程a上次判断完instance为null,就结束了,所以此时instance还是null,于是线程b执行instance=new Singleton(),并返回instance。线程b时间片用完,让出cpu,线程a被选中,从instance=new Singleton开始执行, 于是又在堆中创建了一个Singleton对象实例,并返回。所以严格意义上说它并不算单例模式。
3、第三种实现(懒汉式,线程安全)
public class Singleton {
private static Singleton instance;
private Singleton (){}
public static synchronized Singleton getInstance()
{ if (instance == null) {
instance = new Singleton(); }
return instance; }
}
这样就规避了两个线程同时创建Singleton对象的风险,但是引来另外一个问题:每次去获取对象都需要先获取锁,并发性能非常地差,极端情况下,可能会出现卡顿现象。因为在getInstance方法上加了synchronized锁,调用该方法的线程需要排队调用。(一个线程获得了Singleton类锁后,在该线程执行完getInstance()方法前,其他线程要么阻塞,要么自旋,无法执行getInstance方法)
4、第四种实现(懒汉式,双重校验锁DCL)
public class Singleton {
private volatile static Singleton singleton; //1
private Singleton (){} //2
public static Singleton getSingleton() { //3
if (singleton == null) { //4
synchronized (Singleton.class) { //5
if (singleton == null) { //6
singleton = new Singleton(); //7
}
}
}
return singleton;
}
}
第四种实现对于第三种实现进行了优化,如果没有实例化对象则加锁创建,如果已经实例化了,则不需要加锁,直接获取实例,这种优化提高了高并发下的性能。
getSingleton里为什么会有两个if判空?
假设现在有3个线程:线程A、线程B、线程C。线程A执行第一个if判断为空后,时间片用完让出cpu,切换线程。线程B执行第一个if判断为空后,加锁,加锁后恰好时间片用完,让出cpu。切换到线程C ,判断完第一个if后,因为B没有释放锁,等待时间片结束(cpu空转),切换线程。当再次切换到线程B后,进入同步代码块,先判断singleton是不是null,是null,创建对象,释放锁,返回对象。当执行完第一个if判断后阻塞在加锁的线程 ,抢到锁后,继续执行剩下的代码,在第二个if判断时,因为第一个线程已经创建了对象,则跳过,退出同步代码块,释放锁,得到线程B创建的实例对象。后面再来的线程在第一个if判断返回false后,直接返回线程B创建好的实例对象。
由此可见:第一个if是为了验证是否已经创建了对象,该判断是为了避免不必要的同步,第二个if是为了避免重复创建单例,是给第二个以及后面持有锁的线程准备的。
singleton为什么被volatile修饰
什么是指令重排序:JVM在保证最终结果正确的情况下,可以不按照程序编码的顺序执行语句,尽可能提高程序的性能。
new对象操作在指令层面不是一个原子操作,分为三步:
- 为singleton分配内存空间M
- singleton初始化
- 将singleton指向分配好的内存空间M
在执行new操作时,2、3步可能发生指令重排,会发生下面这种情况:申请空间后,存入地址,但singleton对象还未初始化,切换线程。当新来的线程进行第一个if判断时,因为方法区中singleton里面是有堆中地址的,判断不为null,当return时,因为申请的空间中没有数据,则报空指针异常。
如下图:
使用volatile关键字可以防止指令重排序。使用volatile关键字修饰的变量,可以保证其指令执行的顺序与程序指明的顺序一致,不会发生顺序变换。使用volatile关键字修饰的变量,可以保证其内存可见性,即每一时刻线程读取到该变量的值都是内存中最新的那个值,线程每次操作该变量都需要先读取该变量。文章来源:https://www.toymoban.com/news/detail-613100.html
我在这里对堆、方法区、Java虚拟机栈进行了详解😄😄😄😄文章来源地址https://www.toymoban.com/news/detail-613100.html
到了这里,关于【设计模式】详解单例设计模式(包含并发、JVM)的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!