检测与解除死锁

检测死锁
1.资源分配图
■资源分配图是描述进程和资源间申请和分配关系的一个有向图。
■由一组结点N和一-组边E所组成的一个对偶G=(N,E)。
①资源:用方框中的黑圆点(圈)表示
②进程:用圆圈中加进程名表示
③资源分配边:资源- >进程的一条有向边
④资源请求边:进程- >资源的一条有向边

2.死锁定理
死锁定理: S为死锁状态的充分条件是当且仅当s状态的资源分配图是不可完全简化的。
简化方法如下:
●(1)找出一个既不阻塞又非独立的进程结点P，P可获得所需资源直至运行完毕，再释放其所占有的全部资源，相当于消去P;所有的请求边和分配边，使之成为孤立结点。
●(2)重复上述步骤，若能使所有的进程结点都成为孤立结点，则称该图是可以完全简化的，否则称该图不可完全简化。

所有的简化顺序，都将得到相同的不可简化图。
解除死锁
■解除死锁用于将进程从死锁状态中解脱出来。
■常用的方法有:
(1)撤销进程
■撤销全部死锁进程
■按照某种顺序逐个撤销进程
(2)剥夺资源