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

问题： 在银行家算法中，若出现下述资源分配情况，试问：
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。