互斥保护std::condition_variable

Question

std::atomic_bool proceed(false);
std::mutex m;
std::condition_variable cv;

std::thread t([&m,&cv,&proceed]()
{
    {
        std::unique_lock<std::mutex> l(m);
        while(!proceed) {
            hardWork();
            cv.wait(l);
        }
    }
});

proceed = true;

{
    std::lock_guard<std::mutex> lock(m);
}
cv.notify_one();
t.join();

我知道互斥体通常也会保护共享数据，使用原子变量只是一个例子。问题不是如何保护共享数据，而是是否需要使用相同的互斥体来保护两者。另一个使用第二互斥体的示例：

bool proceed(false);
std::mutex boolMutex;

std::mutex cvMutex;
std::condition_variable cv;
std::unique_lock<std::mutex> l(cvMutex);

void setBool()
{
    std::lock_guard<std::mutex> lock(boolMutex);
    proceed = true;
}

bool checkBool()
{
    std::lock_guard<std::mutex> lock(boolMutex);
    return proceed;
}

void worker()
{
    while (true)
    {
        cv.wait(l);
        if (checkBool()) {
            // Do work
            return;
        }
    }
}

int main()
{
    std::thread t(worker);
    setBool();

    {
        std::lock_guard<std::mutex> lock(cvMutex);
    }
    cv.notify_one();
    t.join();

    return 0;
}

Answer 1

必须设置互斥保护标志，并在互斥仍被保持时通知条件变量get：

{
    std::lock_guard<std::mutex> lock(m);
    proceed = true;
    cv.notify_one();
}

此外，在本例中，proceed标志不需要是原子实体。一个简单的

bool proceed;

就足够了。由于对proceed的访问仅在持有相关互斥体的情况下发生，使proceed原子化完全没有实现任何事情。