单例模式、双检测锁定DCL、volatile(转)

单例模式最要关心的则是对象创建的次数以及何时被创建。

Singleton模式可以是很简单的,它的全部只需要一个类就可以完成(看看这章可怜的UML图)。但是如果在“对象创建的次数以及何时被创
建”这两点上较真起来,Singleton模式可以相当的复杂,比头五种模式加起来还复杂,譬如涉及到DCL双锁检测(double checked
locking)的讨论、涉及到多个类加载器(ClassLoader)协同时、涉及到跨JVM(集群、远程EJB等)时、涉及到单例对象被销毁后重建
等。对于复杂的情况,本章中会涉及到其中一些[1]

目的:

希望对象只创建一个实例,并且提供一个全局的访问点。

场景:

Kerrigan对于Zerg来说是个至关重要的灵魂人物,无数的Drone、Zergling、Hydralisk……可以被创造、被牺牲,但
是Kerrigan得存在关系到Zerg在这局游戏中的生存,而且Kerrigan是不允许被多次创造的,必须有且只有一个虫族刀锋女王的实例存在,这不
是游戏规则,但这是个政治问题。

分析:

结构是简单的,只是我们还有一些小小的要求如下:

1.最基本要求:每次从getInstance()都能返回一个且唯一的一个Kerrigan对象。

2.稍微高一点的要求:Kerrigan很忙,很多人找,所以希望这个方法能适应多线程并发访问。

3.再提高一点的要求:Zerg是讲究公务员效率的社会,希望找Kerrigan的方法性能尽可能高。

4.最后一点要求是Kerrigan自己提出的:体谅到Kerrigan太累,希望多些睡觉时间,因此Kerrigan希望实现懒加载(Lazy Load),在需要的时候才被构造。

5.原本打算说还提要处理多ClassLoader、多JVM等情况,不过还是不要把情况考虑的太复杂了,暂且先放过作者吧(-_-#)。

我们第一次写的单例模式是下面这个样子的:

Java代码  

  1. /**
  2. * 实现单例访问Kerrigan的第一次尝试
  3. */
  4. public class SingletonKerriganA {
  5. /**
  6. * 单例对象实例
  7. */
  8. private static SingletonKerriganA instance = null;
  9. public static SingletonKerriganA getInstance() {
  10. if (instance == null) {                              //line A
  11. instance = new SingletonKerriganA();          //line B
  12. }
  13. return instance;
  14. }
  15. }

这个写法我们把四点需求从上往下检测,发现第二点的时候就出了问题,假设这样的场景:两个线程并发调用
SingletonKerriganA.getInstance(),假设线程一先判断完instance是否为null,既代码中的line
A进入到line B的位置。刚刚判断完毕后,JVM将CPU资源切换给线程二,由于线程一还没执行line
B,所以instance仍然是空的,因此线程二执行了new
SignletonKerriganA()操作。片刻之后,线程一被重新唤醒,它执行的仍然是new
SignletonKerriganA()操作,好了,问题来了,两个Kerrigan谁是李逵谁是李鬼?

紧接着,我们做单例模式的第二次尝试:

Java代码  

  1. /**
  2. * 实现单例访问Kerrigan的第二次尝试
  3. */
  4. public class SingletonKerriganB {
  5. /**
  6. * 单例对象实例
  7. */
  8. private static SingletonKerriganB instance = null;
  9. public synchronized static SingletonKerriganB getInstance() {
  10. if (instance == null) {
  11. instance = new SingletonKerriganB();
  12. }
  13. return instance;
  14. }
  15. }

比起第一段代码仅仅在方法中多了一个synchronized修饰符,现在可以保证不会出线程问题了。但是这里有个很大(至少耗时比例上很大)的
性能问题。除了第一次调用时是执行了SingletonKerriganB的构造函数之外,以后的每一次调用都是直接返回instance对象。返回对象
这个操作耗时是很小的,绝大部分的耗时都用在synchronized修饰符的同步准备上,因此从性能上说很不划算。

那继续把代码改成下面的样子:

Java代码  

  1. /**
  2. * 实现单例访问Kerrigan的第三次尝试
  3. */
  4. public class SingletonKerriganC {
  5. /**
  6. * 单例对象实例
  7. */
  8. private static SingletonKerriganC instance = null;
  9. public static SingletonKerriganC getInstance() {
  10. synchronized (SingletonKerriganC.class) {
  11. if (instance == null) {
  12. instance = new SingletonKerriganC();
  13. }
  14. }
  15. return instance;
  16. }
  17. }

基本上,把synchronized移动到代码内部是没有什么意义的,每次调用getInstance()还是要进行同步。同步本身没有问题,但是我们只希望在第一次创建Kerrigan实例的时候进行同步,因此我们有了下面的写法——双重锁定检查(DCL)。

Java代码  

  1. /**
  2. * 实现单例访问Kerrigan的第四次尝试
  3. */
  4. public class SingletonKerriganD {
  5. /**
  6. * 单例对象实例
  7. */
  8. private static SingletonKerriganD instance = null;
  9. public static SingletonKerriganD getInstance() {
  10. if (instance == null) {
  11. synchronized (SingletonKerriganD.class) {
  12. if (instance == null) {
  13. instance = new SingletonKerriganD();
  14. }
  15. }
  16. }
  17. return instance;
  18. }
  19. }

看起来这样已经达到了我们的要求,除了第一次创建对象之外,其他的访问在第一个if中就返回了,因此不会走到同步块中。已经完美了吗?

我们来看看这个场景:假设线程一执行到instance = new
SingletonKerriganD()这句,这里看起来是一句话,但实际上它并不是一个原子操作(原子操作的意思就是这条语句要么就被执行完,要么就
没有被执行过,不能出现执行了一半这种情形)。事实上高级语言里面非原子操作有很多,我们只要看看这句话被编译后在JVM执行的对应汇编代码就发现,这句
话被编译成8条汇编指令,大致做了3件事情:

1.给Kerrigan的实例分配内存。

2.初始化Kerrigan的构造器

3.将instance对象指向分配的内存空间(注意到这步instance就非null了)。

但是,由于Java编译器允许处理器乱序执行(out-of-order),以及JDK1.5之前JMM(Java Memory
Medel)中Cache、寄存器到主内存回写顺序的规定,上面的第二点和第三点的顺序是无法保证的,也就是说,执行顺序可能是1-2-3也可能是
1-3-2,如果是后者,并且在3执行完毕、2未执行之前,被切换到线程二上,这时候instance因为已经在线程一内执行过了第三
点,instance已经是非空了,所以线程二直接拿走instance,然后使用,然后顺理成章地报错,而且这种难以跟踪难以重现的错误估计调试上一星
期都未必能找得出来,真是一茶几的杯具啊。

DCL的写法来实现单例是很多技术书、教科书(包括基于JDK1.4以前版本的书籍)上推荐的写法,实际上是不完全正确的。的确在一些语言(譬如
C语言)上DCL是可行的,取决于是否能保证2、3步的顺序。在JDK1.5之后,官方已经注意到这种问题,因此调整了JMM、具体化了volatile
关键字,因此如果JDK是1.5或之后的版本,只需要将instance的定义改成“private volatile static
SingletonKerriganD instance =
null;”就可以保证每次都去instance都从主内存读取,就可以使用DCL的写法来完成单例模式。当然volatile或多或少也会影响到性能,
最重要的是我们还要考虑JDK1.42以及之前的版本,所以本文中单例模式写法的改进还在继续。

代码倒越来越复杂了,现在先来个返璞归真,根据JLS(Java Language Specification)中的规定,一个类在一个ClassLoader中只会被初始化一次,这点是JVM本身保证的,那就把初始化实例的事情扔给JVM好了,代码被改成这样:

Java代码  

  1. /**
  2. * 实现单例访问Kerrigan的第五次尝试
  3. */
  4. public class SingletonKerriganE {
  5. /**
  6. * 单例对象实例
  7. */
  8. private static SingletonKerriganE instance = new SingletonKerriganE();
  9. public static SingletonKerriganE getInstance() {
  10. return instance;
  11. }
  12. }

好吧,如果这种写法是完美的话,那前面那么几大段话就是作者在消遣各位读者。这种写法不会出现并发问题,但是它是饿汉式的,在
ClassLoader加载类后Kerrigan的实例就会第一时间被创建,饿汉式的创建方式在一些场景中将无法使用:譬如Kerrigan实例的创建是
依赖参数或者配置文件的,在getInstance()之前必须调用某个方法设置参数给它,那样这种单例写法就无法使用了。

再来看看下面这种我觉得能应对较多场景的单例写法:

Java代码  

  1. /**
  2. * 实现单例访问Kerrigan的第六次尝试
  3. */
  4. public class SingletonKerriganF {
  5. private static class SingletonHolder {
  6. /**
  7. * 单例对象实例
  8. */
  9. static final SingletonKerriganF INSTANCE = new SingletonKerriganF();
  10. }
  11. public static SingletonKerriganF getInstance() {
  12. return SingletonHolder.INSTANCE;
  13. }
  14. }

这种写法仍然使用JVM本身机制保证了线程安全问题;由于SingletonHolder是私有的,除了getInstance()之外没有办法访问它,因此它是懒汉式的;同时读取实例的时候不会进行同步,没有性能缺陷;也不依赖JDK版本。

其他单例模式的写法还有很多,如使用本地线程(ThreadLocal)来处理并发以及保证一个线程内一个单例的实现、GoF原始例子中使用注册
方式应对单例类需要需要继承时的实现、使用指定类加载器去应对多ClassLoader环境下的实现等等。我们做开发设计工作的时,应当既要考虑到需求可
能出现的扩展与变化,也应当避免“幻影需求”导致无谓的提升设计、实现复杂度,最终反而带来工期、性能和稳定性的损失。设计不足与设计过度都是危害,所以
说没有最好的单例模式,只有最合适的单例模式。

到这里为止,单例模式本身就先告一段落了,最后在介绍从其他途径屏蔽构造单例对象的方法:

1.直接new单例对象

2.通过反射构造单例对象

3.通过序列化构造单例对象。

对于第一种情况,一般我们会加入一个private或者protected的构造函数,这样系统就不会自动添加那个public的构造函数了,因此只能调用里面的static方法,无法通过new创建对象。

对于第二种情况,反射时可以使用setAccessible方法来突破private的限制,我们需要做到第一点工作的同时,还需要在在
ReflectPermission("suppressAccessChecks")
权限下使用安全管理器(SecurityManager)的checkPermission方法来限制这种突破。一般来说,不会真的去做这些事情,都是通
过应用服务器进行后台配置实现。

对于第三种情况,如果单例对象有必要实现Serializable接口(很少出现),则应当同时实现readResolve()方法来保证反序列化的时候得到原来的对象。

基于上述情况,将单例模式增加两个方法:

Java代码  

  1. /**
  2. * 能应对大多数情况的单例实现
  3. */
  4. public class SingletonKerrigan implements Serializable {
  5. private static class SingletonHolder {
  6. /**
  7. * 单例对象实例
  8. */
  9. static final SingletonKerrigan INSTANCE = new SingletonKerrigan();
  10. }
  11. public static SingletonKerrigan getInstance() {
  12. return SingletonHolder.INSTANCE;
  13. }
  14. /**
  15. * private的构造函数用于避免外界直接使用new来实例化对象
  16. */
  17. private SingletonKerrigan() {
  18. }
  19. /**
  20. * readResolve方法应对单例对象被序列化时候
  21. */
  22. private Object readResolve() {
  23. return getInstance();
  24. }
  25. }

总结:

本章通过一次次的的尝试,去了解单例模式各种实现方案的优缺点。对双锁锁定检测进行了简单的讨论,相信大家能从各种尝试的演化过程中,明白为何单例模式是最简单而又最复杂的一种构造模式。

---------------volatile介绍-----------------

java的volatile是什么意思

我们知道,在Java中设置变量值的操作,除了long和double类型的变量外都是原子操作,也就是说,对于变量值的简单读写操作没有必要进行同步。

这在JVM 1.2之前,Java的内存模型实现总是从主存读取变量,是不需要进行特别的注意的。而随着JVM的成熟和优化,现在在多线程环境下volatile关键字的使用变得非常重要。

在当前的Java内存模型下,线程可以把变量保存在本地内存(比如机器的寄存器)中,而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个变量的值,而另外一个线程还继续使用它在寄存器中的变量值的拷贝,造成数据的不一致。

要解决这个问题,只需要像在本程序中的这样,把该变量声明为volatile(不稳定的)即可,这就指示JVM,这个变量是不稳定的,每次使用它都到主存中进行读取。一般说来,多任务环境下各任务间共享的标志都应该加volatile修饰。

Volatile修饰的成员变量在每次被线程访问时,都强迫从共享内存中重读该成员变量的值。而且,当成员变量发生变化时,强迫线程将变化值回写到共享内存。这样在任何时刻,两个不同的线程总是看到某个成员变量的同一个值。

Java语言规范中指出:为了获得最佳速度,允许线程保存共享成员变量的私有拷贝,而且只当线程进入或者离开同步代码块时才与共享成员变量的原始值对比。

这样当多个线程同时与某个对象交互时,就必须要注意到要让线程及时的得到共享成员变量的变化。

而volatile关键字就是提示VM:对于这个成员变量不能保存它的私有拷贝,而应直接与共享成员变量交互。

使用建议:在两个或者更多的线程访问的成员变量上使用volatile。当要访问的变量已在synchronized代码块中,或者为常量时,不必使用。

由于使用volatile屏蔽掉了VM中必要的代码优化,所以在效率上比较低,因此一定在必要时才使用此关键字。

注:我在单例模式中用到此关键字.

$$ 单例的一个例子:

Java代码  

    1. public class Singleton(){
    2. private volatile static Singleton singleton;
    3. private Sington(){};
    4. public static Singleton getInstance(){
    5. if(singleton == null){
    6. synchronized (Singleton.class);
    7. if(singleton == null){
    8. singleton = new Singleton();
    9. }
    10. }
    11. }
    12. return singleton;
    13. }
    14. }
时间: 2024-10-05 20:13:57

单例模式、双检测锁定DCL、volatile(转)的相关文章

单例模式、双检测锁定DCL、volatile详解

单例模式最要关心的则是对象创建的次数以及何时被创建. Singleton模式可以是很简单的,它的全部只需要一个类就可以完成(看看这章可怜的UML图).但是如果在"对象创建的次数以及何时被创建"这两点上较真起来,Singleton模式可以相当的复杂,比头五种模式加起来还复杂,譬如涉及到DCL双锁检测(double checked locking)的讨论.涉及到多个类加载器(ClassLoader)协同时.涉及到跨JVM(集群.远程EJB等)时.涉及到单例对象被销毁后重建等.对于复杂的情况

Java多线程 -- 单例模式的Double-checked Locking (DCL)问题

Double-checked Locking (DCL)用来在lazy initialisation 的单例模式中避免同步开销的一个方法. 下面是这么做的一个例子. [java] view plaincopy public class MyFactory { private static MyFactory instance; public synchronized static MyFactory getFactory() { if (instance == null) instance = 

【C++设计模式】单件类与DCLP(Double Check Lock Pattern)的风险

[单件类] 保证只能有一个实例化对象,并提供全局的访问入口. [设计注意事项] 1.阻止所有实例化的方法: private 修饰构造函数,赋值构造函数,赋值拷贝函数. 2.定义单实例化对象的方法: a.使用static 修饰 b.使用new+delete的方法 3.多线程版本: 使用双检测锁定,即先检测单实例对象是否存在:不存在,使能"锁",再次判断实例是否存在,不存在就创建该单实例对象. A.单层锁示例: Singleton* Singleton::getInstance() { L

C++设计模式-单件

理解 1.       Singleton模式用来取代全局静态变量.C++通过静态成员变量来实现类实例全局唯一性. 2.       instance()方法是单件提供的唯一调用入口. 要点 1.       为了防止外界调用产生多个实例,将构造方法.析构方法.拷贝构造方法.赋值重载方法都作为protected. 2.       instance()方法产生对象方式有两种:使用局部static对象,生命期在首次进入局部生命期产生(见下面),在程序结束时销毁:通过new产生新对象,在析构方法中d

探索设计模式之----单例模式

Singleton模式可以是很简单的,它的全部只需要一个类就可以完成.但是如果在"对象创建的次数以及何时被创建"这两点上较真起来,Singleton模式可以相当的复杂. 结构是简单的,只是我们还有一些小小的要求如下: 1.最基本要求:每次从getInstance()都能返回一个且唯一的一个对象. 2.稍微高一点的要求:希望这个方法能适应多线程并发访问. 3.再提高一点的要求:方法性能尽可能高. 4.最后一点要求是:希望实现懒加载(Lazy Load),在需要的时候才被构造. 目的:希望

设计模式:单例模式(Singleton)

??单例模式在23个设计模式中算得上是最简单的一个了,也行你会有异议,那就换成"最简单之一",这样就严谨了很多. ??单例模式:保证一个类仅有一个实例,并提供一个访问它的全局访问点. ??适用性:当类只能有一个实例而且客户可以从一个众所周知的访问点访问它时.当这个唯一实例应该是通过子类化可扩展的,并且客户应该无需更改代码就能使用一个扩展的实例时. 单例模式有5中写法(线程安全): 1. 饿汉式 2. 懒汉式 3. 双检索(DCL) 4. 占位符式 5. 枚举式 下面分别展示这五种写法(

单例模式你会几种写法?(转)

前言 只有光头才能变强 回顾前面: 给女朋友讲解什么是代理模式 包装模式就是这么简单啦 本来打算没那么快更新的,这阵子在刷Spring的书籍.在看Spring的时候又经常会看到"单例","工厂"这些字样. 所以,就先来说说单例和工厂设计模式啦,这两种模式也是很常见的,我看很多面经都会遇到这两种模式~ 本文主要讲解单例设计模式,如果有错的地方希望能多多包涵,并不吝在评论区指正! 一.单例模式概述 单例模式定义很简单:一个类中能创建一个实例,所以称之为单例! 那我们什么

volatile学习

第一.java内存模型 共享内存模型指的就是Java内存模型(简称JMM),JMM决定一个线程对共享变量的写入时,能对另一个线程可见. 从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memory)中, 每个线程都有一个私有的本地内存(local memory),本地内存中存储了该线程以读/写共享变量的副本. 本地内存是JMM的一个抽象概念,并不真实存在.它涵盖了缓存,写缓冲区,寄存器以及其他的硬件和编译器优化. JMM关于同步的规定: 1 线

如何保证单例模式在多线程中的线程安全性

对大数据.分布式.高并发等知识的学习必须要有多线程的基础.这里讨论一下如何在多线程的情况下设计单例模式.在23中设计模式中单例模式是比较常见的,在非多线程的情况下写单例模式,考虑的东西会很少,但是如果将多线程和单例模式结合起来,考虑的事情就变多了,如果使用不当(特别是在生成环境中)就会造成严重的后果.所以如何使单例模式在多线程中是安全的显得尤为重要,下面介绍各个方式的优缺点以及可用性: 1.立即加载(饿汉模式) 立即加载模式就是在调用getInstance()方法前,实例就被创建了,例: pub