不同的互斥锁用于push和pop

我有一个名为'subscribedQueue'的类。该类通过其订阅的发布者(复数)调用其推送方法接收数据。

在另一个线程中，调用该类的pop方法来接收该数据。因此，在某种意义上，该类是多个发布者与其订阅者之间的一种缓冲区。对于实现，我基于自己在这里找到的关于线程安全队列的信息。

现在我的问题是双重的:

• 如果我使用相同的互斥锁来暂停和弹出值(目前我使用两个不同的互斥锁)，是否有可能让我的程序卡住，等待阻塞的推送?
• 如果不是，怎么可能push和pop方法都可以通过lock(the_same_mutex)。

我的假设是，如果我使用相同的互斥锁，并且程序进入pop方法，它将在pop中获取锁，检查队列是否为空，并等待在push方法中永远无法设置的条件变量(因为锁已经被pop获取)。

当前代码(使用两个不同的互斥体):

#include <boost/thread.hpp>
#include <queue>
#include "subscriber.h"
#include "pubdata.h"
#ifdef DEBUG
#include <iostream>
#include <boost/lexical_cast.hpp>
#endif
namespace PUBLISHSUBSCRIBE
{
  template<class T>
  class SubscribedQueue: public PUBLISHSUBSCRIBE::Subscriber<T>, private std::queue< PubData<T> >
  {
  public:
    PubData<T>  pop();   //removes the next item from the queue, blocks until the queue is not empty
    void push(const PubData<T> data); //method used by the publisher to push data onto the queue
  private:
    mutable boost::mutex writeMutex_; //only needed for publishing/pushing data
    mutable boost::mutex readMutex_;  //only needed for reading/popping data
    boost::condition_variable notify_;
  };
  template<class T>
  PubData<T> SubscribedQueue<T>::pop() { //Blocks until the queue is not empty
    boost::mutex::scoped_lock lock(readMutex_);
    while(std::queue< PubData<T> >::empty())
      notify_.wait(lock); //block until recieving a notification AND the queue is not empty
    PubData<T> head = std::queue< PubData<T> >::front();
    std::queue< PubData<T> >::pop();
#ifdef DEBUG
    std::string debugOut("pop: " + boost::lexical_cast<std::string>(head) + " - timestamp: " + boost::lexical_cast<std::string>(head.timestamp()) + " - from: " + boost::lexical_cast<std::string>(this) + "n" );
    std::cout <<debugOut;
#endif
    lock.unlock();
    return head;
  }
  template<class T>
  void SubscribedQueue<T>::push(const PubData<T> data){
    boost::mutex::scoped_lock lock(writeMutex_);
#ifdef DEBUG
    std::cout << "published: " << data << std::endl;
#endif
    std::queue< PubData<T> >::push(data);
    lock.unlock();
    notify_.notify_one();
  }
}
#endif //SUBSCRIBEDQUEUE_H

[edit]最让我担心的是:我有一个boost::condition_variable notify_在pop中执行'等待直到通知'。但是pop必须首先锁定互斥锁，这个互斥锁也必须在push中锁定，以便通知条件变量。

不会导致死锁，为什么不呢?