线程已经获取了mutex使得期望的条件不再满足，因此被唤醒的线程面临着条件不成立。因此，应该用while循环包围条件变量等待操作.
历史.东尼·霍尔与泊·派克·汉森在1972年形成了管程的构思, 根据他们自己更早的想法与艾兹赫尔·戴克斯特拉的工作.泊·派克·汉森第一个实现了管程。 东尼·霍尔发展了理论框架并证明了与信号量等价。管程不久用于单任务操作系统的进程间通信.已经支持管程的程序设计语言：许多库已经允许在程序设计语言没有本地支持时构建管程。当库调用时，编程者负责