银行家算法文档资料.pptVIP

* * * * * * * * * * * * * * * * 计算机操作系统 * 死锁的“3W” What Why How 什么是死锁？ 为什么会发生死锁？ 怎么解决死锁？ * 死锁的处理方法 （1）预防死锁：通过某些限制条件的设置，去破坏产生死锁的四个必要条件； （2）避免死锁：在资源的动态分配过程中，用某种方法去防止系统进入不安全状态； （3）检测死锁：及时检测死锁的发生，并确定与之相关的进程、资源，从而采取措施清除死锁； （4）解除死锁：撤消或挂起某些进程以回收一些资源，用于解脱另一些处于死锁的进程。 * 避免死锁—银行家算法 设银行家有10万周转资金，P, Q, R分别需要8,3,9万元搞项目，如果P已申请到了4万，Q要申请2万，R要申请4万. Q1：客户要求分期贷款，一旦得到每期贷款，就能够归还贷款 Q2：银行家应谨慎的贷款，防止出现坏帐 什么是银行家问题？ 银行家-操作系统 周转资金-系统资源 贷款客户-进程 当某进程请求分配资源时，系统假定先分配给它，之后若能找到一个进程完成序列（安全序列），说明系统是安全的，可进行实际分配；否则，让申请者等待。 银行家算法的实现思想 * 表 示 形 式 含 义 Available （可用资源数组） Available[ j ]＝k 现有资源 j 的数目为 k Max （最大需求矩阵） Max[ i, j ]＝k 进程 i 对资源 j 的最大需求数目为 k Allocation （分配矩阵） Allocation[ i, j ]＝k 进程 i 当前已分得的资源 j 的数目为 k Need （需求矩阵） Need[ i, j ]＝k 进程 i 尚需分配的资源 j 的数目为 k 银行家算法中的数据结构 * 银行家算法 当Pi发出资源请求，分配一个Request向量 然后系统按下述流程进行执行： Requesti：是进程Pi的请求向量 如果Requesti[j]=K，表示进程i需要K个Rj类型的资源。 银行家算法实现过程 * * 安全性算法实现过程 安全性算法 两个向量：Work和Finish ?Work表示系统可提供给进程继续运行所需的各类资源数目（即在分配过程中，系统的可用资源数）。 初始值 Work∶=Available; ?Finish表示系统是否有足够的资源分配给进程i，使之运行完成。 初始值 Finish[i]:=false 当有足够资源分配给进程时 Finish[i]:=true * * 假定系统中有五个进程｛P0, P1, P2, P3, P4｝和三类资源｛A, B, C｝，各种资源的数量分别为10、5、7，在T0时刻的资源分配情况如下图所示。 P4 P3 P2 P1 P0 Available A, B, C Need A, B, C Allocation A, B, C Max A, B, C 进 程 资源 情况 7, 5, 3 3, 2, 2 9, 0, 2 2, 2, 2 4, 3, 3 0, 1, 0 2, 0, 0 3, 0, 2 2, 1, 1 0, 0, 2 7, 4, 3 1, 2, 2 6, 0, 0 0, 1, 1 4, 3, 1 3, 3, 2 银行家算法实例 * （1）T0时刻系统是否安全？ 执行安全性算法进行检查： ① 向量初值 Work :＝Available＝(3, 3, 2)； Finish[ i ]:＝false；（i＝0, 1, …, 4） ② 在进程集合中找到 Need1＝(1, 2, 2) ≤Work 且 Finish[ 1 ]＝false； ③ 则设 P1 顺利执行完成，从而有： Work :＝Work＋Allocation1 ＝(3, 3, 2)＋(2, 0, 0)＝(5, 3, 2) Finish[ 1 ]:＝true 银行家算法实例 * Chapter 3 处理机调度与死锁 Finish Work+Allocation Allocation Need Work true 5 3 2 2 0 0 1 2 2 3