Singleton和Double Check

首先看一段比较经典的代码：

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

在这段代码里，对instance == null 的两次检查就是我们所说的Double Check. 而对于为什么要做两次，网上的资料不胜枚举，这里就不多说了。

现在的问题是，这样的double check 并不能保证线程安全。

关键在于Java 变量初始化以及赋值的顺序。简单地说，上面的程序中， instance = new Singleton() 这一句的操作过程是这样的：

1。 为instance 分配空间

2。 将instance 指向港分配的空间

3。 为instance 赋值

可以看到，如果在完成步骤2 的时候，有一个新线程进入到上面程序中注0 的地方。那么，将会发生的情况是不可预料的。

道理很简单。可惜以讹传讹的情况在网上太多了。

至于解决方法，只有定义实例变量的时候就完成初始化和赋值。比如:

class Singleton
...{
  private Vector v;
  private boolean inUse;
  private static Singleton instance = new Singleton();

  private Singleton()
  ...{
    v = new Vector();
    inUse = true;
    //...
  }

  public static Singleton getInstance()
  ...{
    return instance;
  }
}

或者，老老实实用synchronized 方法吧。

REF: http://www.ibm.com/developerworks/library/j-dcl.html

 

 

评论

1 楼 dr2tr 2008-08-27  

刚看到eye上面另一位老兄的文章，http://lucaslee.iteye.com/blog/211471， 对于out-of-order writes，有一个可能的解决办法，“对32位的原始类型的Double-checked locking是可以的”。REF：http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html