增强互斥锁，条件，scoped_lock，我在这里使用错吗？

Question

class MyClass
{
public:
    void PushMessage(MyMessage m) // Thread 1 calls this
    {
        boost::mutex::scoped_lock lock(mMutex);
        mQueue.push_back(m);
        mCondition.notify_one();
    }

    MyMessage PopMessage()
    {
        boost::mutex::scoped_lock lock(mMutex);
        while(mQueue.empty())
            mCondition.wait(lock);

        MyMessage message = mQueue.front();
        mQueue.pop_front();
        return message;
    }

    void foo() // thread 2 is running this loop, and supposed to get messages
    {
        for(;;)
        {
            MyMessage message = PopMessage();

            do_something(message);
        }
    }
private:
    std::deque<MyMessage> mQueue;

    boost::mutex mMutex;
    boost::condition mCondition;
};

当我运行代码时，将调用PushMessage ，并且foo()会在PopMessage()上等待，但PopMessage永远不会返回。

我认为这里的do_something并不是无关紧要的。

我在这里做错了什么？ 奇怪的是，以上代码在mac上运行良好，但是在linux上却遇到了麻烦。
Boost版本为1.44.0

谢谢

Answer 1

您可以尝试在解除阻止等待线程之前尝试在PushMessage()手动解锁互斥锁，而不是让锁定对象的作用域在解锁之前就失效。

void PushMessage(MyMessage m) // Thread 1 calls this
{
    boost::mutex::scoped_lock lock(mMutex);
    mQueue.push_back(m);

    lock.unlock(); // <== manually unlock

    mCondition.notify_one();
}

这样，当线程2解除阻塞时，在线程1包含锁且线程2试图在互斥锁上获得锁的情况下，将没有“跨接”时间。 我不知道为什么会造成问题，但是同样，至少线程2仍包含锁时，至少您不会让线程2尝试调用lock.lock() 。

Answer 2

我认为您需要2个互斥对象，一个用于在不同线程中同步方法调用，一个用于条件等待。 你把它们混合了。