c++ - pthread_cond_signal 或 pthread_cond_broadcast 调用是否意味着写入内存屏障？

Question

条件变量通常用于在互斥量下修改它们所指的状态。然而，当状态只是一个单一的只设置标志时，就不需要互斥锁来阻止同时执行。所以有人可能想做这样的事情:

flag = 1;
pthread_cond_broadcast(&cvar);

然而，这只有在 pthread_cond_broadcast 暗示写内存屏障时才是安全的；否则，等待线程可能会在标志写入之前看到条件变量广播。也就是说，等待线程可能会唤醒，消耗 cvar 信号，但看到标志仍然是 0。

所以，我的问题是:pthread_cond_broadcast 和 pthread_cond_signal 调用是否意味着写入内存屏障？如果是这样，这在相关的 POSIX(或其他)规范中有何规定？ The spec在这一点上似乎不清楚。

注意:我知道，在实践中，这确实会导致内存屏障(在 Linux 上，因为线程唤醒意味着完整的 CPU 内存屏障，而跨库函数调用意味着编译器内存屏障)。但是，我对规范保证的内容感兴趣。

Answer 1

不管它是否暗示内存屏障，代码仍然不正确。考虑阅读方面:

while (flag == 0)
    pthread_cond_wait(&cvar, &mutex);

如果读端在测试flag == 0和执行wait之间挂起，写端可以执行flag = 1; pthread_cond_signal(&cvar);。读取端将完全错过唤醒——它将永远等待。请记住，唤醒不会排队 - 如果在条件变量发出信号时没有等待者，则信号无效。为避免这种情况，写端无论如何都需要锁定互斥量。