为什么这个单例构造代码不是线程安全的？

Question

在这段代码中,为什么写成"非线程安全"？谢谢

class Singleton
{
  private static Singleton _instance;

  // Constructor is 'protected'
  protected Singleton()
  {
  }

  public static Singleton Instance()
  {
    // Uses lazy initialization.
    // **Note: this is not thread safe.**
    if (_instance == null)
    {
      _instance = new Singleton();
    }

    return _instance;
  }
}

Answer 1

如果两个线程同时运行if (_instance == null)检查,而没有创建单例实例,则它们都会尝试调用new以创建单例实例并将对它们的引用存储到同一个变量中.

由于它们将尝试存储的引用将在线程之间共享,因此该操作不是线程安全的.也可能会发生创建单个类的两个实例将破坏程序.

Answer 2

因为Singleton不提供_instance属性的互斥.

使用锁来实现线程安全:

Object thisLock = new Object();

public static Singleton Instance()
{
    lock (thisLock)
    {
        if (_instance == null)
        {
           _instance = new Singleton();
        }
    }

    return _instance;
}

这个例子是C# - 我不知道你正在使用哪种编程语言.

http://msdn.microsoft.com/en-us/library/c5kehkcz(VS.90).aspx

Answer 3

基于RPM1984的答案:

我使用以下锁定对象: object thisLock = typeof( Sinlgeton );

要不就

...
lock( typeof( Singleton ) )
{
   ...
}

对于你们中的表现:

public Singleton getInstance()
{
    // the first query may save a performance-wise expensive lock - operation
    if ( null == _instance )
    {
       lock ( typeof( Singleton ) )
       {
          if ( null == _instance )
          {
             _ instance = new Singleton()
          }
       }
    }

    return _instance;
}

BTW:这被称为双锁单例模式.