利用银行家算法避免死锁

一、系统安全状态

安全状态指的是系统能按某种进程推进顺序(P1,P2,…,Pn)为每个进程分配其所需的资源，直至满足每个进程对资源的最大需求，使每个进程都可顺利地完成。此时，序列(P1,P2,…,Pn)为安全序列。如果系统无法找到这样一个序列，则称系统处于不安全状态。
虽然并非所有的不安全状态都必然会转为死锁状态，但当系统进入不安全状态，就有可能进入死锁。反之，只要系统处于安全状态，就不会进入死锁状态。因此，避免死锁的实质在于，系统在进行资源分配时，应使系统不进入安全状态。

所以，只要存在一种分配序列时，系统就是安全的。
举个例子：
假设系统中有三个进程P1，P2，P3，共有12台磁带机。进程P1总共要求10台磁带机，进程P2要求4台磁带机，进程P3总共要求9台磁带机。假设在T0时刻，进程P1，P2，P3分别已经获得5、2、2台，尚有3台为分配。如下所示：

这样的系统在T0时刻是安全的，存在一个安全序列P2->P1->P3。过程：将剩余的磁带机取出2台分给P2，使之继续运行，待P2完成后便可释放4台磁带机，此时可用资源为4+(3-2)=5，然后将这5台资源分配给P1，待P1运行完成后可释放10台，P3便可以获得足够的资源，从而使得P1，P2，P3每个进程都能完成。

二、银行家算法

具有代表性的解决死锁的问题的算法是银行家算法，起名原因是以确保银行在发放现金贷款时，不会发生不能满足客户需要的情况。

为实现银行家算法，每一个进程进入系统的时候，该进程必须告诉系统，在运行的过程中可能需要每种资源类型的最大单元数目，其数目不能超过系统所拥有的资源总量。当进程请求某一资源的时候，系统必须首先确定是否有足够的资源分配给该进程。若有，就会计算将这些资源分配给该进程后，系统会不会处于不安全状态。如果不会处于不安