快速业务通道

Java模式设计之单例模式(四) - 编程入门网

作者 佚名技术 来源 NET编程 浏览 发布时间 2012-06-22
en multithreaded version // "Double-Checked Locking" idiom class Foo {   private Helper helper = null;   public Helper getHelper()   {    if (helper == null) //第一次检查(位置1)    {     //这里会有多于一个的线程同时到达 (位置2)     synchronized(this)     {      //这里在每个时刻只能有一个线程 (位置3)      if (helper == null) //第二次检查 (位置4)      {       helper = new Helper();      }     }    }    return helper;   }   // other functions and members... }

这是一个错误的例子,详情请见下面的解释。

Java模式设计之单例模式(四)(6)

时间:2010-12-14

对于初次接触双重检查成例的读者来说,这个技巧的思路并不明显易懂。因此,本节在这里给出一个详尽的解释。同样,这里假设线程A 和B 作为第一批调用者同时或几乎同时调用静态工厂方法。

(1) 因为线程A 和B 是第一批调用者,因此,当它们进入此静态工厂方法时,helper 变量是null。因此,线程A 和B 会同时或几乎同时到达位置1。

(2)假设线程A 会首先到达位置2,并进入synchronized(this) 到达位置3。这时,由于synchronized(this) 的同步化限制,线程B 无法到达位置3,而只能在位置2 等候。

(3)线程A 执行helper = new Helper() 语句,使得helper 变量得到一个值,即对一个Helper 对象的引用。此时,线程B 只能继续在位置2 等候。

(4)线程A 退出synchronized(this) ,返回Helper 对象,退出静态工厂方法。

(5)线程B 进入synchronized(this) 块,达到位置3,进而达到位置4。由于helper 变量已经不是null 了,因此线程B 退出synchronized(this),返回helper 所引用的Helper 对象(也就是线程A 所创建的Helper 对象),退出静态工厂方法。

到此为止,线程A 和线程B 得到了同一个Helper 对象。可以看到,在上面的方法

getInstance() 中,同步化仅用来避免多个线程同时初始化这个类,而不是同时调用这个静态工厂方法。如果这是正确的,那么使用这一个成例之后,“ 懒汉式”单例类就可以摆脱掉同步化瓶颈,达到一个很妙的境界。

代码清单16:使用了双重检查成例的懒汉式单例类

public class LazySingleton {   private static LazySingleton m_instance = null;   private LazySingleton() { }   /**   * 静态工厂方法   */   public static LazySingleton getInstance()   {    if (m_instance == null)    {    //More than one threads might be here!!!    synchronized(LazySingleton.class)    {     if (m_instance == null)     {      m_instance = new LazySingleton();     }    }   }   return m_instance; } }

这是一个错误的例子,请见下面的解释。

第一次接触到这个技巧的读者必定会有很多问题,诸如第一次检查或者第二次检查可不可以省掉等。回答是:按照多线程的原理和双重检查成例的预想方案,它们是不可以省掉的。本节不打算讲解的原因在于双重检查成例在Java 编译器中根本不能成立。

双重检查成例对Java 语言编译器不成立

令人吃惊的是,在C 语言里得到普遍应用的双重检查成例在多数的Java 语言编译器里面并不成立[BLOCH01, GOETZ01, DCL01] 。上面使用了双重检查成例的“懒汉式”单例类,不能工作的基本原因在于,在Java 编译器中,LazySingleton 类的初始化与m_instance 变量赋值的顺序不可预料。如果一个线程在没有同步化的条件下读取m_instance 引用,并调用这个对象的方法的话,可能会发现对象的初始化过程尚未完成,从而造成崩溃。

文献[BLOCH01] 指出:一般而言,双重检

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务,公司网站:http://www.lingzhong.cn 为了给广大客户了解更多的技术信息,本技术文章收集来源于网络,凌众科技尊重文章作者的版权,如果有涉及你的版权有必要删除你的文章,请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息,谢谢!

分享到: 更多

Copyright ©1999-2011 厦门凌众科技有限公司 厦门优通互联科技开发有限公司 All rights reserved

地址(ADD):厦门软件园二期望海路63号701E(东南融通旁) 邮编(ZIP):361008

电话:0592-5908028 传真:0592-5908039 咨询信箱:web@lingzhong.cn 咨询OICQ:173723134

《中华人民共和国增值电信业务经营许可证》闽B2-20100024  ICP备案:闽ICP备05037997号