条件变量让线程等待某个共享状态谓词成立，例如“队列非空”或“任务已完成”。它本身不保存业务数据，也不等同于事件计数器；状态通常放在共享变量中，互斥锁保护该状态，条件变量负责让等待者在谓词不成立时睡眠，并在状态可能改变时唤醒。

典型流程是：线程先持有互斥锁，循环检查谓词；若不成立，调用条件等待。等待操作会原子地释放互斥锁并进入等待；被唤醒后重新取得互斥锁，再次检查谓词，只有条件确实成立才继续。修改状态的线程也应持锁更新谓词，再通知一个或多个等待者。

等待必须使用 while 而非 if。原因包括虚假唤醒、多个消费者被同时唤醒但只有一个能取到任务，以及通知发出时条件稍后又被其他线程改变。通知不是“条件为真”的证明；共享谓词才是事实来源。通常先更新状态再通知，这样等待者醒来后能观察到新状态。

如果等待者检查谓词、释放锁、进入等待这几步不是协调好的，通知可能恰好发生在检查之后、睡眠之前，造成丢失唤醒。条件等待与锁配合的原子释放/等待过程正是为了避免这个窗口。超时等待还要检查最终谓词，不能把超时或被唤醒直接当作任务完成。