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