银行家算法。多个进程动态地共享系统的资源可能会产生死锁现象。死锁的产生，必须同时满足四个条件，第一个是互斥条件，即一个资源每次只能由一个进程占用；第二个为请求和保持条件，即一个进程请求资源不能满足时，它必须等待，但它仍继续保持已得到的所有其它资源；第三个是不剥夺条件，任何一个进程不能抢占另一个进程已经获得且未释放的资源；第四个为循环等待条件，系统中存在若干个循环等待的进程，即其中每一个进程分别等待它前一个进程所持有的资源，防止死锁的机构只须确保上述四个条件之一不出现，则系统就不会发生死锁。

在实验中假定系统中任一资源在每一时刻只能由一个进程使用，任何进程不能抢占其它进程正在使用的资源，当进程得不到资源时必须等待。因此只要资源分配策略能保证进程不出现循环等待，则系统就不会发生死锁。

-err