c++ - 线程安全有界队列在 Boost 1.54 中挂起

Question

以下用于有界线程安全队列的代码曾经在 Boost 1.49 中按预期工作。但是，在更新到 Boost 1.54 后，代码不再按预期运行。即，当缓冲区为空(已满)时，消费者线程(生产者线程)永远等待 m_not_empty (m_not_full) 条件变量并且永远不会醒来(我认为是因为生产者线程没有互斥锁)。

1.54 版中是否有一些可能破坏代码的更改？或者，也许我遗漏了代码中的错误？

#include <iostream>
#include <boost/circular_buffer.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/thread/condition.hpp>
#include <boost/thread/thread.hpp>

template <class T>
class bounded_buffer {
public:
    bounded_buffer(size_t capacity) {cb.set_capacity(capacity);}
    void push(T item) {
        boost::mutex::scoped_lock lock(m_mutex);
        while (cb.full()) {
            m_not_full.wait(lock);
        }
        cb.push_back(item);
        lock.unlock();
        m_not_empty.notify_one();
    }

    void pop(T &pItem) {
        boost::mutex::scoped_lock lock(m_mutex);
        while (cb.empty()) {
            m_not_empty.wait(lock);
        }
        pItem = cb.front();
        cb.pop_front(); 
        lock.unlock();
        m_not_full.notify_one();
    }

private:     
    boost::mutex m_mutex;
    boost::condition m_not_empty;
    boost::condition m_not_full;
    boost::circular_buffer<T> cb;
};

bounded_buffer<int> bb_int(4);

void producer() {
    int i = 10;
    for(int j=0; j<100; ++j) {
        bb_int.push(i);
        std::cout << "producer: " << i << std::endl;
        i++;
    }
}

void consumer() {
    int i;
    for(int j=0; j<100; ++j) {
        bb_int.pop(i);
        std::cout << "consumer: " << i << std::endl;
    }
}

// Test code
int main() {
    // Start the threads.
    boost::thread consume(consumer);
    boost::thread produce(producer);

    // Wait for completion.
    consume.join();
    produce.join();
}

Answer 1

好的，我发现了一个错误。我在发布版本中编译了代码，但链接到 .lib 文件的调试版本。本质上，在发布版本中我链接到 boost_thread-vc100-mt-gd-1_54.lib 但它应该链接到 boost_thread-vc100-mt-1_54.lib。