c - pthread_mutex_lock 和 pthread_cond_wait/signal 导致死锁

Question

我在我的程序中使用了 2 个线程，一个用于打印偶数，另一个用于顺序打印奇数。当我运行下面的代码时，程序在打印 0 和 1 后阻塞。看起来像是死锁。
但是，如果我将 rc=pthread_mutex_lock(&mutex) 移动到 PrintEvenNos() 和 PrintOddNos() 中的 while 语句之上，则输出是连续且完整的(根据需要)。有人可以解释为什么它在第一种情况下失败以及导致死锁的原因吗？

#include<stdio.h>
#include<pthread.h>

pthread_t tid[2];
unsigned int shared_data = 0;
pthread_mutex_t mutex;
pthread_cond_t even,odd;
unsigned int rc;

void* PrintEvenNos(void*);
void* PrintOddNos(void*);

void main(void)
{
    pthread_create(&tid[0],0,&PrintEvenNos,0);

    pthread_create(&tid[1],0,&PrintOddNos,0);
    sleep(3);

    pthread_join(tid[0],NULL);
    pthread_join(tid[1],NULL);
}

void* PrintEvenNos(void *ptr)
{
    //rc = pthread_mutex_lock(&mutex);     /*works when I uncomment here and comment the next mutex_lock */
      while (shared_data <= 5)
     {rc = pthread_mutex_lock(&mutex);
      if(shared_data%2 == 0)
       { printf("t1.....................................Even:%d\n",shared_data);
         shared_data++;
         pthread_cond_signal(&odd);
         rc=pthread_mutex_unlock(&mutex);
   }
     else
     {
           pthread_cond_wait(&even, &mutex);
     }
 }
  rc=pthread_mutex_unlock(&mutex);
}

void* PrintOddNos(void* ptr1)
{
// rc = pthread_mutex_lock(&mutex);   /*works when I uncomment here and comment the next mutex_lock */
   while (shared_data <= 5)
    {
     rc = pthread_mutex_lock(&mutex);
     if(shared_data%2 != 0)
        {
        printf("t2.....................................odd:%d\n",shared_data);
            shared_data++;
            pthread_cond_signal(&even);
            rc=pthread_mutex_unlock(&mutex);
        }
        else
            {
               pthread_cond_wait(&odd, &mutex);
        }
    }
 rc=pthread_mutex_unlock(&mutex);
}

Answer 1

您的程序具有未定义的行为，因为您正在等待的线程在从 pthread_cond_wait 返回时重新获取锁，然后在它已经拥有的互斥量上再次调用 pthread_mutex_lock。

互斥体应该按照您在评论中指出的那样使用。这正是 pthread_cond_wait 的用途:它在进入时释放锁并在返回时重新获取它。

另外，把if分支的pthread_mutex_unlock去掉，是错误的。通常，您应该只有一对标记关键部分的 lock/unlock 调用。