这个图案的名字？ （答案：带有双重检查锁定的延迟初始化）

Question

考虑以下代码：

public class Foo
{
    private static object _lock = new object();

    public void NameDoesNotMatter()
    {
        if( SomeDataDoesNotExist() )
        {
            lock(_lock)
            {
                if( SomeDataDoesNotExist() )
                {
                    CreateSomeData();
                }
                else
                {
                    // someone else also noticed the lack of data.  We
                    // both contended for the lock.  The other guy won
                    // and created the data, so we no longer need to.
                    // But once he got out of the lock, we got in.
                    // There's nothing left to do.
                }
            }
        }
    }

    private bool SomeDataDoesNotExist()
    {
        // Note - this method must be thread-safe.
        throw new NotImplementedException();
    }

    private bool CreateSomeData()
    {
        // Note - This shouldn't need to be thread-safe
        throw new NotImplementedException();
    }
}

首先，我需要声明一些假设：

1. 有一个很好的理由我不能在应用程序启动后就这样做。也许数据还不可用，等等。

2. Foo 可以被实例化并从两个或多个线程同时使用。我希望其中一个最终创建一些数据（但不是两者），然后我将允许两者访问相同的数据（忽略访问数据的线程安全性）

3. SomeDataDoesNotExist() 的成本并不大.

现在，这不一定局限于某些数据创建情况，但这是我能想到的一个例子。

我对识别为模式特别感兴趣的部分是检查 ->锁->查看。我曾多次向开发人员解释这种模式，他们乍一看并没有理解该算法，但随后就会欣赏它。

无论如何，其他人也必须这样做。这是标准化模式吗？它叫什么？

Answer 1

虽然我可以理解您可能认为这看起来像双重检查锁定，但它实际上看起来是危险地破坏和不正确的双重检查锁定。如果没有 SomeDataDoesNotExist 和 CreateSomeData 的实际实现来进行批评，我们就无法保证这个东西在每个处理器上实际上都是线程安全的。

有关双重检查锁定如何出错的分析示例，请查看双重检查锁定的损坏且不正确的版本：

C# 手动锁定/解锁

我的建议：如果没有令人信服的理由和内存专家的代码审查，不要使用任何低锁技术 模型;你可能会弄错。大多数人都是这样。

特别是，不要使用双重检查锁定，除非您可以准确描述处理器可以代表您执行哪些内存访问重新排序，并提供令人信服的论据，证明您的解决方案在任何可能的内存访问重新排序的情况下都是正确的。当您稍微偏离已知正确的实现时，您就需要从头开始分析。您不能仅仅因为双重检查锁定的一种实现是正确的，就假设它们都是正确的；几乎没有一个是正确的。

Answer 2

使用双重检查锁定进行延迟初始化？

Answer 3

我对识别为模式特别感兴趣的部分是检查 ->锁->检查。

这称为双重检查锁定。

请注意，在较旧的 Java 版本（Java 5 之前）中，由于 Java 内存模型的定义方式，它并不安全。在 Java 5 和更新版本中，对 Java 内存模型的规范进行了更改，因此现在它是安全的。

Answer 4

对于这种情况，我想到的唯一名称是“故障”。该名称在 iOS Core-Data 框架中使用，具有类似的效果。

基本上，您的方法 NameDoesNotMatter 是一个错误，每当有人调用它时，都会导致对象被填充或初始化。

请参阅 http://developer.apple.com /library/mac/#documentation/Cocoa/Conceptual/CoreData/Articles/cdFaultingUniquing.html 了解有关如何使用此设计模式的更多详细信息。