c++ - pthread_cond_wait() 之前的检查标志

Question

bool flag=false;
pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER;
pthread_cond_t cond=PTHREAD_COND_INITIALIZER;

void function1()
{
    pthread_mutex_lock(&mutex);
    while(!flag)
    {
    //#2
        pthread_cond_wait(&cond,&mutex);
    }
    pthread_mutex_unlock(&mutex);
}

void function2()
{
    flag=true;
    pthread_cond_signal(&cond);
}

情况是这样的。两个线程thread1和thread2分别运行在function1和function2上。

由于 CPU 调度，线程 1 在 #2 处停止。

thread2 开始执行并将标志更改为 true。

线程 1 开始等待，但它会永远等待。

当我想在不锁定互斥量的情况下通知其他线程时如何避免这种情况。

Answer 1

这就是为什么在更新谓词 (flag) 时必须锁定互斥量的原因。别无选择。

pthread_mutex_lock(&mutex);
flag = true;
pthread_cond_signal(&cond);
pthread_mutex_unlock(&mutex);

(如果需要，您可以将 pthread_cond_signal() 移到 pthread_mutex_unlock() 之后)。