監視器

監視器 (英語：Monitors，也称为监视器) 是一种程序结构，结构内的多个子程序（对象或模块）形成的多个工作线程互斥访问共享資源。這些共享資源一般是或一群變數。管程实现了在一个时间点，最多只有一个线程在执行管程的某个子程序。与那些通过修改数据结构实现互斥访问的并发程序设计相比，管程实现很大程度上简化了程序设计。 管程提供了一种机制，线程可以临时放弃互斥访问，等待某些条件得到满足后，重新获得执行权恢复它的互斥访问。 管程是东尼·霍尔与泊·派克·漢森提出的，并由泊·派克·漢森首次在中实现。东尼·霍尔证明了這與信号量是等價的。管程在当时也被用于环境中的进程間通訊。 在程式語言，，Modula-2，Modula-3，Mesa以及Java中都提供這個功能。