操作系统 『资源分配图化简』

资源分配图

• 申请边：由进程到资源类；
• 分配边：由资源实例到进程。
• 进程：如下图
• 资源：如下图

简化方法如下：

1. 在资源分配图中找出一个既不阻塞又非独立的进程结点Pi，在顺利的情况下运行完毕，释放其占有的全部资源。
2. 由于释放了资源，这样能使其它被阻塞的进程获得资源继续运行。
3. 在经过一系列简化后若能消去图中的所有的边，使所有进程结点都孤立，则称该图是可完全简化的，反之是不可完全简化的。

死锁定理

S状态为死锁状态的充分必要条件是当且仅当S状态的资源分配图是不可完全简化的。