问题
假设系统有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)中给出的资源分配图有无死锁?给出判断过程和结果。
资源分配图
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/982815f1a9594b19ad72d3a22e3c37d3.png)
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/5fa76e76a28f94a6d96d3510e87954a9.png)
ps: 黑色的线画成资源分配边
死锁定理
(1)如果进程-资源分配图中无环路,则此时系统没有发生死锁。