Question

为了理解如何在C ++ 11中使用atomics，我试着遵循代码片段：

#include <iostream>
#include <thread>
#include <atomic>

using namespace std;

struct solution {
    atomic<bool> alive_;
    thread thread_;

    solution() : thread_([this] {
        alive_ = true;
        while (alive_);
    }) { }
    ~solution() {
        alive_ = false;
        thread_.join();
    }
};

int main() {
    constexpr int N = 1; // or 2
    for (int i = 0; i < N; ++i) {
        solution s;
    }
    cout << "done" << endl;
}

如果N等于1，则输出为done。但是，如果我将其设置为2，主线程将阻塞在thread :: join（）。为什么你认为我们在N＆gt;时看不到done 1？

注意：如果我使用以下构造函数：

    solution() : alive_(true), thread_([this] {
        while (alive_);
    }) { }

为任何N值打印done。

Answer 1

如果您没有初始化alive_并且仅在线程启动时设置它，则可以执行以下交错执行：

MAIN: s::solution()
MAIN: s.thread_(/*your args*/)
MAIN: schedule(s.thread_) to run
thread: waiting to start
MAIN: s::~solution()
MAIN: s.alive_ = false
thread: alive_ = true
MAIN: s.thread_.join()
thread: while(alive_) {}

Answer 2

默认情况下，

atomic<bool>在Visual Studio上初始化为false（其初始值未按标准定义）。因此，可能会发生以下事件序列：

创建解决方案对象，alive_初始化为false并创建thread_（但未运行）。
解析对象被销毁，析构函数运行并将alive_设置为false，然后等待thread_结束（线程没有做任何事情）
thread_运行，将alive_设置为true，然后永远循环（因为主线程正在等待它终止）。

thread :: join（）阻止它不应该

2 个答案: