第3章 处理机调度与死锁例析.ppt

True 10 5 7 6 0 0 7 5 5 P2 True 7 5 5 7 4 3 7 4 5 P0 True 7 4 5 4 3 1 7 4 3 P4 True 7 4 3 0 1 1 5 3 2 P3 True 5 3 2 0 2 0 2 3 0 P1 Finish Work+AllocationA B C Need A B C Work A B C 资源情况 进程 这两列内容不变 3 0 2 0 1 0 0 0 2 2 1 1 3 0 2 AllocationA B C 由所进行的安全性检查得知，可以找到一个安全序列{P1,P3,P4,P0,P2},因此，系统是安全的，可以立即将P1所申请的资源分配给它。 　3.7 避 免 死 锁 P4请求资源：P4发出请求向量Request4(3,3,0),系统按银行家算法进行检查： （1）Request4(3,3,0)=Need4(4,3,1); （2）Request4(3,3,0)=Available(2,3,0),让P4等待。 P0请求资源：P0发出请求向量Request0(0,2,0),系统按银行家算法进行检查： （1）Request0(0,2,0)=Need0(7,4,3); （2）Request0(0,2,0)=Available(2,3,0)； （3）系统暂时先假定可为P0分配资源，并修改有关数据，如下表所示。 　3.7 避 免 死 锁 进行安全性检查：可用资源Available(2,1,0)已不能满足任何进程的需要，故系统进入不安全状态，此时系统不分配资源。 4 3 1 0 0 2 P4 0 1 1 2 1 1 P3 6 0 0 3 0 2 P2 0 2 0 3 0 2 P1 2 1 0 7 2 3 0 3 0 P0 Available A B C Need A B C Allocation A B C 资源情况 进程 　3.7 避 免 死 锁 练习：有三类资源A(17)、B(5)、C(20)。有5个进程P1—P5。T0时刻系统状态如下： 最大需求 已分配 P1 5 5 9 2 1 2 P2 5 3 6 4 0 2 P3 4 0 11 4 0 5 P4 4 2 5 2 0 4 P5 4 2 4 3 1 4 　3.7 避 免 死 锁 (1)、T0时刻是否为安全状态，给出安全系列。 (2)、T0时刻，P2: Request(0,3,4)，能否分配，为什么？ (3)、在(2)的基础上P4：Request(2,0,1)，能否分配，为什么？ (4)、 在(3)的基础上P1：Request(0,2,0)，能否分配，为什么？ 最大需求 已分配 Need P1 5 5 9 2 1 2 3 4 7 P2 5 3 6 4 0 2 1 3 4 P3 4 0 11 4 0 5 0 0 6 P4 4 2 5 2 0 4 2 2 1 P5 4 2 4 3 1 4 1 1 0 A(17)、B(5)、C(20) Available=Work=2 3 3 先求出Need和Work 【解】(1) T0时刻的安全系列 (4) 　3.7 避 免 死 锁 Work Allocation Need W+A Finish P5 2 3 3 3 1 4 1 1 0 5 4 7 T P4 5 4 7 2 0 4 2 2 1 7 4 11 T P3 7 4 11 4 0 5 0 0 6 11 4 16 T P2 11 4 16 4 0 2 1 3 4 15 4 18 T P1 15 4 18 2 1 2 3 4 7 17 5 20 T Work=2 3 3 　3.7 避 免 死 锁 因（ Available =2 3 3） Request(0,3,4) 所以不能分配 (2) P2: Request(0,3,4) 　3.7 避 免 死 锁 Work Allocation Need W+A Finish P4 0 3 2 4 0 5 0 2 0 4 3 7 T P5