pthread_cond_signal()例程用于向等待condition变量的另一个线程发出信号（或唤醒）。它应该在锁定mutex之后调用，并且必须在pthread_cond_wait()例程完成之前解锁mutex。
我有一个问题：没有锁定mutex，调用pthread_cond_signal或pthread_cond_broadcast方法是否可以?
答案是不行。在调用这些方法之前，必须先锁定mutex以确保线程安全。如果未锁定mutex，则可能会导致意外结果。所以，在调用这些例程之前，请始终锁定mutex，并在调用之后解锁mutex。
pthread_mutex_lock(&mutex);
while (condition == FALSE)
pthread_cond_wait(&cond, &mutex);
pthread_mutex_unlock(&mutex);
进程B（错误的）：
condition = TRUE;
pthread_cond_signal(&cond);
接下来考虑一种可能的指令交错方式，其中condition最初为FALSE：
Process A Process B
pthread_mutex_lock(&mutex);
while (condition == FALSE)
condition = TRUE;
pthread_cond_signal(&cond);
pthread_cond_wait(&cond, &mutex);
条件现在为TRUE，但进程A卡在等待条件变量上-它错过了唤醒信号。如果我们修改进程B来锁定互斥锁：
进程B（正确）：
pthread_mutex_lock(&mutex);
condition = TRUE;
pthread_cond_signal(&cond);
pthread_mutex_unlock(&mutex);
如果这样，上述情况就不会发生；唤醒永远不会被错过。
（请注意，您实际上可以将 pthread_cond_signal() 移动到 pthread_mutex_unlock() 之后，但这可能导致线程调度不太优化，并且由于更改条件本身，在这个代码路径中必须已经锁定了互斥量）。
可预测的调度行为语句的含义由Dave Butenhof（Programming with POSIX Threads作者）在comp.programming.threads上进行了解释，可在此处找到。
pthread_cond_broadcast()或pthread_cond_signal()函数可以被线程调用，无论它当前是否拥有互斥锁，而调用pthread_cond_wait()或pthread_cond_timedwait()的线程在等待期间与条件变量相关联；但是，如果需要可预测的调度行为，则调用pthread_cond_broadcast()或pthread_cond_signal()的线程必须锁定该互斥锁。
condition。如果进程B仅在修改期间锁定了互斥锁，然后在调用pthread_cond_signal之前解锁了该互斥锁，那么就不会有问题 - 我的理解是正确的吗？pthread_cond_signal是一个坏主意。但是caf的示例实际上并不支持这种立场的证据；它只是支持了一个更弱的（实际上是自明的）立场的证据，即除非你首先锁定了互斥锁，否则修改受互斥锁保护的共享状态是一个坏主意。pthread_cond_signal，然后调用pthread_mutex_unlock会产生正确的行为，但在调用pthread_mutex_unlock后调用pthread_cond_signal会产生错误的行为？pthread_mutex_unlock之后调用pthread_cond_signal可能会导致丢失唤醒，因为信号被“错误”的线程捕获，该线程在看到谓词的更改后阻塞。只有当相同的条件变量可用于多个谓词并且您不使用pthread_cond_broadcast时，这才是一个问题，而这种情况很少见且易碎。 - David Schwartz
pthread_signal_cond()可以在互斥锁解锁之后移动，虽然最好不要这样做。或许更准确地说，在调用pthread_signal_cond()时，你已经需要锁定互斥锁来修改条件本身了。 - cafpthread_cond_timedwait()或pthread_cond_wait()操作，那么该互斥锁和条件变量之间形成了一种动态绑定，只要至少有一个线程被阻塞在条件变量上，该绑定就会生效。在此期间，任何线程尝试使用不同的互斥锁等待该条件变量的行为是未定义的。" - cafpthread_cond_wait()调用是原子性的，它会释放互斥锁并在条件变量上等待。当被唤醒后，在返回之前重新获取互斥锁。这就是为什么需要将已加锁的互斥锁传递给该函数的原因。 - caf