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文件的调试版本。基本上，在发布版本I中我链接到boost_thread-vc100-mt-gd-1_54.lib，但它应该链接到boost_thread-vc100-mt-1_54.lib。

线程安全的有界队列在Boost 1.54中挂起

1 个答案: