死锁的检测
1、资源分配图(G=(N, E)) :

两种资源
两种节点

2、死锁定理(死锁状态的充分条件) :

当且仅当此状态下资源分配图是不可完全简化的
简化过程类似于“拓扑排序”算法(注 意数据结构考察)

死锁的解除

1、资源剥夺

挂起死锁进程
剥夺其资源
将资源分配给其它(死锁)进程
2、撤销进程
3、进程回退

回退到足以避免死锁的地步
需要记录进程历史信息，设置还原点