银行家算法例题（操作系统）超详细解析

问题： 在银行家算法中，若出现下述资源分配情况，试问：

Process	Allocation	Need	Available
P0	0032	0012	1622
P1	1000	1750
P2	1354	2356
P3	0332	0652
P4	0014	0656

（1）该状态是否安全？
（2）若进程P2提出请求Request（1，2，2，2）后，系统能否将资源分配给它？

解析：

（1）对该状态进行安全性检查：

Process	Work	Need	Allocation	Work+Allocation	Finish
	A B C D	A B C D	A B C D	A B C D
P0	1 6 2 2	0 0 1 2	0 0 3 2	1 6 5 4	true
P3	1 6 5 4	0 6 5 2	0 3 3 2	1 9 8 6	true
P1	1 9 8 6	1 7 5 0	1 0 0 0	2 9 8 6	true
P2	2 9 8 6	2 3 5 6	1 3 5 4	3 12 13 10	true
P4	3 12 13 10	0 6 5 6	0 0 1 4	3 12 14 14	true

由安全性检查得知，可以找到一个安全序列{P0、P3、P1、P2、P4}，因此系统是安全的。
（2）P2提出Request(1，2，2，2)，系统按银行家算法进行检查：Request(1，2，2，2) ≤ Need(2，3，5，6)，P2请求是合理的；
Request(1，2，2，2)≤Available(1，6，2，2)，P2请求是可以满足的；
系统暂时先为进程P2试行分配资源，并修改有关的确数据，如下图所示：

Process	Allocation	Need	Available
Ｐ0	００３２	００１２	０４００
Ｐ1	１０００	１７５０
Ｐ2	２５７６	１１３４
Ｐ3	０３３２	０６５２
Ｐ4	００１４	０６５６

再利用安全性算法检查系统是否安全，可利用资源Available（0，4，0，0）已不能满足任何进程的需要，故系统进入不安全状态，此时系统不能将资源分配给P2。