Markdown版本笔记 我的GitHub首页 我的博客 我的微信 我的邮箱
MyAndroidBlogs baiqiantao baiqiantao bqt20094 baiqiantao@sina.com

Singleton 单例模式 设计模式 Single


目录

简介

作用:保证类只有一个实例;提供一个全局访问点

JDK中的案例:

  1. java.lang.Runtime#getRuntime()

单例模式的几种方式

饿汉式:简单安全,但浪费资源

  • 优点:以空间换时间。因为静态变量会在类加载时初始化,此时不会涉及多个线程对象访问该对象的问题,虚拟机保证只会加载一次该类,肯定不会发生并发访问的问题,因此,可以省略 synchronized 关键字。
  • 问题:如果只是加载本类,而不调用 getInstance(),甚至永远都不调用,则会造成资源浪费
  1. class Single {
  2. private static Single SINGLETON = new Single();//类加载的时候会连带着创建实例
  3. private Single() {
  4. System.out.println("创建了实例");
  5. }
  6. public static Single getInstance() {
  7. return SINGLETON;
  8. }
  9. }

懒汉式

简单懒汉式:高效,但不安全

  • 优点:以时间换空间。延时加载,懒加载,用的时候才加载,不会像饿汉式那样可能造成资源浪费!
  • 问题:在多线程环境下存在风险
  1. class Single {
  2. private static Single SINGLETON;
  3. private Single() {
  4. System.out.println("创建了实例");
  5. }
  6. public static Single getInstance() {
  7. if (SINGLETON == null) SINGLETON = new Single();
  8. return SINGLETON;
  9. }
  10. }

线程安全问题出现场景

如果两个线程A和B同时调用了该方法,然后以如下方式执行:

  • A进入if判断,此时 instance 为 null,因此进入if内
  • B进入if判断,此时A还没有创建 instance,因此 instance 也为 null,因此B也进入if内
  • A创建了一个instance并返回
  • 虽然此时 instance 不为 null,但因为B已经进入了if判断,所以B也会创建一个instance并返回
  • 此时问题出现了,我们的单例被创建了两次!

验证测试代码

验证逻辑很简单,首先在单例的构造方法中打印一条日志,然后我们创建几十上百个线程,并发的去调用单例模式的getInstance()方法,通过日志打印来判断到底执行了几次构造方法,依次来验证此种单例模式是否是安全的。

  1. public class Test {
  2. public static void main(String[] args) {
  3. Runnable runnable = new Runnable() {
  4. @Override
  5. public void run() {
  6. Single.getInstance();
  7. }
  8. };
  9. for (int i = 0; i < 100; i++) {
  10. new Thread(runnable).start();
  11. }
  12. }
  13. }

经过测试,这种场景下多次创建Single实例并非是小概率事件,反而是大概率事件!

加同步锁方式:性能差

以上问题最直观的解决办法就是给getInstance方法加上一个synchronize锁,这样每次只允许一个线程调用getInstance方法:

  1. class Single {
  2. private static Single SINGLETON;
  3. private Single() {
  4. System.out.println("创建了实例");
  5. }
  6. public static synchronized Single getInstance() {
  7. if (SINGLETON == null) SINGLETON = new Single();
  8. return SINGLETON;
  9. }
  10. }

这种解决办法的确可以防止错误的出现,但是它却很影响性能:每次调用getInstance方法的时候都必须获得Singleton.class锁!

而实际上,仅仅在创建实例时有线程安全问题,而当单例实例被创建以后,其后的请求没有必要再使用互斥机制了。

双重检查加锁模式:高效且安全

基本形式

目前大量人使用的都是这个double-checked locking的解决方案:

  1. class Single {
  2. private static Single SINGLETON; //没添加【volatile】关键字之前
  3. private Single() {
  4. System.out.println("创建了实例");
  5. }
  6. public static Single getInstance() {
  7. if (SINGLETON == null) { //目的是为了提高性能,避免非必要加锁
  8. synchronized (Single.class) { //加锁保证现场安全
  9. if (SINGLETON == null) SINGLETON = new Single(); //避免重复创建实例
  10. }
  11. }
  12. return SINGLETON;
  13. }
  14. }

让我们来看一下这个代码是如何工作的:

  • 当一个线程调用getInstance()方法后,首先会先检查SINGLETON是否为null,如果不是则直接返回其内容,这样避免了进入synchronized块所需要花费的资源。
  • 其次,即使上面提到的情况发生了,即两个线程同时进入了第一个if判断,那么他们也必须按照顺序执行synchronized块中的代码,第一个进入代码块的线程会创建一个新的Single实例,而后续的线程则因为无法通过if判断,而不会创建多余的实例。

存在的安全隐患:指令重排序

上述描述似乎已经解决了我们面临的所有问题,但实际上,从JVM的角度讲,这些代码仍然可能发生错误。

对于JVM而言,它执行的是一个个Java指令。在Java指令中创建对象和赋值操作是分开进行的,也就是说SINGLETON = new Single();语句是分两步执行的,但是JVM并不保证这两个操作的先后顺序,也就是说有可能JVM会先为新的Single实例分配空间,然后直接赋值给SINGLETON,然后再去初始化这个Single实例。即先赋值指向了内存地址,再初始化,这样就使出错成为了可能。

我们仍然以A、B两个线程为例:

  • A、B线程同时进入了第一个 if 判断
  • A首先进入synchronized块,由于SINGLETON为null,所以它执行SINGLETON = new Single();
  • 由于JVM内部的优化机制,JVM先划出了一些分配给Single实例的空白内存,并赋值给SINGLETON成员(注意此时JVM没有开始初始化这个实例),然后A离开了synchronized块。
  • 然后B进入synchronized块,由于SINGLETON此时不是null,因此它马上离开了synchronized块并将结果返回给调用该方法的程序。
  • 此时B线程打算使用Single实例,却发现它没有被初始化,于是错误发生了。

下面参考另一篇文章的描述,意思是一样的

问题主要在于SINGLETON = new Single();这段代码并不是原子操作,原子性:即一个操作或者多个操作,要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行(事务)。

SINGLETON = new Single();其实做了三件事情:

  • 给 SINGLETON 实例分配内存
  • 初始化 Single() 实例
  • 将SINGLETON对象指向 new Single() 分配的内存空间

问题就出在这儿了,因为JVM中有指令重排序的优化,所以呢正常情况按照1,2,3的顺序来,没毛病,但是也可能按照1,3,2的顺序来,这个时候就有问题了,调用的时候判断 SINGLETON != null 就直接返回 SINGLETON 实例,但是这个时候并没有进行初始化工作,所以在后续的调用中肯定就会报错了。

所以这里需要引入了 volatile 修饰符修饰 SINGLETON 对象,因为 volatile 能够禁止指令重排序的功能,所以能解决我们的这个问题

以上情况只是理论分析,实际我经过大量测试发现,这种情况根本展示不出来。但是面试时这个是非常重要的知识点。

添加 volatile 后的终极形式

JDK1.5之后,官方也发现了这个问题,故而具体化了 volatile,即在JDK1.6及以后,只要定义为private volatile static就可解决 DCL 失效问题。

volatile 确保 INSTANCE 每次均在主内存中读取,这样虽然会牺牲一点效率,但也无伤大雅。

  1. class Single {
  2. private static volatile Single SINGLETON; //添加【volatile】关键字
  3. private Single() {
  4. System.out.println("创建了实例");
  5. }
  6. public static Single getInstance() {
  7. if (SINGLETON == null) { //目的是为了提高性能,避免非必要获取锁
  8. synchronized (Single.class) { //加锁
  9. if (SINGLETON == null) SINGLETON = new Single(); //线程安全
  10. }
  11. }
  12. return SINGLETON;
  13. }
  14. }

静态内部类方式:【推荐】

JVM内部的机制能够保证当一个类被加载的时候,这个类的加载过程是线程互斥的。这样当我们第一次调用getInstance的时候,JVM能够帮我们保证INSTANCE只被创建一次,并且会保证把赋值给INSTANCE的内存初始化完毕,这样我们就不用担心上面的问题。

另外,INSTANCE是在第一次加载SingleHolder时被创建的,而SingleHolder则只在调用getInstance方法的时候才会被加载,因此也实现了懒加载。

总结:不会像饿汉式那样立即加载对象,且加载类时是线程安全的,从而兼具了并发高效调用和延迟加载的优势!

  1. class Single {
  2. private Single() {
  3. System.out.println("创建了实例");
  4. }
  5. public static Single getInstance() { //只有调用getInstance时才会加载静态内部类
  6. return SingleHolder.SINGLETON;
  7. }
  8. private static class SingleHolder {
  9. private static final Single SINGLETON = new Single();
  10. }
  11. }

这种方法不仅能确保线程安全,也能保证单例的唯一性,同时也延迟了单例的实例化。

枚举式:天然的防止反射

线程安全、调用效率高,但不能延时加载,并且可以天然的防止反射和反序列化漏洞!

  1. enum Single {
  2. SINGLETON;//定义一个枚举的元素,它就代表了Single的一个实例。元素的名字随意。
  3. Single() {
  4. System.out.println("创建了实例");
  5. }
  6. }

2017-11-27

Singleton 单例模式 MD的更多相关文章

  1. singleton单例模式

    单例设计模式 单例设计模式概述    单例模式就是要确保类在内存中只有一个对象,该实例必须自动创建,并且对外提供    优点:    在系统内存中只存在一个对象,因此可以解决系统资源,对于一些需要频繁 ...

  2. 设计模式01: Singleton 单例模式(创建型模式)

    Singleton 单例模式(创建型模式) 动机(Motivation)当进行软件开发是会有这样一种需求:在系统中只有存在一个实例才能确保它们的逻辑正确性.以及良好的效率.这应该是类设计者的责任,而不 ...

  3. Singleton单例模式是最简单的设计模式,它的主要作用是保证在程序执行生命周期中,使用了单类模式的类仅仅能有一个实例对象存在。

                                                                                                        ...

  4. SingleTon单例模式总结篇

    在Java设计模式中,单例模式相对来说算是比较简单的一种构建模式.适用的场景在于:对于定义的一个类,在整个应用程序执行期间只有唯一的一个实例对象. 一,懒汉式: 其特点是延迟加载,即当需要用到此单一实 ...

  5. (转)Singleton 单例模式(懒汉方式和饿汉方式)

    原文地址:http://www.cnblogs.com/kkgreen/archive/2011/09/05/2166868.html 单例模式的概念: 单例模式的意思就是只有一个实例.单例模式确保某 ...

  6. 单例模式简单解析--Singleton 单例模式(懒汉方式和饿汉方式)

    单例模式的概念: 单例模式的意思就是只有一个实例.单例模式确保某一个类只有一个实例,而且自行实例化并向整个系统提供这个实例.这个类称为单例类. 关键点: 1)一个类只有一个实例       这是最基本 ...

  7. Java Singleton 单例模式

    大家可能还听过 Singleton  也就是单例模式 这个单例模式要求 在程序的运行时候   一个程序的某个类 只允许产生一个 实例 那么 这个类就是一个单例类 Java Singleton模式主要作 ...

  8. 【转】Singleton单例模式

    对于系统中的某些类来说,只有一个实例很重要,例如,一个系统中可以存在多个打印任务,但是只能有一个正在工作的任务:一个系统只能有一个窗口管理器或文件系统:一个系统只能有一个计时工具或ID(序号)生成器. ...

  9. 设计模式C++学习笔记之三(Singleton单例模式)

    单例模式看起来也蛮简单的,就是在系统中只允许产生这个类的一个实例,既然这么简单,就直接贴代码了.更详细的内容及说明可以参考原作者博客:cbf4life.cnblogs.com. 3.1.解释 main ...

随机推荐

  1. <泛> STL - vector 模拟实现

    今天为大家带来一个模拟STL-vector的模板实现代码. 首先看一下测试结果,之后再为大家呈现设计 测试效果 测试代码 #include<iostream> #include<ve ...

  2. Logback配置解析

    logback优点 比较吸引的几个优点如下: 内核重写,初始化内存加载更小 文档比较齐全 支持自动重新加载配置文件,扫描过程快且安全,它并不需要另外创建一个扫描线程 支持自动去除旧的日志文件,可以控制 ...

  3. Python 随机数函数

    random.random random.random()用于生成一个0到1的随机符点数: 0 <= n < 1.0 描述 random() 方法返回随机生成的一个实数,它在[0,1)范围 ...

  4. [ 原创 ] Java基础9--final throw throws finally的区别

    final修饰的类不可被继承,final修饰的方法可以被继承但不能被重写(覆盖) final用于可以声明属性和方法,分别表示属性的不可变及方法的不可覆盖.不是方法的不可继承 throw是用来明确地抛出 ...

  5. [Luogu5162]WD与积木(多项式求逆)

    不要以为用上Stirling数就一定离正解更近,FFT都是从DP式本身出发的. 设f[i]为i个积木的所有方案的层数总和,g[i]为i个积木的方案数,则答案为$\frac{f[i]}{g[i]}$ 转 ...

  6. bzoj 4176: Lucas的数论 -- 杜教筛,莫比乌斯反演

    4176: Lucas的数论 Time Limit: 30 Sec  Memory Limit: 256 MB Description 去年的Lucas非常喜欢数论题,但是一年以后的Lucas却不那么 ...

  7. Codeforces Beta Round #97 (Div. 1) A. Replacement 水题

    A. Replacement 题目连接: http://codeforces.com/contest/135/problem/A Description Little Petya very much ...

  8. Pyhton 编程风格

    博文概要:1.Python语句和语法2.Python标识符3.基本编程风格 一.Python语句和语法 1.可以从一行的任何地方开始2.续行 \: ''':闭合操作符,单一语句跨多行 3.代码组 .缩 ...

  9. configure: error: libpam required but missing

    安装pam-devel:yum install pam-devel

  10. [MySql]锁表与解锁

    摘要 为啥会出现锁表的情况?锁表会导致数据表的其他操作超时,频繁的插入修改查询很容易出现锁表的情况.如果遇到这种情况,临时的解决办法,可以通过下面的方式进行解锁.如果长期有效的解决,那么就需要优化项目 ...