操作系统第3章重点介绍.pptVIP

产生死锁的必要条件 互斥条件 (2) 请求和保持条件（占有并等待） (3) 不剥夺条件 (4) 环路等待条件 1.必要条件（缺一不可） 2.必须同时成立或存在 处理死锁的基本方法 预防死锁 (2) 避免死锁 (3) 检测死锁 (4) 解除死锁 最好是预防，逐个降格 主动措施 （被动措施） （挽救措施） 3.6 预防死锁的方法 预防死锁 摒弃“请求和保持”条件 2. 摒弃“不剥夺”条件 3. 摒弃“环路等待”条件 由于互斥条件不可破坏,至少破坏1/4变成要破坏1/3. 形成死锁,要求4个条件同时成立, 至少破坏其中1个就行! 系统安全状态 安全状态：系统能按某种顺序如﹤P1,P2, …Pn﹥（ 称﹤P1,P2, …Pn﹥为安全序列 ），为每个进程分配资源，使每个进程都能顺利完成。 不安全状态：不存在安全序列的状态。 避免死锁的实质：如何使系统不进入不安全状态。 安全状态例 假定系统中有三个进程P1、 P2和P3，共有12台磁带机。进程P1总共要求10台磁带机，P2和P3分别要求4台和9台。假设在T0时刻，进程P1、P2和P3已分别获得5台、2台和2台磁带机，尚有3台空闲未分配，如下表所示： 3 5 2 2 10 4 9 P1 P2 P3 可 用 已 分 配 最 大 需 求 进 程 安全序列？p1→p2→p3 ， p2→p3→p1 ，p2→p1 →p3 利用银行家算法避免死锁 银行家算法中的数据结构 可利用资源向量Available：一个含有m个元素的数组，其中，每一个元素代表一类可用的资源数目，其初始值是系统中所配置的该类全部可用资源数目。其值随资源的分配和回收而动态地改变。 最大需求矩阵Max：是一个n×m的矩阵，定义了系统中n个进程中的每一个进程对m类资源的最大需求。 分配矩阵Allocation：是一个n×m的矩阵，定义了系统中每一类资源当前已分配给每一进程的资源数。 需求矩阵Need：是一个n×m的矩阵，表示每个进程尚需的该类资源数。 上述三个矩阵的关系： Need[ i, j ] = Max[ i , j ] – Allocation[ i , j ] 其中： Need[ i, j ] =k表示进程i还需要 Rj 类资源 k 个。 Max[ i , j ]=k 表示进程i 需要 Rj 类资源的最大数目为 k 。 Allocation[ i , j ] =k 表示进程i 当前已分得 Rj类资源的数目为 k 。 Available[j]=k表示系统中现有Rj类资源k个。 银行家算法：Requesti [ j ] = k 进程尚需要的资源 Requesti = Needi 1 出 错 N 等 待 N Requesti = Available Y 是否有足够的可利用资源 2 系统把要求的资源试探分配给进程Pi Available := Available - Requesti; Allocation := Allocationi + Requesti; Needi :=Needi - Requesti Y 3 系统执行安全性算法 4 分配资源给进程 Y 试探分配作废 N 安全性算法： 向量 Work 表示系统可提供给进程继续运行所需的各类资源数目，其初始化为当前可用的资源数。 向量 Finish 是布尔型数组，表示系统是否有足够的资源分配给进程，使之运行完成。初始化为 false。 安全性检查的步骤： (1) Work:=Available; Finish:=false; (2) 寻找满足条件的i： a. Finish[i]=false; b. Need[i]≤Work; 如果不存在，则转(4) (3) Work:=Work+Allocation[i]; Finish[i]:=true; 转(2) (4) 若对所有i，Finish[i]=true，则系统处于安全状态，否则处于不安全状态 银行家算法之例 假定系统中有五个进程｛P0, P1, P2, P3, P4｝和三类资源｛A, B, C｝，各种资源的数量分别为10、5、7。 T0时刻的资源分配表 T0时刻的安全性： T0时刻的安全序列 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向量。 ④ 再利用安全性算法