3-7 检测解除死锁

第七讲

检测、解除死锁主讲教师：张新彩

3.7 检测与解除死锁

3.7.1 检测死锁

3.7.2 解除死锁

1.资源分配图

▪资源分配图是描述进程和资源间申请和分配关系的一个有向图。

▪由一组结点N 和一组边E 所组成的一个对偶G=(N,E)。

① 资源：用方框中的黑圆点（圈）表示

② 进程：用圆圈中加进程名表示

③ 资源分配边：资源→进程的一条有向边

④ 资源请求边：进程→资源的一条有向边 3.7.1 检测死锁

P 1P 2

r 1r 2

2. 死锁定理

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

▪简化方法如下：

•(1) 找出一个既不阻塞又非独立的进程结点P

i ，P

i

可获得所需资

源直至运行完毕，再释放其所占有的全部资源，相当于消去P

i 所有的请求边和分配边，使之成为孤立结点。

•(2) 重复上述步骤，若能使所有的进程结点都成为孤立结点，则称该图是可完全简化的；否则，则称该图不可完全简化。

3.7.1 检测死锁

3.7.1 检测死锁

所有的简化顺序，都将得到相同的不可简化图。 (a )(b )P 1(c )P 1P 2P 1P 2

P 2r 1 r 2 r 1 r 2

r 1 r 2

3.7.2 解除死锁

▪解除死锁用于将进程从死锁状态中解脱出来。▪常用的方法有：

•（1）撤销进程

▪撤销全部死锁进程

▪按照某种顺序逐个撤销进程

•（2）剥夺资源

本节小结

▪1. 利用资源分配图化简方法检测死测▪2. 解除死锁的方法

思考

资源分配图的化简有无先后次序？简化

结果是否唯一？