操作系统笔记（八）进程同步附加篇

• 死锁

1. 概念：进程形成循环依赖。
2. 类似问题：饥饿，infinite blocking。饥饿问题可以通过FCFS解决。
3. 解决方案：后退策略。一个或多个进程释放资源。
4. 现状：windows和unix系统都是采用假设没有死锁发生的策略。性能和准确性的平衡。

• monitor

1. 概念：一系列通过模块或包组合在一起的流程，变量和数据结构。
2. 特性：任意时刻有且仅有一个活跃进程。

• condition variable（c为monitor内的进程增加主动挂起功能）

1. c.wait（）：挂起当前进程
2. c.signal（）：挂起当前进程，激发被阻塞的进程（等多种策略）