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