手術室監視器所拍到的靈魂片段

監視器是一種用來同步化多個彼此分享資源之工作的方法，這些資源一般是硬體裝置或一群變數.

此方法由Per Brinch Hansen發明，首先被實作在巴斯卡協同式(Concurrent Pascal)語言，並被單作業系統使用於程序間的通訊。
目錄
[隱藏]

* 1 互斥
* 2 條件變數
* 3 History
* 4 External links

[編輯] 互斥

一個監視器包含:

* 許多的會彼此互動並共用資源的程序
* 許多與資源使用有關的變數
* 一個互斥鎖
* 一個用來避免條件競爭的不變量

一個監視器的程序在執行工作前會先關上互斥鎖，直到完成工作或是等待其他條件時才會解鎖。若每個程序在解開戶斥鎖之前都能保證不變量成立，則所有工作皆不會導致條件競爭發生。

以下這個提款／存款的銀行監視器是個簡單的例子：