operating_system_6.pptVIP

四、死锁研究的主要内容 1. 死锁问题有许多内容有待研究，这里主要介绍解决死锁所采用的方法： 忽略此问题不做任何实际处理 (鸵鸟策略) 设计无死锁的系统 允许系统出现死锁后排除之 死锁防止 (deadlock prevention) 死锁避免 (deadlock avoidance) 死锁检测 (deadlock detection) 死锁恢复 (deadlock recovery) 2. 死锁的防止 通过破坏死锁存在的(4个)必要条件来防止死锁发生。我们不妨把死锁的四个必要条件记做C1， C2， C3， C4，把死锁记做D，则有逻辑公式：D? C1?C2? C3? C4，由离散数学公式推导得：? C1?? C2?? C3?? C4??D…(2)式中的“ ?”表示“ 蕴含”；“ ?”表示“ 与”；“ ?”表示“ 或”；“ ?”表示“ 非”。由(2) 式可知，只要系统中有一个必要条件不成立就能不出现死锁，此即死锁防止的思想基础。 (1) 破坏互斥条件 如果允许系统资源都能共享使用，则系统不会进入死锁状态。但这种方法不是切实可行的。因为有些资源若是共享使用。例如：打印机在多进程打印，不能每个进程打印一行，则无法保证其正确性。又如，对临界资源的访问就必须互斥进行。 (2) 破坏占有等待 (二个方法) 方法一：进程申请到它