操作系统教程(第4版)第三章并发进程3.6死锁3.6.1死锁产生若干死锁的例子(1)若干死锁的例子(2)例２PV操作使用不当产生死锁若干死锁的例子(3)例３资源分配不当引起死锁若干死锁的例子(4)例４对临时性资源使用不加限制引起死锁P1死锁的定义产生死锁的原因3.6.2死锁防止系统形成死锁的四个必要条件死锁防止策略破坏第三个条件采用剥夺式调度方法，当进程在申请资源未获准许的情况下,应主动释放已经保持了的资源，以后再去重新申请。这被认为使进程已经占有的资源被剥夺了。这种方法致使进程的执行被无限期地推迟，延长了进程的周转时间，增加了系统的开销，降低了系统的吞吐量。层次分配策略（破坏条件2和4）层次策略的变种－－按序分配策略反证法证明按序分配不会产生死锁3.6.3死锁的避免银行家算法银行家算法银行家算法银行家算法系统提供的最大资源为10多种资源的银行家算法(1)银行家算法的数据结构(1)银行家算法的数据结构(3)分配矩阵—表示进程当前已分得的资源数,Aij表示进程Pi已分到Rj类资源的个数银行家算法中下列关系式确保成立一种死锁避免方法—进程启动拒绝法系统安全性的定义银行家算法的描述安全性算法实例说明系统所处的安全或不安全状态(1)银行家算法应用银行家算法应用银行家算法应用实例说明系统所处的安全或不安全状态进程P1申请资源request1=(1,0,2),检查request1≤Available、比较(1,0,2)≤(3,3,2),结果满足条件,试分配,得到新状态：判定新状态是否安全?可执行安全性测试算法，找到一个进程序列{P1,P3,P4,P0,P2}能满足安全性条件,可正式把资源分配给进程P1;系统若处在下面状态中：进程P4请求资源(3,3,0),由于可用资源不足,申请被系统拒绝;进程P0请求资源(0,2,0),此时系统能满足进程P0的资源请求(0,2,0);但可看出系统已处于不安全状态了。银行家算法的程序及简短说明(1)银行家算法的程序及简短说明(2)银行家算法的程序及简短说明(3)3.6.5死锁的检测和解除进程-资源分配图PRAG(1)资源分配图的一个例子资源分配图的另一个例子简化进程-资源分配图检测系统是否处于死锁状态(1)简化进程-资源分配图检测系统是否处于死锁状态(2)死锁的检测方法(1)死锁的检测(2)死锁的解除(1)死锁的解除(2)课堂练习作业