管程。 东尼·霍尔发展了理论框架并证明了与信号量等价。管程不久用于单任务操作系统的进程间通信.已经支持管程的程序设计语言：许多库已经允许在程序设计语言没有本地支持时构建管程。当库调用时，编程者负责明确表示互斥执行的代码块的开始与结尾.Pthreads就是这样一个库.