死锁与饥饿

第五章  死锁与饥饿

 

学习指导：

死锁是操作系统的棘手问题，因为不存在处理死锁的完美方法。从理论上来说，如果给定进程有关资源的命令序列，可以给出避免死锁的充分必要算法，尽管其开销很大（NP完全），但实际以序列形式给出的资源需求对于稍微复杂一点的程序都是不现实的。

本章介绍的预防、避免、检测与恢复策略，在大多数实际系统中并未采用，一方面因为开销，另一方面因为使用的方便性。

然而本章内容仍是重要的，尤其是死锁避免与检测。包括安全状态与安全序列的定义和检查算法、避免死锁的资源分配算法。读者应当认真区分死锁避免算法与死锁检测算法之间的本质差别，尽管这两个算法在结构上很相似，差别只在Need与Work的比较和Request与Work的比较。

饥饿与饿死反映了资源分配策略的不公平性，应当从进程状态方面理解饥饿与死锁之间的差别。

 

习题解答：

1.  下面关于死锁问题的叙述哪些是正确的，哪些是错误的，说明原因。

        (1) 参与死锁的所有进程都占有资源；

        (2) 参与死锁的所有进程中至少有两个进程占有资源；

        (3) 死锁只发生在无关进程之间；

(4) 死锁可发生在任意进程之间。

答：说法（1）是错误的，应该是参与死锁的所有进程都等待资源。如下图所示，参与进程p1、p2、p3、p4，尽管p3、p4不占有资源，但也卷入死锁。

●

●

p1

p2

p3

p4

 

 

 

 

 

 

    说法(2)正确。 参与死锁的进程至少有两个，设为p1,p2，p1占有资源r1而等待资源r2，p2占有资源r2而等待资源r1。

说法(3)错误。死锁也可能发生在相关进程之间，如p1和p2也可能是相关进程。

说法(4)正确，死锁既可能发生在相关进程之间，也可能发生在无关进程之间。即死锁可发生在任意进程之间。

 

2.  试证明当每个资源类中仅有一个资源实例时，资源分配图中的环路是死锁的充要条件。

证明：已知必要条件成立，即发生死锁必存在环路，下面只需证明充分条件，即在每类资源仅有一个实例的前提下，环路意味着死锁。

假定环路上共有k个进程(k³2)，设这k个进程为p₁,p₂,…,p_k。p₁等待p₂占有的资源r₁，p₂等待p_３占有的资源r_２，…，p_k等待p_１占有的资源r_k。显然，这k个资源类中的所有资源实例均被环路上的进程所占有，环路外的进程有关资源的任何释放动作必不涉及这k类资源，因而无法使环路上的等待进程解除等待状态，因而这k个进程将无限期地等待下去，即发生死锁。证毕。

 

3.  什么叫饥饿？什么叫饿死？什么叫活锁？举例说明之．

答：在一个动态系统中，资源请求与释放是经常性发生的进程行为。对于每类系统资源，操作系统需要确定一个分配策略，当多个进程同时申请某类资源时，由分配策略确定资源分配给进程的次序。资源分配策略可能是公平的(fair)，能保证请求者在有限的时间内获得所需资源；资源分配策略也可能是不公平的(unfair)，即不能保证等待时间上界的存在。在后一种情况下，即使系统没有发生死锁，某些进程也可能会长时间等待。当等待时间给进程推进和响应带来明显影响时，称发生了进程饥饿(starvation)，当饥饿到一定程度的进程所赋予的任务即使完成也不再具有实际意义时称该进程被饿死(starve to death)。

考虑一台打印机分配的例子，当有多个进程需要打印文件时，系统按照短文件优先的策略排序，该策略具有平均等待时间短的优点，似乎非常合理，但当短文件打印任务源源不断时，长文件的打印任务将被无限期地推迟，导致饥饿以至饿死。

与饥饿相关的另外一个概念称为活锁(live lock)，在忙式等待条件下发生的饥饿，称为活锁。例如不公平的互斥算法。

 

4.  死锁与饿死之间有何相同点和不同点?

答：饿死与死锁有一定联系：二者都是由于竞争资源而引起的，但又有明显差别，主要表现在如下几个方面：

(1) 从进程状态考虑，死锁进程都处于等待状态，忙式等待(处于运行或就绪状态)的进程并非处于等待状态，但却可能被饿死；

(2) 死锁进程等待永远不会被释放的资源，饿死进程等待会被释放但却不会分配给自己的资源，表现为等待时限没有上界(排队等待或忙式等待)；

(3) 死锁一定发生了循环等待，而饿死则不然。这也表明通过资源分配图可以检测死锁存在与否，但却不能检测是否有进程饿死；

(4) 死锁一定涉及多个进程，而饥饿或被饿死的进程可能只有一个。

饥饿和饿死与资源分配策略(policy)有关，因而防止饥饿与饿死可从公平性考虑，确保所有进程不被忽视，如FCFS分配算法。

 

5.  何谓银行家算法的保守性? 举例说明之。

答：银行家算法的保守性是指银行家算法只给出了进程需要资源的最大量，而所需资源的具体申请和释放顺序仍是未知的，因而银行家只能往最坏处设想．

考虑资源集合R={A(1),B(1)}，进程集合P={ p₁,p₂}，已知进程p₁和进程p₂的活动序列分别为：p₁：a,b,,; p₂：b,,b,a,,。 显然p₁和p₂的资源最大需求量均为A(1)，B(1)。 假定某时刻系统状态如下：

  　            Claim      Allocation      Need      Available

    　          A   B       A   B         A   B       A   B

      　   p₁:  1   1       1   0          0   1       0   1

        　 p₂:  1   1       0   0          1   1

 

即此时p₁的a被系统接受。其后系统接收到的命令有两种可能，一是p₁的请求b，二是p₂的请求b。 假定为p₂的请求b，因Request[2]=(0,1)£Need[2]=(1,1)，故该请求是合法的。又Request[2]=(0,1)£Available=(0,1)，故该请求系统当前能够满足。假定分配，系统状态变化如下：

          　    Claim      Allocation      Need      Available

            　  A   B        A   B         A   B       A   B

         p₁:  1   1