OS第3章死锁(MR).pptVIP

假定系统中有4个进程{A, B, C, D}和三类资源R1, R2和R3，各自的数量分别为9, 3和6个单位。 进程 Allocation Max Need Available R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 A 1 0 0 3 2 2 2 2 2 1 1 2 B 5 1 1 6 1 3 1 0 2 C 2 1 1 3 1 4 1 0 3 D 0 0 2 4 2 2 4 2 0 T0时刻资源分配表（安全 ） 资源情况 3．算法应用示例 资源 情况 Work Need Allocation Work+Allocation Finish R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 B 1 1 2 1 0 2 5 1 1 6 2 3 true A 6 2 3 2 2 2 1 0 0 7 2 3 true C 7 2 3 1 0 3 2 1 1 9 3 4 true D 9 3 4 4 2 0 0 0 2 9 3 6 true 进程 T0时刻的安全序列 3．算法应用示例 假定系统中有4个进程{A, B, C, D}和三类资源R1, R2和R3，各自的数量分别为9, 3和6个单位。 （1）T0时刻是安全的，存在一个安全序列{B, A, C, D} 假定系统中有4个进程{A, B, C, D}和三类资源R1, R2和R3，各自的数量分别为9, 3和6个单位。 进程A请求资源，进程A发出请求Request(1, 0, 1) 进程 Allocation Max Need Available R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 A 1 0 0 3 2 2 2 2 2 1 1 2 B 5 1 1 6 1 3 1 0 2 C 2 1 1 3 1 4 1 0 3 D 0 0 2 4 2 2 4 2 0 T0时刻资源分配表 资源情况 资源情况 进 程 Max Allocation Need Available R1 R2 R3 R1 R2 R3 R1 R2 R3 R1 R2 R3 A 3 2 2 2 0 1 1 2 1 0 1 1 B 6 1 3 5 1 1 1 0 2 C 3 1 4 2 1 1 1 0 3 0 1 1 D 4 2 2 0 0 2 4 2 0 系统进入不安全的状态 不能为进程A分配所申请的资源 为进程A分配资源后的有关数据 3．算法应用示例 假定系统中有4个进程{A, B, C, D}和三类资源R1, R2和R3，各自的数量分别为9, 3和6个单位。 进程A请求资源，进程A发出请求Request(1, 0, 1) 银行家算法 优点： 限制条件少 资源利用程度提高 缺点： ①难以保证进程数固定不变 ②未考虑实时进程快速响应 ③增加了系统开销 进程 Allocation Max Need Available P1 0，1，0 7，5，3 ? ? P2 2，0，0 3，2，2 ? ? P3 3，0，2 9，0，2 ? ? P4 2，1，1 2，2，2 ? ? P5 0，0，2 4，3，3 ? ? 假设某系统中有3类资源(R1、R2、R3)，每一种资源的可用量为（10，5，7）： （1）当前系统是否安全 （2）进程P1发出请求向量Request1（2，0，4），系统能否将资源分配给它？ （3）如果进程P3发出请求向量Request3（4，0，0），系统能否将资源分配给它？ （4）如果此刻进程P2发出请求向量Request2（1，0，2），系统能否将资源分配给它？ （5）在（4）的基础上如果又有进程P5发出请求向量Request5（2，2，0），系统能否将资源分配给它？ 3.5 死锁的检测和恢复 死锁检测与恢复是指系统设有专门的机构，当死锁发生时，该机构能够检测到死锁发生的位置和原因，且能通过外力破坏死锁发生的必要条件，从而使并发进程从死锁状态中解脱出来。 3.5.1 对单体资源类的死锁检测 ■等待图——资源分配图的变形 从资源分配图中去掉表示资源类的节点，且把相应边折叠在一起得到的 资源分配图和对应的等待图 3.5.2 对多体资源类的死锁检测 采用若干随时间变化的数据结构，与银行家算法相似 ① Available是一个长度为m的向量 ② Allocation是一个n×m的矩阵 ③ Request是一个n×m的矩阵，Request[i, j]=k，表示进程pi正申请k个rj类资源 仍把矩阵Allocation和Request的行作为向量对待，并分别表示为Allocati