问题 问答题

试化简如下图的进程一资源图,并利用死锁定理给出相应的结论。

答案

参考答案:简化方法如表3.7所示。




在(a)图中,找出一个既不阻塞又非独立的进程结点:P1拥有一个r2并请求一个r1,但r1只有一个并且已经分配给了P2,因此P1阻塞;P2拥有一个r1和一个r3并请求一个r4,但r4只有一个并且已经分配给了P3,因此P2阻塞;P3拥有一个r2和一个r4并请求一个r2和一个r3,系统中r2总共有三个且只分配出去两个,系统中r3总共有两个且只分配出去一个,因此P3满足既不阻塞又非独立。选择P3,消去P3的请求边和分配边,如
(b)图所示。
在(b)图中,P2可以获得r4而不再阻塞。选择P2,消去P2的请求边和分配边,如
(c)图所示。
在(c)图中,P1可以获得r1而继续运行直至完成。选择P1,消去P1的请求边和分配边,如(d)图所示。
结论:该图是可完全简化的,没有发生死锁。

解析: 本题目考查资源分配图的化简及死锁定理。

解答题
单项选择题