mutex 또는 const 멤버 함수의 원자

Question

Scott Meyers의 Effective Modern C++에서 Item 16을 읽습니다. 항목의 후반부에서 , 그는 하나의 변수 또는 메모리 위치는

는 std::atomic의 사용이 적절한 동기화를 필요로하지만, 한 번 두 개 이상의 변수 나 같은 조작을 필요로 메모리 위치에 도착 말한다 단위가되면 에 도달해야합니다.

하지만 여전히 하나의 변수 또는 메모리 위치의 경우 적절한 이유를 참조하십시오이 항목에서 다항식 예를하지 않는

class Polynomial { 
public: 
using RootsType = std::vector<double>; 
RootsType roots() const 
{ 
    if (!rootsAreValid) { // if cache not valid 
    .... // **very expensive compuation**, computing roots, 
     // store them in rootVals 
    rootsAreValid = true; 
    } 
return rootVals; 
} 
private: 
mutable std::atomic<bool> rootsAreValid{ false }; 
mutable RootsType rootVals{}; 
}; 

내 질문은 :

스레드 1이 많이 계산되는 중간에 rootAreValid이 true에 할당되고 스레드 2가 또한 함수 roots()을 호출하고 rootAreValid에서 false까지 평가하면 스레드 2가 als가됩니다 o rootVals의 무거운 계산에 대한 단계이므로,이 경우 원자 bool의 적절한 방법은 무엇입니까? 나는 여전히 계산에 대한 입력을 보호하기 위해 std::lock_guard<mutex>이 필요하다고 생각한다.

Answer 1

예를 들어 동기화 할 변수가 두 개 있습니다 (rootVals 및 rootsAreValid). 이 특정 항목은 의 원자 값을 동기화해야하는 경우를 나타냅니다. 예 :

#include <atomic> 

class foo 
{ 
public: 
    void work() 
    { 
     ++times_called; 
     /* multiple threads call this to do work */ 
    } 
private: 
    // Counts the number of times work() was called 
    std::atomic<int> times_called{0}; 
}; 

times_called은이 경우 유일한 변수입니다.

Answer 2

나는 다음과 같은 코드를 사용하여 불필요한 무거운 계산을하지 않도록하는 것이 좋습니다 :

class Polynomial { 
public: 
using RootsType = std::vector<double>; 

RootsType roots() const 
{ 
    if (!rootsAreValid) { // Acquiring mutex usually is not cheap, so we check the state without locking 
    std::lock_guard<std::mutex> lock_guard(sync); 
    if (!rootsAreValid) // The state could changed because the mutex was not owned at the first check 
    { 
     .... // **very expensive compuation**, computing roots, 
      // store them in rootVals 
    } 
    rootsAreValid = true; 
    } 
    return rootVals; 
} 
private: 
mutable std::mutex sync; 
mutable std::atomic<bool> rootsAreValid{ false }; 
mutable RootsType rootVals{}; 
};