处理机管理进程死锁.ppt

银行家算法资源分配情况 Process Allocation Need Available P0 0 0 3 2 0 0 1 2 1 6 2 2 1 6 5 4 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 安全序列：P0, 银行家算法资源分配情况 Process Allocation Need Available P0 0 0 3 2 0 0 1 2 1 6 2 2 1 6 5 4 1 9 8 6 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 安全序列：P0,P3, 银行家算法资源分配情况 Process Allocation Need Available P0 0 0 3 2 0 0 1 2 1 6 2 2 1 6 5 4 1 9 8 6 1 9 9 10 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 安全序列：P0,P3,P4, 银行家算法资源分配情况 Process Allocation Need Available P0 0 0 3 2 0 0 1 2 1 6 2 2 1 6 5 4 1 9 8 6 1 9 9 10 2 9 9 10 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 安全序列：P0,P3,P4,P1 银行家算法资源分配情况 Process Allocation Need Available P0 0 0 3 2 0 0 1 2 1 6 2 2 1 6 5 4 1 9 8 6 1 9 9 10 2 9 9 10 2 12 14 14 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 安全序列：P0,P3,P4,P1,P2；当前状态安全。 银行家算法资源分配情况 Process Allocation Need Available P0 0 0 3 2 0 0 1 2 1 6 2 2 P1 1 0 0 0 1 7 5 0 P2 1 3 5 4 2 3 5 6 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 P2提出请求（1，2，2，2） P2发出请求向量Request(1，2，2，2)，系统按银行家算法进行检查： ① Request(1, 2, 2,2)≤Need(2,3,5,6) ② Request(1, 2, 2,2)≤Available(1,6,2, 2) ③ 系统先假定可为P2分配资源，并修改Available, Allocation和Need向量，由此形成的资源变化情况如下图  ④ 再利用安全性算法检查此时系统是否安全。 试分配后，资源分配情况 Process Allocation Need Available（work） P0 0 0 3 2 0 0 1 2 0 4 0 0 P1 1 0 0 0 1 7 5 0 P2 2 5 7 6 1 1 3 4 P3 0 3 3 2 0 6 5 2 p4 0 0 1 4 0 6 5 6 此时系统资源无法满足任何进程的需求，进入不安全状态。因此试分配作废，进程P2被阻塞。 4 死锁检测与解除死锁 死锁预防策略是非常保守的，它们通过限制访问资源和在进程上强加约束来解决死锁问题 死锁检测策略则完全相反，它不限制访问资源或约束进程行为。不论是否可能，被请求的资源都被授权给进程。周期性地，操作系统执行一个算法检测死锁是否发生。 一旦死锁发生则采取专门的措施，解除死锁并以最小的代价恢复操作系统运行。 死锁的检查可以非常频繁地在每个资源请求时都进行，也可以少一些，这取决于发生死锁的可能性 检测时机： 每个资源请求时 当进程等待时检测死锁 （其缺点是系统的开销大） 定时检测 系统资源利用率下降时检测死锁 死锁检测算法 算法的策略是查找一个进程，使得可用资源可以满足该进程的资源请求，然后假设同意这些资源，让进程运行直到完成，再释放它的所有资源，然后算法寻找另一个可以满足资源请求的进程 基于资源分配图和死锁定理的检测算法： 死锁检测算法 资源分配图 用有向图描述进程的死锁: