std :: unique_ptrのSTLコンテナからのfind（）のスレッドセーフ

Question

サンプルコード。

class Obj 
{ 
    public: 
    void doSome(void) 
    { 
     std::cout << "Hello World!" << std::endl; 
    } 
}; 

std::unordered_map<int, std::unique_ptr<Obj>> map; 

// insert -- done with single thread and before find() 
map[123] = std::move(std::unique_ptr<Obj>(new Obj)); 

// find -- run from multiple threads 
auto search = map.find(123); // <=== (Q) 
if (search != map.end())  
{ 
    search->second->doSome(); 
} 

（Q）

を実行している複数のスレッドがある場合は、// map.find（123）とセクションを見つけるどのようにスレッドセイフティは？

はmap.find（123）は常にすべてのスレッドでOBJを見つけるのだろうか？ 検索 - > secondが他の誰かに割り当てられていない限り、

Answer 1

find()のいずれも、順序付けられていないマップのどの方法もスレッドセーフではありません。 1つの実行スレッドがfind()を呼び出す可能性がある場合、他のスレッドがそれを変更する順序付けられていないマップメソッドを呼び出すと、結果として未定義の動作が発生します。

複数の実行スレッドが同じキーを使用してfind()を呼び出している場合、未定義の動作がない場合、すべての実行スレッドはそのキーに対して同じ値を取得します。

Answer 2

複数のスレッドが同じ変数にアクセスし、の少なくとも1つがそれに書き込む場合、にはデータ競合があります。誰もが同じデータを読んでいるわけではありません。大丈夫。ただし、このコードでは対応していない別の問題があります。データがマップオブジェクトに格納されるタイミングによっては、マップオブジェクトの更新バージョンが表示されないスレッドがあります。この同期の問題を処理する最も簡単な方法は、リーダースレッドのいずれかを作成する前にマップオブジェクトを設定することです。