c - 下面的代码有什么问题？预期 X 由线程 Func 1 修改，随后 X 由线程 Func 2 修改

Question

这个问题已经有答案了:

Condition variable deadlock (2 个回答)

已关闭 5 年前。

在研究多线程时，我编写了以下代码，但在屏幕上没有观察到输出。我在这里做错了什么？我期望的输出如下:

X modified by threadFunc 1
X modified by threadFunc 2 

但屏幕上看不到任何内容，并且程序没有退出。

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

pthread_mutex_t globalMutex[2];
pthread_cond_t globalCondVar[2];

void *threadFunc1(void *args)
{
   pthread_mutex_lock(&globalMutex[0]);
   pthread_cond_wait(&globalCondVar[0], &globalMutex[0]);
   printf("X modified by threadFunc 1\n");
   pthread_mutex_unlock(&globalMutex[0]);
}

void *threadFunc2(void *args)
{
    pthread_mutex_lock(&globalMutex[1]);
    pthread_cond_wait(&globalCondVar[1], &globalMutex[1]);
    printf("X Modified by threadFunc 2\n");
    pthread_mutex_unlock(&globalMutex[1]);
}

int main()
{
    pthread_t thread[2];

    pthread_mutex_init(&globalMutex[0], NULL);
    pthread_mutex_init(&globalMutex[1], NULL);
    pthread_cond_init(&globalCondVar[0], NULL);
    pthread_cond_init(&globalCondVar[1], NULL);

    pthread_create(&thread[0], NULL, threadFunc1, NULL);
    pthread_create(&thread[1], NULL, threadFunc2, NULL);

    pthread_cond_signal(&globalCondVar[0]);
    pthread_cond_signal(&globalCondVar[1]);

    pthread_join(thread[1], NULL);
    pthread_join(thread[0], NULL);

    pthread_cond_destroy(&globalCondVar[0]);
    pthread_cond_destroy(&globalCondVar[1]);
    pthread_mutex_destroy(&globalMutex[0]);
    pthread_mutex_destroy(&globalMutex[1]);

    return 0;
}

Answer 1

条件变量不是事件。它们被设计为与受互斥锁保护的实际 bool 条件一起使用。

   (Init)
   condition = false

   (Signal)
   lock mutex
   condition = true
   signal condvar
   unlock mutex

   (Wait)
   lock mutex
   while not condition:
       wait condvar

这是使用条件变量的标准方法。