管程的占用被传递 参见HowardandBuhr "et al.,"有更多信息。特别需要注意，断言formula_5完全是由编程者负责，编程者需要在头脑中保持对断言有一致的(consistent)定义。下例是用阻塞式管程实现一个有界的、线程安全的栈. 即多线程并发访问这个栈时，在任意时刻最多只有一个线程执行push或pop操作。
非阻塞式条件变量."非阻塞式条件变量" (也称作""Mesa风格""条件变量或""通知且继续""(signal and continue)