C++ 11：遅延初期化の安全なダブルチェックロック。可能？

Question

スレッドセーフなダブルチェックロック（シングルトンまたは遅延初期化）を考慮して、多くの質問を読んでいます。いくつかのスレッドでは、パターンは完全に壊れていて、解決策を示唆するものがあります。

私の質問は、完全にスレッドセーフなダブルチェックされたロックパターンをC++で記述する方法ですか？もしそうなら、それはどのように見えるのですか？

これは、C++ 11の場合は、それが簡単になると思います。私が知る限りでは、C++ 11は、必要な改善をもたらす可能性のあるメモリモデルを改善しました。

私は、ダブルチェックガード変数をvolatileにすることでJavaで可能であることを知っています。 C++ 11はJavaのメモリモデルの大部分を借用していたので、それは可能かもしれないと思いますが、どうですか？

Answer 1

は単純にそうように、遅延初期化シングルトンの静的ローカル変数を使用します。

MySingleton* GetInstance() { 
    static MySingleton instance; 
    return &instance; 
} 

（C++ 11）標準は、すでに静的変数はスレッドセーフな方法で初期化され、それは可能性が高いように思われていることを保証これを少なくともあなた自身で書くものと同じくらい堅牢で実用的なものとして実装してください。

初期のthreadsafetyは、（C++ 11）規格の§6.7.4に見出すことができる：変数が初期化されている間に制御が同時に宣言を入力した場合、同時実行が条

初期化の完了を待ちます。

Answer 2

有効なDCLP C++ 11実装を見たかったので、ここに1つあります。

グリズリーの回答では、動作は完全にスレッドセーフで、GetInstance()と同じです。

std::mutex mtx; 
std::atomic<MySingleton *> instance_p{nullptr}; 

MySingleton* GetInstance() 
{ 
    auto *p = instance_p.load(std::memory_order_acquire); 

    if (!p) 
    { 
     std::lock_guard<std::mutex> lck{mtx}; 

     p = instance_p.load(std::memory_order_relaxed); 
     if (!p) 
     { 
      p = new MySingleton; 
      instance_p.store(p, std::memory_order_release); 
     } 
    } 

    return p; 
}