操作系统第3节.pptVIP

产生死锁必须具备以下四个条件，这四个条件是Coffman首先提出的，所以称为Coffman 条件： 对照P50 互斥原则 预防死锁和避免死锁的区别 前者所采用的分配策略本身就否定了必要条件之一，以此来保证死锁不可能发生。 后者是在动态分配资源的策略下采用某种算法来预防可能发生的死锁，从而拒绝可能引起死锁的某个资源请求。 2.一旦运行后，这些资源全归其占有，同时它也不再提出其它资源要求，这样可以保证系统不会发生死锁。 常用或普通资源编号较低，贵重或稀少资源编号较高，可使高价值资源利用率提高。(如A进程顺序使用2,5,10号资源，B进程只用10号资源) 也就是，只要进程提出请求资源Ri，则在以后的请求中，只能请求Ri后的资源，这样不会出现几个进程请求资源而形成环路 总有一个进程占据了较高序号的资源，以后申请的资源都是空闲的，因此可以向前推进。 对每一个资源请求进行检查 如果满足该请求是否会导致不安全状态? 若会，则不满足该请求；否则，满足。 检查状态是否安全的方法：是否有足够的资源满足一个剩余请求最小的客户？ 若有，则这笔投资是能够收回的；然后检查下一个能满足剩余请求的客户；如此反复。如果所有投资最终都被收回，则该状态是安全的，最初的请求可以批准。 若无，则不安全状态，最初的请求不可以批准。 银行家算法的实质就是要设法保证系统动态分配资源后仍然保持安全状态，从而避免死锁的发生。 4。等5号申请出现时，死锁出现。 算法描述 当有多个进程同时提出多种资源请求时，检查系统可用资源能够满足哪一个进程的资源请求，如果有这样的进程则分配给它，该进程将很快完成运行并归还所占资源，系统可用资源增多并标识该进程为完成状态。对其它进程重复上述过程。直到所有进程运行完成。 实质上是寻找一个安全序列。 T0时刻存在着一个安全序列{P1 P3 P4 P2 P0}，故系统是安全的。 银行家算法优缺点 优点 允许资源的互斥使用、部分分配和不可抢占，可提高资源利用率。 缺点 要求事先确定进程对资源的最大需求，在现实中很困难； 进程数目随时变化，安全序列不易确定。 课堂作业：P115 题目22 3.7 死锁的检测和解除 如果在一个系统中，既未采用死锁预防方法，也未采用死锁避免方法，而是直接为进程分配资源，则系统中便有可能发生死锁。 一旦死锁发生，系统应能将其找到并加以消除，为此需提供死锁检测和解除的手段。 一、资源分配图 检测死锁的基本思想：在OS中保存资源的请求和分配信息，利用某种算法对这些信息加以检查，以判断是否存在死锁。为此，将进程和资源间的申请和分配关系描述成一个有向图---资源分配图。 资源分配图 又称进程-资源图，它描述了进程和资源间的申请和分配关系，该图是一个有向图，具有以下定义和限制： 一个结点集合N和边集合E 结点N被分为两个互斥子集 进程结点子集P={P1, P2, …, Pn} 资源结点子集R={R1, R2, …, Rm} N=P ? R={P1, P2, …, Pn} ? {R1, R2, …, Rm} 圆圈表示一个进程，方框表示一类资源，其数目由方框中的小圆圈数表示 边E 请求边：Pi ? Rj ,即e=(Pi , Rj ) 分配边：Pi Rj 即e= (Rj , Pi ) 进程 有三个资源 Pi 请求一个Rj Pi 持有一个Rj 资源分配图 例 进程结点子集 P = {P1,P2,P3} 资源结点子集R = {R1,R2,R3,R4} N=P ? R={P1,P2,P3} ? {R1,R2,R3, R4}={P1,P2,P3,R1,R2,R3,R4} E={(R2,P1),(R2,P2),(P1,R1),(R1,P2),(P2,R3),(R3,P3)} 进程 有三个资源 Pi 请求一个Rj Pi 持有一个Rj 资源分配图 例 设进程集P、资源类集R及边集E如下： P={p1，p2，p3} R={r1(1),r2(2),r3(1),r4(3)} E={(r1,p2), (r2,p2), (r2,p1), (r3,p3), (p1,r1), (p2,r3), (r4,p3)} 对应的资源分配图： p2 p1 p3 . . . . . . . r1 r3 r2 r4 无环路，故不存在死锁 有环路且有死锁的资源分配图 有环路但没有死锁的资源分配图 重要结论：如果资源分配图中不存在环路，则系统中不存在死锁；反之，如果资源分配图中存在环路，则系统中可能存在死锁，也可能不存在死锁。 资源分配图 例 资源分配图的化简 可以通过对资源分配图进行化简，来判断系统是否处于死锁状态