[操作系统] 试化简图2中的资源分配图，并利用死锁定理给出相应的结论。

问题描述：

 化简图2中的资源分配图，并利用死锁定理给出相应的结论。

 答案：

化简后的资源分配图如下：

 结论：化简后的资源分配图，存在一个环路，且每类资源只有一个。P1向r4申请一个资源，但r4的资源被P4占用；P4向r3申请一个资源，但r3的资源被P1占用；P3向r3申请一个资源，但r3的资源被P1占用；构成了死循环，造成死锁。

解析：

 先化简只有分配边的进程：

即P2。P2释放资源后，r1目前剩余一个资源，r2目前剩余一个资源。

再化简可以满足的进程：

即P0。P0各向r1和r2申请一个资源，r1和r2目前剩余资源可满足P0的需求，同意分配，P0可释放。当前：r0目前剩余一个资源，r1目前剩余一个资源，r2目前剩余一个资源。

 

P1向r4申请一个资源，但r4的资源被P4占用了，没有剩余资源；P4向r3申请一个资源，但r3的资源被P1占用，没有剩余资源；P3向r3申请一个资源，但r3的资源被P1占用，没有剩余资源；P1、P3、P4由于系统没法满足它们的需求，故无法化简。