我对死锁的概念了解得足够好,但是当我遇到类似下面的问题时,我不知道如何解决它。我可以绘制资源分配图,但我不确定如何从那里解决它。
有更好的更正式的解决方法吗?
Consider a system with five processes, P1 through P5, and five
resources, R1 through R5. Resource ownership is as follows.
• P1 holds R1 and wants R3
• P2 holds R2 and wants R1
• P3 holds R3 and wants R5
• P4 holds R5 and wants R2
• P5 holds R4 and wants R2
这个系统是否陷入僵局?证明你的答案。
如果系统已死锁,请列出
涉及的过程。