OS03死锁.ppt

安全状态* 如果系统能按某种顺序为每个进程依次分配其所需的资源，直至所有进程都能运行完成，称此时系统处于安全状态 这种进程的顺序，如P4,P1,…,Pn, 称为安全序列 若不存在这样一个安全序列称此时系统处于不安全状态 安全状态举例 系统有三个进程P1、P2、P3，12台打印机 P1共要求10台，P2共要求4台，P3共要求9台 在T0时刻，P1、P2、P3分别获得5、2、2台，尚有3台空闲 进程 最大需求 已分配 还需 可用 P1 10 5 5 3 P2 4 2 2 P3 9 2 7 系统T0时刻是安全状态？ 5 10 因在T0时刻存在一个安全序列P2, P1, P3，故系统此刻处于安全状态 由安全状态向不安全状态的转换 如果不按安全序列分配资源，则系统可能会由安全状态进入不安全状态。 如在T0以后，P3要求1台打印机，若系统分给它一台，则系统进入不安全状态。 进程 最大需求 已分配 还需 可用 P1 10 5 5 2 P2 4 2 2 P3 9 3 6 进入不安全状态一定会发生死锁吗？ 注意 不安全状态≠死锁 处于不安全状态的系统不一定会发生死锁 处于安全状态的系统一定不会发生死锁 系统处于安全与不安全状态都是对静态进行的评价 银行家算法描述 Dijkstra提出的最有代表性的避免死锁算法 我要贷款 …,对资金最大需求不超过现有资金 分期贷款，但贷款总数没超过最大需求 贷款可推迟支付，但能在有限时间里支付 贷款后一定能在有限时间归还所有资金 OK! 3.6.3 利用银行家算法避免死锁 3.6.3 利用银行家算法避免死锁 银行家算法描述 银行家算法中的数据结构 最大需求矩阵Max n×m矩阵，n为当前系统进程的数目，m为系统资源种类数。Max[i,j]为第i个进程对j类资源的最大需求 A B C P1 5 6 4 P2 3 3 2 P3 4 4 5 P4 3 6 4 A B C 5 2 3 可利用资源向量Available 是一个含有m个元素的数组，其中每个元素代表一类资源的可利用的数目 银行家算法描述 银行家算法中的数据结构 分配矩阵Allocation n×m矩阵，表示每个进程已分配的每类资源数 A B C P1 2 1 2 P2 1 2 1 P3 2 2 2 P4 1 3 2 需求矩阵Need n×m矩阵，表示每个进程还需要各类资源数 A B C P1 3 5 2 P2 2 1 1 P3 2 2 3 P4 2 3 2 Need[i,j]= Max[i,j]- Allocation[i,j] 3.6.3 利用银行家算法避免死锁 银行家算法的步骤 进程Pi申请资源Requesti[j] Requesti[j]≤Need[i,j] Requesti[j]≤Available[j] Available [j] :=Available [j] -Requesti[j]; Allocation[i,j]:=Allocation[i,j]+Requesti[j]; Need[i,j]:=Need[i,j]-Requesti[j]; 分配后状态安全否？ 请求的资源分配成功 恢复成原状态 退出 进程阻塞 N Y Y Y N N 进程提出资源请求 判断资源请求是否合法 判断是否有可用资源 试分配请求资源 调用安全性算法判断 系统新状态安全与否 银行家算法描述 当进程Pi提出资源申请时Requesti[j] ，系统执行下列步骤： 1）若Requesti[j]≤Need[i,j],转2）；否则错误返回。 2）若Requesti[j] ≤Available[j], 转3）；否则进程等待。 3）假设系统给它分配资源，则有： Available [j] :=Available [j] -Requesti[j]; Allocation[i,j]:=Allocation[i,j]+Requesti[j]; Need[i,j]:=Need[i,j]-Requesti[j] 4）执行安全性算法，若系统新状态是安全状态，则分配完成，若系统新状态是不安全状态，则恢复原状态，进程等待。 安全性算法 为进行安全性检查，定义数据结构： Work:ARRAY[0..m-1] of integer; Finish:ARRAY[0..n-1] of Boolean; m代表资源种类数，n代表进程的数量； Work表示系统可提供给进程继续运行的各类资源的数目； Finish表示系统是否有足够的资源分配给该进程。 银行家算法的步骤——安全性算法 Work[j]:=Available[j]; Finish[i]:=fal