一、系统安全状态
安全状态指的是系统能按某种进程推进顺序(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每个进程都能完成。
二、银行家算法
具有代表性的解决死锁的问题的算法是银行家算法,起名原因是以确保银行在发放现金贷款时,不会发生不能满足客户需要的情况。
为实现银行家算法,每一个进程进入系统的时候,该进程必须告诉系统,在运行的过程中可能需要每种资源类型的最大单元数目,其数目不能超过系统所拥有的资源总量。当进程请求某一资源的时候,系统必须首先确定是否有足够的资源分配给该进程。若有,就会计算将这些资源分配给该进程后,系统会不会处于不安全状态。如果不会处于不安