操作系统概念复习【1-7章】详解.pptVIP

最简单的死锁实例(初始状态): Max A B p1: p2: 1 1 1 1 Allocation A B 0 0 0 0 Need A B 1 1 1 1 Available A B 1 1 如何检验初始状态的安全性呢？ 初始状态检测流程(1) 最简单的死锁实例(检查初始状态是否安全): Max A B p1: p2: 1 1 1 1 Allocation A B 0 0 0 0 Need A B 1 1 1 1 Available A B 1 1 Work A B 1 1 Step1: Work:=Availabe 目标：检验初始状态安全性！ 初始状态检测流程(2) 最简单的死锁实例(检查初始状态是否安全): Max A B p1: p2: 1 1 1 1 Allocation A B 0 0 0 0 Need A B 1 1 1 1 Available A B 1 1 Work A B 1 1 Step2:寻找那个进程可以在现有Work资源集的基础上顺利执行完成 P1, P2都可以作为备选，我们选P1 P1 安全序列： 判断依据：Need=Work 初始状态检测流程(3) 最简单的死锁实例(检查初始状态是否安全): Max A B P1: p2: 1 1 1 1 Allocation A B 0 0 0 0 Need A B 1 1 1 1 Available A B 1 1 Work A B 1 1 P1 安全序列： Step 2: Finish[1]=true Work=work+allocation[1] Finish true 初始状态检测流程(4) 最简单的死锁实例(检查初始状态是否安全): Max A B P1: p2: 1 1 1 1 Allocation A B 0 0 0 0 Need A B 1 1 1 1 Available A B 1 1 Work A B 1 1 P1 P2 安全序列： Step 3: 从尚未结束的进程中再挑下一个能够保证全部资源就绪的进程 Finish true 这时只有P2可以选，并且p2满足要求 判断依据：Need=Work 安检结果：初始状态安全 Max A B p1: p2: 1 1 1 1 Allocation A B 0 0 0 0 Need A B 1 1 1 1 Available A B 1 1 接着，进程p1发出请求request=[1,0] 例子：R={A,B}, 申请a, b; 释放a, b p1: a b a b; p2:b b a a 第一次预分配 Max A B p1: p2: 1 1 1 1 Allocation A B 1 0 0 0 Need A B 0 1 1 1 Available A B 0 1 预分配结果： 很容易判定安全 安全序列= p1, p2 第2个request降临 Max A B p1: p2: 1 1 1 1 Allocation A B 1 0 0 0 Need A B 0 1 1 1 Available A B 0 1 分配后： Request[2]=(0,1), 不安全，不分配，（分配不导致死锁） 例子：R={A,B}, 申请a, b; 释放a, b p1: a b a b; p2:b b b a a b 银行家算法 的保守性 * 银行家如果接受一个烂摊子（初始就处于资本风险之中），那他可能会很倒霉，尽管他可能很优秀 * 银行家如果接受一个烂摊子（初始就处于资本风险之中），那他可能会很倒霉，尽管他可能很优秀 * 银行家如果接受一个烂摊子（初始就处于资本风险之中），那他可能会很倒霉，尽管他可能很优秀 * 银行家如果接受一个烂摊子（初始就处于资本风险之中），那他可能会很倒霉，尽