银行家算法

银行家算法是一种最有代表性的避免死锁的算法。

要解释银行家算法，必须先解释操作系统安全状态和不安全状态。

安全状态：如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态。安全状态一定是没有死锁发生。

不安全状态:不存在一个安全序列。不安全状态一定导致死锁。

那么什么是安全序列呢？

安全序列：一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j < i )当前占有资源量之和。

银行家算法：

我们可以把操作系统看作是银行家，操作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源，否则就推迟分配。当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源，若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。

算法：

n：系统中进程的总数

m：资源类总数

Available:

ARRAY[1..m] of integer;

Max:

ARRAY[1..n,1..m] of integer;

Allocation:

ARRAY[1..n,1..m] of integer;

Need:

ARRAY[1..n,1..m] of integer;

Request:

ARRAY[1..n,1..m] of integer;

简记符号：

Available

Max[i]

Allocation[i]

Need[i]

Request[i]

当进程pi提出资源申请时，系统执行下列

步骤：

（1）若Request[i]≤Need[i],转（2）；

否则错误返回

（2）若Request[i]≤Available,

转（3）；否则进程等待

(3）假设系统分配了资源，则有：

Available:=Available-Request[i];

Allocation[i]:=

Allocation[i]+Request[i];

Need[i]:=Need[i]-Request[i]

若系统新状态是安全的，则分配完成

若系统新状态是不安全的，则恢复原状

态，进程等待

为进行安全性检查，定义数据结构：

Work:ARRAY[1..m] of integer;

Finish:ARRAY[1..n] of Boolean;

安全性检查的步骤：

(1) Work:=Available;

Finish:=false;

(2) 寻找满足条件的i：

a.Finish[i]=false;

b.Need[i]≤Work;

如果不存在，则转(4)

(3) Work:=Work+Allocation[i];

Finish[i]:=true;

转(2)

(4) 若对所有i,Finish[i]=true,则系
统处于安全状态，否则处于不安全
状态