银行家算法为什么用p0p1p2做假设

Question

在银行家算法的例题和习题中，进程名字一直以p0,p1,p2,p3等出现，这是必须的吗？每一个安全状态的安全序列必须有p0吗？

Answer 1

1、进程名字是出题者给取的，习惯用p0，p1等，也可叫A、B、C，甲、乙等。
2、判断是不是安全状态，就是要找到一个安全序列，很多情况下，安全序列不唯一。只要找了一个安全序列，就可以断定这种状态是安全的。
3、在银行家算法的习题中还经常会问“某进程此时申请***资源，系统能否分配给它“。此时，先假设把资源分配给该进程，会出现一种新状态，如果分配后的新状态是安全的，这进程的需求就可以满足；如果分配后的新状态不安全，则该进程需要的资源就不能分配。