如何使类的静态变量线程安全

Question

我有一个类，像这样：

class Test 
{ 
private: 
    Test() {} 
    static bool is_done; 
    static void ThreadFunction(); 
public: 
    static void DoSomething(); 
} 


bool Test::is_done = true; 

void Test::DoSomething() 
{ 
    std::thread t_thread(Test::ThreadFunction); 

    while (true) { 
     if (is_done) { 
      //do something else 
      is_done = false; 
     } 

     if (/*something happened*/) { break; } 
    } 

    // Finish thread. 
    t_thread.join(); 
} 

void Test::ThreadFunction() 
{ 
    while (true) { 
     if (/*something happened*/) { 
      is_done = true; 
     } 
    } 
} 

在主我则只是调用测试:: DoSomething的（）;在这种情况下，变量'is_done'是否线程安全？如果它不是我怎么能让它安全读取？

Answer 1

在这种情况下，全局变量'is_done'是否线程安全？

编号static并不意味着线程安全。

---

如果它不是我怎样才能让阅读它的安全？

你应该使用std::atomic<bool>：

class Test 
{ 
private: 
    Test() {} 
    static std::atomic<bool> is_done; 
    static void ThreadFunction(); 
public: 
    static void DoSomething(); 
} 

std::atomic<bool> Test::is_done{true}; 

Answer 2

我不能尚未就此发表评论，但你尝试过使用原子能？

例如std::atomic<bool>

Answer 3

如果类型为TriviallyCopyable那么你可以使用std::atomic像

static std::atomic<bool> is_done; 

如果您的类型不那么TriviallyCopyable你可以使用一个std::mutex

---

不要在std::atomic操作可以优化远。如果您有类似

static std::atomic<bool> is_done; 
... 
is_done = true; 
is_done = false; 

编译器可以切出is_done = true;如需更多有关此看到JF巴斯蒂安的“No Sane Compiler Would Optimize Atomics"