件变数(Condition Variable).对于许多应用场合，互斥操作是不够用的。线程可能需要等待某个条件formula_1为真，才能继续执行。在一个忙碌等待循环中将会导致所有其它进程都无法进入临界区使得该条件formula_1为真，该管程发生死锁.解决办法是条件变量(condition variables). 概念上，一个条件变量就是一个线程队列(queue), 其中的线程正等待某个条件变为真。每个条件变量formula_4关联着一个断言formula_5. 当一个线程等待一个条件变量，该线