pthread_cond 为什么要和mutex一起用

一般使用pthread_cond的方式

  ThreadA: （消费者）

 pthread_mutex_lock (&count_lock);
         while(count==0)
                  pthread_cond_wait( &count_nonzero, &count_lock)；
          count=count -1;

 pthread_mutex_unlock (&count_lock)；

ThreadB: (生产者)

pthread_mutex_lock(&count_lock) ；       

     if(count==0)
            pthread_cond_signal(&count_nonzero);

     count=count+1;
 pthread_mutex_unlock(&count_lock);

 

其实使用mutex的目的就是一个，为了保证原子性，因为如果不使用mutex的话，那么消费者和生产者的模型就为以下的方式：

ThreadA（消费者）:

     while(count==0)
                  pthread_cond_wait( &count_nonzero)；
          count=count -1;

ThreadB(生产者)：

      if(count==0)
            pthread_cond_signal(&count_nonzero);

     count=count+1;

以上的模型会发生什么情况呢，例如消费者判断count==0 了，准备要执行pthread_cond_wait的时候，线程发生调度，生产者开始运行了，然后发现count==0，然后执行pthread_cond_signal，但是消费者现在并没有进入wait状态，导致这个信号会丢失，当消费者再运行的时候，会进行wait状态，而生产者一直会运行，当count达到最大值的时候，生产者也进入wait状态，这时候，就出现了死锁。

当我们使用mutex的时候，至少可以保证while(count==0) pthread_cond_wait() count=count-1 这些代码是原子的，不会被打断。

 

其实java中的Object对象的 wait, notify和notifyall这些函数也都是需要再synchronized代码块内执行的，原理是一样的。以免发生假唤醒状态。最后导致死锁。