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을 찾을 것인가? 검색 -> 보조이 다른 사람에게 할당되지 않은 한?

Answer 1

find()도 아니고 정렬되지 않은지도의 다른 방법도 스레드로부터 안전하지 않습니다. 하나의 실행 스레드가 find()을 호출 할 수있는 경우 다른 스레드가이를 수정하는 정렬되지 않은 맵 메서드를 호출하면 정의되지 않은 동작이 발생합니다.

여러 실행 스레드가 동일한 키를 사용하여 find()을 호출하는 경우 정의되지 않은 동작이없는 경우 모든 실행 스레드가 해당 키에 대해 동일한 값을 갖게됩니다.

Answer 2

하나 이상의 스레드가 동일한 변수에 액세스하고 그 중 하나 이상이 일 때에 데이터 경주가 있습니다. 모든 사용자가 동일한 데이터를 읽는 경우가 여기에 해당하지 않습니다. 괜찮아. 그러나이 코드에서는 다루지 않는 또 다른 문제가 있습니다. 데이터가 맵 객체에 언제 저장되는지에 따라 일부 스레드는 맵 객체의 업데이트 된 버전을 보지 못할 수 있습니다. 이 동기화 문제를 처리하는 가장 간단한 방법은 리더 스레드를 만들기 전에 맵 객체를 설정하는 것입니다.