- 死锁
- 概念:进程形成循环依赖。
- 类似问题:饥饿,infinite blocking。饥饿问题可以通过FCFS解决。
- 解决方案:后退策略。一个或多个进程释放资源。
- 现状:windows和unix系统都是采用假设没有死锁发生的策略。性能和准确性的平衡。
- monitor
- 概念:一系列通过模块或包组合在一起的流程,变量和数据结构。
- 特性:任意时刻有且仅有一个活跃进程。
- condition variable(c为monitor内的进程增加主动挂起功能)
- c.wait():挂起当前进程
- c.signal():挂起当前进程,激发被阻塞的进程(等多种策略)