Question

我有这段代码：

std::unique_lock<std::mutex> lock(m_mutex);
for(;;)
{
    // wait for input notification
    m_event.wait(lock);

    // if there is an input pin doesn't have any data, just wait
    for(DataPinIn* ptr:m_in_ports)
        if(ptr->m_data_dup==NULL)
            continue;

    // do work
    Work(&m_in_ports,&m_out_ports);

    // this might need a lock, we'll see
    for(DataPinIn* ptr:m_in_ports)
    {
        // reduce the data refcnt before we lose it
        ptr->FreeData();
        ptr->m_data_dup=NULL;
        std::cout<<"ptr:"<<ptr<<"set to 0\n";
    }
}

其中 m_event 是 condition_variable 。它等待来自另一个线程的通知，然后做一些工作。但我发现这只是第一次成功，并且无论多少次 m_event.notify_one（），它都会永久阻挡 m_event.wait（lock） 。我该怎么解决这个问题？

提前致谢。

Answer 1

您正在经历常见情况'虚假唤醒'（请咨询维基），其中condition_variable被设定为解决。

请阅读本文中的示例代码：http://www.cplusplus.com/reference/condition_variable/condition_variable/。

通常condition_variable必须与某个变量一起使用，以避免虚假的唤醒;这就是同步方法的命名方式。

下面是一段更好的示例代码：

#include <condition_variable>
#include <mutex>
#include <thread>
#include <iostream>
#include <queue>
#include <chrono>

int main()
{
    std::queue<int> produced_nums;
    std::mutex m;
    std::condition_variable cond_var;
    bool done = false;
    bool notified = false;

    std::thread producer([&]() {
        for (int i = 0; i < 5; ++i) {
            std::this_thread::sleep_for(std::chrono::seconds(1));
            std::unique_lock<std::mutex> lock(m);
            std::cout << "producing " << i << '\n';
            produced_nums.push(i);
            notified = true;
            cond_var.notify_one();
        }   

        done = true;
        cond_var.notify_one();
    }); 

    std::thread consumer([&]() {
        std::unique_lock<std::mutex> lock(m);
        while (!done) {
            while (!notified) {  // loop to avoid spurious wakeups
                cond_var.wait(lock);
            }   
            while (!produced_nums.empty()) {
                std::cout << "consuming " << produced_nums.front() << '\n';
                produced_nums.pop();
            }   
            notified = false;
        }   
    }); 

    producer.join();
    consumer.join();
}

Answer 2

事实证明，一个标志变量破坏了一切，并且线程部分正常工作。

C ++ 11：条件变量只能使用一次

2 个答案: