操作系统学习-15 银行家算法

写在前面

最有代表性的避免死锁的算法，是 Dijkstra 的银行家算法。这是由于该算法能用于银行系统现金贷款的发放而得名的。为实现银行家算法，系统中必须设置若干数据结构。

银行家算法中的数据结构

四种数据结构中，i表示进程编号，j表示可利用资源编号。假定系统中有n个进程，m类可使用资源。

(1) 可利用资源向量 Available。
这是一个含有 m 个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态地改变。如果 Available[j]=K，则表示系统中现有 R j类资源K 个。

(2) 最大需求矩阵 Max。
这是一个 n×m 的矩阵，它定义了系统中 n 个进程中的每一个进程对 m 类资源的最大需求。如果 Max[i,j]=K，则表示进程 i 需要 Rj 类资源的最大数目为 K。

(3) 分配矩阵 Allocation。
这也是一个 n×m 的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果 Allocation[i,j]=K，则表示进程 i 当前已分得 R j类资源的数目为 K。

(4) 需求矩阵 Need。
这也是一个 n×m 的矩阵，用以表示每一个进程尚需的各类资源数。如果 Need[i,j]=K，则表示进程 i 还需要 R j类资源 K 个，方能完成其任务。

上述三个矩阵间存在下述关系：

Need[i, j]=Max[i, j]-Allocation[i, j]。可以简单记为：需求=最大需求-已分配。

银行家算法

设 Request i是进程 Pi的请求向量，如果 Request i[j]=K，表示进程 P i需要 K 个 R j类型的资源。当 P i发出资源请求后，系统按下述步骤进行检查：

(1) 如果 Request i[j]≤Need[i,j]，便转向步骤(2)；否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。

(2) 如果 Requesti[j]≤Available[j]，便转向步骤(3)；否则，表示尚无足够资源，Pi 须等待。

(3) 系统试探着把资源分配给进程 P i，并修改下面数据结构中的数值：

        Available[j]:= Available[j]-Request i[j]；
        Allocation[i,j]:= Allocation[i,j]+Request i[j]；
        Need[i,j]:= Need[i,j]-Request i[j]；

(4) 系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。若安全，才正式将资源分配给进程 Pi，以完成本次分配；否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程 Pi等待。

简单地说，首先进程需求的资源数不能超过它事先宣布的最大资源需求数，否则就是进程创建时的错误了。
然后，判断了进程需求的资源数是否小于目前系统可以提供的资源数，如果不是，说明系统没有多余的资源，那么进程只有等待其他进程结束，然后释放新的进程了。如果是，说明系统有多余的资源可以提供给进程。那么系统将尝试将资源分配给进程。
系统尝试将资源分配给进程之后，那么系统中可以使用的资源数将减少Request i[j]个，已经分配的资源数将增加Request i[j]个，那么需求资源数将减少Request i[j]个。这三个变化的数据结构都是与资源数相关的：可利用（空闲）、已分配（占用）、还需要（缺口）资源。
最后，系统尝试将资源分配给进程之后，会进一步调用安全性算法。如果安全性算法运算结果返回安全，说明此次分配可行，那么系统才会正式将资源分配给进程。否则，放弃此次尝试分配资源，将此次试探作废，从而恢复原来的资源分配状态，让进程进入等待状态。

安全性算法

系统的安全性算法是用来判断系统目前的资源分配方案是否安全，不会导致死锁。系统所执行的安全性算法可描述如下：

(1) 设置两个向量：

① 工作向量 Work，它表示系统可提供给进程继续运行所需的各类资源数目，它含有 m个元素，在执行安全算法开始时，Work:=Available。
② Finish，它表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish[i]:=false；当有足够资源分配给进程时，再令 Finish[i]:=true。

(2) 从进程集合中找到一个能满足下述条件的进程：

① Finish[i]=false；
② Need[i,j]≤Work[j]；若找到，执行步骤(3)，否则，执行步骤(4)。

(3) 当进程 Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行：

        Work[j]:= Work[j]+Allocation[i,j]；
        Finish[i]:=true；
        go to step 2；

(4) 如果所有进程的 Finish[i]=true 都满足，则表示系统处于安全状态；否则，系统处于不安全状态。

银行家算法之例

假定系统中有五个进程{P0，P1，P2，P3，P4}和三类资源{A，B，C}，各种资源的数量分别为 10、5、7，在 T0时刻的资源分配情况如图1所示。

图1. T0时刻的资源分配表

(1) T0时刻的安全性：利用安全性算法对 T0时刻的资源分配情况进行分析(见图2所示)可知，在 T0时刻存在着一个安全序列{P1，P3，P4，P2，P0}，故系统是安全的。

图2 T0时刻的安全序列

(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-16 中的圆括号所示。
④ 再利用安全性算法检查此时系统是否安全。如图3所示。、

(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分配资源，并修改有关数据，如图 4所示。

图 3 为 P0分配资源后的有关资源数据

(5) 进行安全性检查：可用资源 Available(2，1，0)已不能满足任何进程的需要，故系统进入不安全状态，此时系统不分配资源。