吉林大学操作系统课件 第五章 死锁与饥饿.ppt

第五章 死锁与饥饿;5.1 死锁的概念;死锁定义;由定义得到的结论;5.2 死锁类型;5.2 死锁类型;5.2 死锁类型;5.2 死锁类型;5.2 死锁类型(Cont.);5.3 死锁的条件;5.4 死锁的处理;5.5 资源分配图;5.5 资源分配图;例子（无环路，无死锁）;例子（有环路，有死锁）;例子（有环路，无死锁）;例子（有环路，无死锁）;5.5.2 资源分配图的约简;死锁定理;5.6 死锁预防;5.6.1 预先分配法;5.6.2 有序分配法;5.6.2 有序分配法;5.6.2 有序分配法;例子;例子;例子;5.7 死锁避免;银行家算法(Cont.);银行家算法(Cont.);银行家算法(Cont.);资源分配;安全性检测算法;银行家算法例子;银行家算法例子;例子：R={A,B}, 申请a, b; 释放a, b P={p1,p2}, p1: a b a b; p2:b b b a a b;银行家算法的保守性;讨论;5.8 死锁的检测;5.8.1 死锁检测算法;Remarks;Remarks;死锁例子;5.8.2 死锁检测时刻;5.9 死锁的恢复;5.10 鸵鸟算法;5.11 有关问题的讨论;5.12 饥饿与活锁;死锁???饥饿;5.13 死锁的例子;过河问题;;过河问题;过河问题;思考问题;例2. 过河问题(2);W?E: P(S); P(s1); 走到1; P(s2); 走到2; V(s1); P(s3); 走到3； V(s2); P(s4); 走到4；;5.14 简单组合资源死锁的静态分析;死锁分析例子;死锁分析例子;死锁分析例子;5.15 同种组合资源死锁的必要条件;例子;Assignment #6