此圖案的名稱？ （答案：延遲初始化有雙重檢查鎖定）

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（）的成本是不是很大。

現在，這不一定侷限於某些數據創建情況，但這是我能想到的一個例子。

我特別感興趣的是識別模式的部分是check - > lock - > check。我不得不多次向開發者解釋這種模式，他們一開始並沒有得到算法，但可以欣賞它。

無論如何，其他人必須做類似的事情。這是一種標準化模式嗎？它叫什麼？

Answer 1

使用雙重檢查鎖定的惰性初始化？

Answer 2

唯一想到這種類型的名稱是「斷層」。這個名字在iOS Core-Data框架中用於類似的效果。

基本上，你的方法NameDoesNotMatter是故障，每當有人調用它，它導致的對象來獲取填充或初始化。

有關如何使用此設計模式的更多詳細信息，請參閱http://developer.apple.com/library/mac/#documentation/Cocoa/Conceptual/CoreData/Articles/cdFaultingUniquing.html。

Answer 3

我特別感興趣識別模式的部分是check - > lock - > check。

這就是double-checked locking。

請注意，在較早的Java版本（Java 5之前）中，由於定義了Java內存模型，因此它並不安全。在Java 5中，對Java的內存模型的規範進行了更新，以便它現在是安全的。

Answer 4

雖然我可以看到你怎麼會認爲這看起來像是雙重檢查鎖定，但它實際上看起來像是危險地斷開和不正確的雙重檢查鎖定。如果沒有對SomeDataDoesNotExist和CreateSomeData的實際實現進行批判，我們不能保證這件事實際上在每個處理器上都是線程安全的。

對於雙重檢查鎖定是如何出錯的分析的例子，看看這個破碎的和不正確的版本雙重檢查鎖定的：

C# manual lock/unlock

我的建議是：不使用任何沒有令人信服的理由的低鎖定技術以及內存模型專家的代碼審查;你可能會錯誤的。大多數人都會。

特別是，不使用雙重檢查鎖定，除非你能描述什麼內存訪問重新排序的處理器可以代表你做，並提供令人信服的論據，你的解決方案是正確的給予任何可能的內存訪問重新排序。當你從一個已知的正確的實現中稍微離開時，你需要從頭開始分析。你不能認爲只是因爲一個雙重檢查鎖定的實現是正確的，他們都是;幾乎沒有一個是正確的。