问题
假设系统有5类独占资源:Rl、R2、R3、R4、R5。各类资源分别有2、2、2、1、1个。系统有5个进程:P1、P2、P3、P4、P5。其中P1已占有2个R1,且申请1个R2和1个R4;P2已占有1个R2,且申请1个Rl;P3已占有1个R2,且申请1个R2和1个R3;P4已占有1个R4和1个R5,且申请1个R3;P5已占有1个R3,且申请1个R5。
(1)试画出该时刻的资源分配图。
(2)什么是死锁定理?如何判断(1)中给出的资源分配图有无死锁?给出判断过程和结果。
资源分配图
ps: 黑色的线画成资源分配边
死锁定理
(1)如果进程-资源分配图中无环路,则此时系统没有发生死锁。
(2)如果进程-资源分配图中有环路,且每个资源类中仅有一个资源,则系统中发生了死锁,环路中的进程便为死锁进程。
(3)如果进程-资源分配图中有环路,且涉及的资源类中有多个资源,则环路的存在未必就会发生死锁。如果能在进程-资源分配图中找出一个既不阻塞又非独立的进程,它在有限的时间内有可能获得所需资