银行家算法(修订版)

本博文是在以下几篇文章的基础上修订而成，其中更改了原博文的代码，给出了正确的代码。

参考文献：

1.《http://blog.csdn.net/pi9nc/article/details/12401491》

2.《http://blog.csdn.net/yaopeng_2005/article/details/6935235#cpp》

我们可以把操作系统看作是银行家，操作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。
为保证资金的安全,银行家规定:
(1) 当一个顾客对资金的最大需求量不超过银行家现有的资金时就可接纳该顾客;
(2) 顾客可以分期贷款,但贷款的总数不能超过最大需求量;
(3) 当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款可推迟支付,但总能使顾客在有限的时间里得到贷款;
(4) 当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资金.
银行家算法数据结构
1）可利用资源向量Available 　　
是个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K，则表示系统中现有Rj类资源K个。 　　
2）最大需求矩阵Max 　　
这是一个n×m的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K，则表示进程i需要Rj类资源的最大数目为K。 　　
3）分配矩阵Allocation 　　
这也是一个n×m的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K，则表示进程i当前已分得Rj类资源的 数目为K。 　　
4）需求矩阵Need。 　　
这也是一个n×m的矩阵，用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K，则表示进程i还需要Rj类资源K个，方能完成其任务。 　　
Need[i,j]=Max[i,j]-Allocation[i,j]

目的：避免死锁的产生。

算法思想：

1、假分配检测：Request < Need

Request < Available

2、安全序列检测算法

实例列举：

某系统有R1，R2，R3共3中资源，在T0时刻P0，P1，P2，P3和P4这5个进程对资源的占用和需求情况如下表1，此时系统的可用资源向量为(3,3,2)。试问：

1、T0时刻系统是否存在安全序列？

2、P1请求资源：P1发出请求向量Request（1,0,2），系统是否接受该请求？请使用银行家算法检查

3、P4请求资源：P4发出请求向量Request（3,3,0），系统按银行家算法检查.

4、P0请求资源：P0发出请求向量Request（0,2,0），系统按银行家算法检查.

　　　　　　表1 T0时刻的资源分配表

	MAX	Allocation	Need	Available
P0	7 5 3	0 1 0	7 4 3	3 3 2
P1	3 2 2	2 0 0	1 2 2
P2	9 0 2	3 0 2	6 0 0
P3	2 2 2	2 1 1	0 1 1
P4	4 3 3	0 0 2	4 3 1

 

an：

　　1、T0时刻系统是否存在安全序列？

　　　　Available > Need1 ----> 可用资源分配给P1，直到P1进程执行完成，然后Available = Available + Allocation1 = （5,3,2）

Available > Need3 -----> 可用资源分配给P3，直到P3进程执行完成，然后Available = Available + Allocation3 = （7,4,3）

　　　　Available> Need4.....

　得到安全序列为：P1，P3，P4，P2，P0

　　2、P1请求资源：P1发出请求向量Request（1,0,2），系统是否接受该请求？请使用银行家算法检查

　　　第一步（假分配检查）：把Request分配给P1，必须满足Request要小于Available，Request要小于Need。

Request（1,0,2）< Available（3,3,2）

Request（1,0,2）< Need（1,2,2）

因为满足第一步检查，进入第二层检查（安全序列检查）。

　　　第二步（安全序列检查）：建立安全性检查表

Work