如何提供一系列交错线程来显示代码中断并且不提供完美的同步？

我知道下面的代码是做什么的，我知道为什么它是一个损坏的同步代码，因为它只有一个条件变量，而我们需要两个，但我不知道如何提供一系列交错线程来显示它不起作用。您能举例说明为什么此代码不起作用吗？

1   cond_t cond = PTHREAD_COND_INITIALIZER; 
2  mutex_t mutex=PTHREAD_MUTEX_INITIALIZER;;
3
4  void *producer(void *arg) {
5    int i;
6    for (i = 0; i < loops; i++) {
7      Pthread_mutex_lock(&mutex);
8      while (count == 1)
9        Pthread_cond_wait(&cond, &mutex);
10     put(i);
11     Pthread_cond_signal(&cond);
12     Pthread_mutex_unlock(&mutex);
13   }
14 }
15
16 void *consumer(void *arg) {
17   int i;
18   for (i = 0; i < loops; i++) {
19     Pthread_mutex_lock(&mutex);
20     while (count == 0)
21       Pthread_cond_wait(&cond, &mutex);
22     int tmp = get();
23     Pthread_cond_signal(&cond);
24     Pthread_mutex_unlock(&mutex);
25     printf("%d\n", tmp);
26   }
27 }

假设put() sets count到 1 和get() sets count到0，这段代码实际上没问题只要你只有一名生产者和一名消费者.

如果您有多个生产者，那么pthread_cond_signal()生产者可能会唤醒其他生产者之一而不是消费者，然后没有消费者将继续进行。如果您有多个消费者，也会存在同样的问题。

您可以通过引入单独的空和满条件变量来解决此问题，或者使用pthread_cond_broadcast()代替pthread_cond_signal().