银行家算法结束条件的合理性证明

首先简要提一下银行家算法的流程（类Java的伪代码）。算法的具体说明请参见操作系统课本

/*
 * 令work为长为m的数组，表示m种资源的剩余量；
 * 令finish为长为n的布尔数组，表示n个进程是否已经结束；
 * 令need为n行m列的二维数组，need[i]表示第i个进程在当前时刻所需的最大资源量；
 * 令allocation为n行m列的二维数组，allocation[i]，表示第i个进程在当前时刻已被分配的资源量。
 * 令available为长为m的数组，表示初始可用的资源量
 *
 * array1 ope array2 表示两数组长度（记为len）相等，且对于任意0 <= i < len，array1[i] ope array2[i]。
 * 例如 array1 < array2表示对于任意0 <= i < len，array1[i] < array2[i]。
 */
work = available;
for (int i = 0; i < finish.length; i++)
        finish[i] = false;
while there exists such an i that
finish[i] == false && need[i] <= work
        work -= allocation[i];
        finish[i] = true;
for (int i = 0; i < finish.length; i++)
        if (finish[i] = false)
                return false; //可能发生死锁
return true; //不可能发生死锁

不知有没有人会质疑该算法的结束条件：该算法没有回溯过程，如何保证这次没有找到一个进程运行的安全序列，这n个进程的任意顺序排列就都不可能构成安全序列呢？

 

证明如下：

假设有n个进程，以序号表示为

1, 2, ..., n

进程运行序列进行到S=

i1, i2, ..., ik (k < n)

时无法继续算法（即不能找出一个i满足finish[i]==false && need[i] <= work），被判定为可能发生死锁。

令集合C={i1, i2, ..., ik}；并令集合D为集合{1, 2, ..., n}与C的差集，即所有finish为false的进程所组成的集合。

如果此时无法继续算法，那么根据算法流程，
（命题1）

若存在另一个序列S'，使得S'为安全序列，则S'中的元素排列只能为以下情况之一：

1. 前k个元素构成的集合与C相同（但排列顺序可能不同），且后n-k个元素构成的集合与D相同（但排列顺序可能不同）；

2. 前k个元素中至少有一个元素属于集合D，且后n-k个元素中至少有一个元素属于集合C。

对于第一种情况，根据（命题1）不应存在；

对于第二种情况，假设某一个属于集合D的元素出现在S'的第t（1<=t<=k）个位置上。令集合C'为集合C中的前t个元素构成的集合，那么此时应有

（命题2）

由于C'是C的子集，所以命题2中的和式一定不大于命题1中的和式。因此如果命题1是正确的，那么命题2一定是错误的。

 

所以，只要存在一个序列不是安全序列，那么这n个进程的任意排列都不是安全序列。

换言之，只要有一个序列是安全序列，那么在算法进行过程中出现的任何分叉点所构成的其它序列就都是安全序列。