- 死鎖
- 概念：程式形成迴圈依賴。
- 類似問題：飢餓，infinite blocking。飢餓問題可以通過FCFS解決。
- 解決方案：後退策略。一個或多個程式釋放資源。
- 現狀：windows和unix系統都是採用假設沒有死鎖發生的策略。效能和準確性的平衡。
- monitor
- 概念：一系列通過模組或包組合在一起的流程，變數和資料結構。
- 特性：任意時刻有且僅有一個活躍程式。
- condition variable（c為monitor內的程式增加主動掛起功能）
- c.wait（）：掛起當前程式
- c.signal（）：掛起當前程式，激發被阻塞的程式（等多種策略）