操作系统--银行家算法详解

银行家算法（ banker's algorithm ）由 Dijkstra(1065)提出。他将死锁的问题演示为一个银行家贷款的模型。
一个银行家向一群客户发放信用卡，每个客户有不同的信用额度。每个客户可以提出信用额度内的任意额度的请求，直到额度用完后再一次性还款。银行家承诺每个客户最终都能获得自己需要的额度。
所谓“最终”，是说银行家可以先挂起某个额度请求较大的客户的请求，优先满足小额度的请求，等小额度的请求还款后，再处理挂起的请求。这样，资金能够永远流通。
银行家算法可以用以下图表表示：

每个客户和银行家都有交易限额。银行家只能和限额小于自己限额的客户进行交易。一旦银行家的限额小于所有客户的限额，便发生了死锁。
如上图所示。银行家分别和客户1，客户2,客户3进行了交易。第一次交易时，所有客户的限额都小于银行家的限额，任何客户都可以实现借款；第二次交易时，客户3的限额大小银行家的限额，这时银行家会挂起客户3 的请求；第三次交易时，只有客户3可以进行交易，其它的交易都会被挂起。直到客户3还款后，银行家才会考虑处理其它客户的交易。

银行家算法其核心是：保证自己的限额至少不小于一个客户的限额。

实例列举：

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

　　　　　　表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

 

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

    Available（3,3,2）> Need1（1,2,2）【这里也可以是need3，只要比Available（3,3,2）小就行，答案不唯一】----> 可用资源分配给P1，直到P1进程执行完成，然后Available = Available（3,3,2）+ Allocation1（2,0,0） = （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）

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

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

    Work1=Available（3,3,2）-Request（1,0,2）=( 2,3,0 )

    Need1=Need1( 1,2,2 )-Request（1,0,2）=( 0,2,0 )

    Allocation1=Allocation1( 2,0,0 )+Request（1,0,2）=( 3,0,2 )

	Work	Need	Allocation	Work+Allocation	Finish
P1	2 3 0	0 2 0	3 0 2

　　如果 Work > Need ,那么执行Work+Allocation，得到：　　　　　　　　　　　　　　　　

	Work	Need	Allocation	Work+Allocation	Finish
P1	2 3 0	0 2 0	3 0 2	5 3 2	true
	5 3 2

　  找到Need<Work的进程，如果没有找到这样的进程而进程集合没有执行，则算法返回，得到不存在安全序列结果，否则继续执行该算法。

　  这里我们找到了P3进程。修改安全序列检查表：

	Work	Need	Allocation	Work+Allocation	Finish
P1	2 3 0	0 2 0	3 0 2	5 3 2	true
P3	5 3 2	0 1 1	2 1 1	7 4 3	true
	7 4 3

　　这样一直执行到所有的进程到完成，以完成该安全序列检查表：

	Work	Need	Allocation	Work+Allocation	Finish
P1	2 3 0	0 2 0	3 0 2	5 3 2	true
P3	5 3 2	0 1 1	2 1 1	7 4 3	true
P4	7 4 3	4 3 1	0 0 2	7 4 5	true
P0	7 4 5	7 4 3	0 1 0	7 5 5	true
P2	7 5 5	6 0 0	3 0 2	10 5 7	true

      这样就找到了整个安全序列为：P1，P3，P4，P0，P2

推荐您阅读更多有关于“”的文章