计算机操作系统原理实验指导书

5.6 测试要求

1) 进行Request请求，输入参数为进程号、资源号和资源数； 2) 进行3次以上的Request请求；

3) 至少进行1次资源数目少于可用资源数，但不安全的请求。

5.7 相关知识

5.7.1 银行家算法的数据结构

1) 可利用资源向量Available。其中每个元素代表每类资源的数目。

2) 最大需求矩阵Max。其中每个元素代表每个进程对于每类资源的最大需求量。

Max[i，j]=K表示i进程对于j类资源的最大需求量为K。

3) 分配矩阵Allocation。其中每个元素代表每个进程已得到的每类资源的数目。 4) 需求矩阵Need。其中每个元素代表每个进程还需要的每类资源的数目。

5.7.2 银行家算法

Request i [j]=K表示进程Pi需要K个j类资源。

1） 如果Request i [j]≤Need[i , j]，便转向步骤2，否则认为出错。

2） 如果Request i [j]≤Available[j]，便转向步骤3，否则表示无足够资源，Pi需

等待；

3） 系统尝试分配资源给Pi；

4） 系统进行安全性检查，检查此次资源分配后，系统是否安全。如果安全，则正式分

配资源，否则撤销此次分配。

5.7.3 安全性算法

1） 设置两个向量：工作向量Work和Finish。算法开始时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； 到第2）步。