当一个线程等待一个条件变量，该线程不算作占用了该管程，因而其它线程可以进入该管程执行，改变管程的状态，通知条件变量formula_4其关联的断言formula_5在当前状态下为真.因此对条件变量存在两种主要操作:在下述例子中, 用管程实现了一个信号量. 一个私有整型变量codice_4需要被互斥访问。管程中定义了子程序“增加”(V)与子程序“减少”(P)，整型变量codice_4不能被减少到小于0; 因此子程序“减少”必须等到该整型变量是正数时才可执行. 使用条件变量codice_6与相关联的断言f