一、实验目的
1.理解银行家算法
2.利用银行家算法避免死锁
二、背景知识
在银行中,客户申请贷款的数量是有限的,每个客户在第一次申请贷款时要声明完成该项目所需的最大资金量,在满足所有贷款要求时,客户应及时归还。银行家在客户申请的贷款数量不超过自己拥有的最大值时,都应尽量满足客户的需要。也就是说,去报银行在发放现金贷款时,不会发生不能满足所以客户需要的情况。
可以解为,银行家就是操作系统,资金就是资源,客户就相当于要申请资源的进程。
三、实验内容(参考自计算机操作系统第四版121页)
1. 银行家算法中的数据结构
(1)可利用资源向量Available。
(2)最大需求矩阵Max。
(3)分配矩阵Allocation。
(4)需求矩阵Need。
其中:Need[i,j]=Max[i,j]-Allocation[i,j]
2. 银行家算法
如果Requesti[j]=K,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查:
(1)如果Requesti[j]<=Need[i,j],转步骤(2);否则出错。
(2)如果Requesti[j]<=Available[j],转步骤(3);否则,表示尚无足够资源,Pi须等待。
(3)系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值:
Available[j]:= Available[j]-Requesti[j];
Allocation[i,j]:=Allocation[i,j]+ Requesti[j];