操作系统05__死锁与饥饿.pdf

第五章 死锁与饥饿 n 死锁与饥饿 n 死锁: indefinite wait. n 可察觉 n 饥饿: not necessarily in wait state. n ? n 死锁和饥饿都是由于进程竞争资源而引 起的. 5.1 死锁的概念 例子： r1 和 r2为可再用资源; P1: apply for r1; P2: apply for r2; ... ... 1 2 apply for r2; apply for r1; ... ... return r1; return r1; ... ... return r2; return r2; 死锁定义 n 一组进程中的每一个进程，均无限期地等待此 组进程中某个其他进程占有的，因而永远无法 得到的资源，这种现象称为进程死锁。 n 定义死锁时刻： n 无限等待发生时； n 等待发生前（已注定死锁）。 由定义得到的结论 n 几个有用的结论： n 参与死琐的进程至少有二个； n 每个参与死锁的进程均等待资源； n 参与死锁的进程中至少有两个进程占有资 源； n 死锁进程是系统中当前进程集合的一个子集。 5.2 死锁类型 1. 竞争资源引起的死锁 （1）不同种资源 A B E ：左转 W:直行 C D S：左转 5.2 死锁类型 1. 竞争资源引起的死锁 （1）不同种资源 E S E ：左转 W:直行 W S S：左转 5.2 死锁类型 1. 竞争资源引起的死锁 （1）不同种资源 E E E ：左转 W:直行 W S S：左转 5.2 死锁类型 （2）同种资源 4台打印机，申请:a, 释放 a P1: a a a a a a a a P2: a a a a 5.2 死锁类型(Cont.) 2. 进程通讯引起的死锁 P1：receive(P2,M1); P2: receive(P3,M2); P3: receive(P1,M3); 3. 其它原因引起的死锁 1. After you / after you 5.3 死锁的条件 n Coffman条件（必要条件） n 资源独占（mutual exclusion）