多个条件变量相互调用函数

Question

我遇到了教程here Bounding Buffer 示例。作为参考，我也将其粘贴在这里。

#include <boost/circular_buffer.hpp>
   #include <boost/thread/mutex.hpp>
   #include <boost/thread/condition.hpp>
   #include <boost/thread/thread.hpp>
   #include <boost/call_traits.hpp>
   #include <boost/progress.hpp>
   #include <boost/bind.hpp>

   template <class T>
   class bounded_buffer {
   public:

      typedef boost::circular_buffer<T> container_type;
      typedef typename container_type::size_type size_type;
      typedef typename container_type::value_type value_type;
      typedef typename boost::call_traits<value_type>::param_type param_type;

      explicit bounded_buffer(size_type capacity) : m_unread(0), m_container(capacity) {}

      void push_front(boost::call_traits<value_type>::param_type item) {
         // param_type represents the "best" way to pass a parameter of type value_type to a method

         boost::mutex::scoped_lock lock(m_mutex);
         m_not_full.wait(lock, boost::bind(&bounded_buffer<value_type>::is_not_full, this));
         m_container.push_front(item);
         ++m_unread;
         lock.unlock();
         m_not_empty.notify_one();
      }

      void pop_back(value_type* pItem) {
         boost::mutex::scoped_lock lock(m_mutex);
         m_not_empty.wait(lock, boost::bind(&bounded_buffer<value_type>::is_not_empty, this));
         *pItem = m_container[--m_unread];
         lock.unlock();
         m_not_full.notify_one();
      }

   private:
      bounded_buffer(const bounded_buffer&);              // Disabled copy constructor
      bounded_buffer& operator = (const bounded_buffer&); // Disabled assign operator

      bool is_not_empty() const { return m_unread > 0; }
      bool is_not_full() const { return m_unread < m_container.capacity(); }

      size_type m_unread;
      container_type m_container;
      boost::mutex m_mutex;
      boost::condition m_not_empty;
      boost::condition m_not_full;
   };

当我尝试推送第一个元素（push_front）时。 “push_front()”函数到达条件变量并等待直到它收到通知，一旦它收到通知，它将检查函数“is_not_full()”然后继续。但由于它是第一个尝试推送的元素，它永远不会收到通知，因为函数“pop_back()”不会完成执行，因为缓冲区是空的。

我的想法正确吗？我可以将元素推送到这段代码吗？

谢谢

Answer 1

当我尝试推送第一个元素（push_front）时。 “push_front()”函数到达条件变量并继续等待，直到它收到通知[...]

这是错误的。仔细阅读此 API 的the documentation。你描述的是行为

template<typename L> void wait(L & lock);

这是公共成员函数列表中的第 3 位。但是，在您的代码中对wait 的调用有两个 参数；你的代码调用

template<typename L, typename Pr> void wait(L & lock, Pr pred);

这是该列表中的第 4 位。该函数被记录为与

相同

while ( !pred() )
    wait(lock);  // <-- This is where the thread waits for a notification

即先检查谓词，只有为假时，线程才会等待，直到收到通知。只要空缓冲区未满，谓词最初将为真，因此无需等待通知即可继续执行。 （但是，如果您要构造一个容量为零的缓冲区，那么在尝试将第一个元素推入缓冲区时，它看起来确实会挂起。）