pthreads - pthread_cond_signal() 只释放一个线程？

Question

pthread_cond_signal 是否正好解除阻塞一个线程？如果不是，它会释放一个以上的线程是什么情况？规范是这样说的:

The pthread_cond_signal() function shall unblock at least one of the threads that are blocked on the specified condition variable cond (if any threads are blocked on cond).

Answer 1

pthreads 规范允许在实现中进行“虚假唤醒”。例如，请参见 pthread_cond_signal 的假设实现和 pthread_cond_wait sketched in the specification只允许这种情况。

虚假唤醒的可能性是为什么人们总是将某个谓词与条件相关联，并在唤醒时检查该谓词的原因。