银行家算法是最著名的死锁避免算法，其思想是：把操作系统视为银行家，操作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。
数据结构描述
（1）可利用资源向量 Available
含有m个元素的数组，其中每个元素一类可用的资源数目。比如Available[j] = k，表示系统中现有可用的j类资源有k个。
（2）最大需求矩阵Max
n*m矩阵，定义系统中n个进程对m类资源的最大需求。简答来说，一行代表一个进程，一列代表一个资源。Max[i][j] = k表示进程i需要j类资源的最大数目为k。
（3）分配矩阵Allocation
n*m矩阵，定义系统中每类资源当前已经分配给每个进程的资源数。Allocation[i][j] = k表示进程i当前已经分到j类资源的数目为k。
（4）需求矩阵 Need
n*m矩阵，表示每个进程尚需的各类资源数。Need[i][j] = k 表示进程i还需要j类资源的数目为k。
（5）请求矩阵Request
n*m矩阵，表示每个进程当前请求的各类资源数。这里注意，进程在整个生命周期中，并不是每个时刻都要满足其所要求的最大资源需求才能进行，而是动态地申请。
上述（2）（3）（4）三个矩阵存在下述关系：
N
e
e
d
=
M
a
x
−
A
l
l
c
a
t
i
o
n
Need = Max - Allcation
Need=Max−Allcation
算法描述
（1）第一步
若Request[i] <= Need[i]（表示对于任意的j,都有Request[i][j] <= Need[i][j]），则进行第二步，否则认为出错，因为他所需要的资源超过它所宣布的最大值。
（2）第二步
若Request[i] <= Available[i]，则转向第三步，否则，表示尚无足够资源，进程i需要等待。
（3）第三步
系统试探着把资源分配给进程i，并修改下面数据结构中的数值。
A
v
a
i
l
a
b
l
e
=
A
v
a
i
l
a
b
l
e
−
R
e
q
u
e
s
t
[
i
]
;
A
l
l
o
c
a
t
i
o
n
[
i
]
=
A
l
l
o
c
a
t
i
o
n
[
i
]
+
R
e
q
u
e
s
t
[
i
]
;
N
e
e
d
[
i
]
=
N
e
e
d
[
i
]
[
j
]
−
R
e
q
u
e
s
t
[
i
]
;
Available = Available - Request[i]; \\ Allocation[i] = Allocation[i] + Request[i];\\ Need[i] = Need[i][j] - Request[i];
Available=Available−Request[i];Allocation[i]=Allocation[i]+Request[i];Need[i]=Need[i][j]−Request[i];
（4）第四步
系统执行安全性算法，检查此次资源分配后，是系统是否处于安全状态。若安全，才将资源正式分配给进程i，完成此次分配；否则本次试探分配作废，恢复原来的资源分配状态，让进程i等待。
安全性算法
（1）第一步
初始时安全序列为空。
（2）第二步
从Need矩阵中找出符合下面条件的行：该行对应的进程不在安全序列中，而且该行小于Available向量，找到后，把对应进程加入安全序列；找不到，执行第四步。
（3）第三步
进程i进入安全后，可顺序执行，直至完成，并释放它的资源，故应执行Available = Available + Allocation[i]。
（4）第四步
若安全序列已经包含所有进程，则系统处于安全状态，否则处于不安全状态。
安全性算法举例
十分懒惰，直接给个截图吧。
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
