在生产者-消费者情况下使用条件变量

Question

我正在尝试了解条件变量以及如何在生产者-消费者情况下使用它。我有一个队列，其中一个线程将数字推入队列，而另一个线程从队列中弹出数字。当生产线程放置一些数据时，我想使用条件变量向消费线程发出信号。问题是有时（或大多数时候）它只将最多两个项目推入队列然后挂起。我已经在 Produce() 函数中指出了在调试模式下运行时停止的位置。谁能帮我指出为什么会发生这种情况？

我有以下全局变量：

boost::mutex mutexQ;               // mutex protecting the queue
boost::mutex mutexCond;            // mutex for the condition variable
boost::condition_variable condQ;

下面是我的消费者线程：

void consume()
{
    while( !bStop )   // globally declared, stops when ESC key is pressed
    {
        boost::unique_lock lock( mutexCond );
        while( !bDataReady )
        {
            condQ.wait( lock );
        }

        // Process data
        if( !messageQ.empty() )
        {
            boost::mutex::scoped_lock lock( mutexQ );

            string s = messageQ.front();   
            messageQ.pop();
        }
    }
}

下面是我的生产者线程：

void produce()
{
    int i = 0;

    while(( !bStop ) && ( i < MESSAGE ))    // MESSAGE currently set to 10
    {
        stringstream out;
        out << i;
        string s = out.str();

        boost::mutex::scoped_lock lock( mutexQ );
        messageQ.push( s );

        i++;
        {
            boost::lock_guard lock( mutexCond );  // HANGS here
            bDataReady = true;
        }
        condQ.notify_one();
    }
}

Answer 1

您必须使用与条件变量中使用的相同的互斥体来保护队列。

这应该就是您所需要的：

void consume()
{
    while( !bStop )
    {
        boost::scoped_lock lock( mutexQ);
        // Process data
        while( messageQ.empty() ) // while - to guard agains spurious wakeups
        {
            condQ.wait( lock );

        }
        string s = messageQ.front();            
        messageQ.pop();
    }
}

void produce()
{
    int i = 0;

    while(( !bStop ) && ( i < MESSAGE ))
    {
        stringstream out;
        out << i;
        string s = out.str();

        boost::mutex::scoped_lock lock( mutexQ );
        messageQ.push( s );
        i++;
        condQ.notify_one();
    }
}