计算机操作系统课件第三章.pptVIP

2021/3/17 * (1) T0时刻的安全性: 图 3-9 T0时刻的安全序列 2021/3/17 * (2) P1请求资源:P1发出请求向量Request1(1,0,2),系统按银行家算法进行检查: ① Request1(1, 0, 2)≤Need1(1, 2, 2) ② Request1(1, 0, 2)≤Available1(3, 3, 2) ③ 系统先假定可为P1分配资源,并修改Available, Allocation1和Need1向量,由此形成的资源变化情况如图 3-15 中的圆括号所示。 ④ 再利用安全性算法检查此时系统是否安全。 2021/3/17 * 图 3-10 P1申请资源时的安全性检查 2021/3/17 * (3) P4请求资源:P4发出请求向量Request4(3,3,0),系统按银行家算法进行检查: ① Request4(3,3,0)≤Need4(4,3,1); ② Request4(3,3,0)Available(2,3,0),让P4等待。 (4) P0请求资源:P0发出请求向量Requst0(0,2,0),系统按银行家算法进行检查: ① Request0(0,2,0)≤Need0(7,4,3); ② Request0(0,2,0)≤Available(2,3,0); ③ 系统暂时先假定可为P0分配资源,并修改有关数据,如图 3-11 所示。 2021/3/17 * 图 3-11 为P0分配资源后的有关资源数据 2021/3/17 * 允许死锁发生,操作系统不断监视系统进展情况,判断死锁是否发生 一旦死锁发生则采取专门的措施,解除死锁并以最小的代价恢复操作系统运行 3.7 死锁的检测和解除 2021/3/17 * 1.检测时机 当进程等待时检测死锁 （其缺点是系统的开销大） 定时检测 系统资源利用率下降时检测死锁 2021/3/17 * 2.死锁检测算法 每个进程和资源指定唯一编号 设置一张资源分配表 记录各进程与其占用资源之间的关系 设置一张进程等待表 记录各进程与要申请资源之间的关系 2021/3/17 * 1) 资源分配表和进程等待表 资源分配表 进程等待表 r1 p2 p1 r1 r2 p5 p2 r3 r3 p4 p4 r4 r4 p1 … … … … 2021/3/17 * 2)资源分配表和进程等待表 当进程P4申请资源3时,会产生死锁吗? 2021/3/17 * 3)检测算法 2021/3/17 * 3.死锁的解除 重要的是以最小的代价恢复系统的运行。方法如下: 1）重新启动 2）撤消进程 3）剥夺资源 4）进程回退 2021/3/17 * 4.资源分配图 用有向图描述进程的死锁 准确、形象 系统由若干类资源构成,一类资源称为一个资源类;每个资源类中包含若干个同种资源,称为资源实例 2021/3/17 * 资源分配图 二元组G=（V,E） V:结点集,分为P,R两部分 P={p1,p2,…,pn}, R={r1,r2,…,rm} E:边的集合,其元素为有序二元组: (pi,rj)或(rj,pi) 表示法: 资源类:用方框表示（资源的不同类型） 资源实例:用方框中的黑圆点表示（存在于每个资源中） 进程 :用圆圈中加进程名表示 分配边:资源实例?进程的一条有向边 申请边:进程?资源类的一条有向边 2021/3/17 * 5. 死锁定理 如果资源分配图中没有环路,则系统中没有死锁,如果图中存在环路则系统中可能存在死锁。 如果每个资源类中只包含一个资源实例,则环路是死锁存在的充分必要条件。 2021/3/17 * 有环有死锁 2021/3/17 * 有环无死锁 2021/3/17 * 2. 死锁定理 图 3-12 资源分配图的简化 2021/3/17 * 6. 资源分配图化简 方法如下: 1）找一个非孤立点进程结点且只有分配边,去掉分配边,将其变为孤立结点 2）再把相应的资源分配给一个等待该资源的进程,即将某进程的申请边变为分配边 2021/3/17 * 7.解除死锁 当发现有进程死锁后,便应立即把它从死锁状态中解脱出来,常采用的方法有: 剥夺资源:从其它进程剥夺足够数量的资源给死锁进程,以解除死锁状态; 撤消进程:可以直接撤消死锁进程或撤消代价最小的进程,直至有足够的资源可用,死锁状态消除为止;所谓代价是指优先级