6.3 鸵鸟算法
不考虑死锁问题。 因为实际工作中很可能有其他更为严重的问题。如果死锁的频率不高可不考虑死锁。
6.4 死锁检测和死锁恢复
6.4.1 每种类型一个资源的死锁检测
步骤:
1. 对图中的每一个节点N,将N作为起始点执行下面5个步骤。
2. 将L初始化为空表,并清除所有的有向边标记。
3. 将当前节点添加到L的尾部,并检测该节点是否在L中已出现两次,如果是。那么该图包含了一个环(已列在L中),算法结束。
4. 从给定的节点开始,检测是否存在没有标记的从该节点除非的弧,如果存在的话,做第5步,如果不存在,调到第6步
5. 随机选取一条没有标记的从该节点出发的弧,标记它,然后沿着这条弧找到新的当前节点,返回第3步。
6. 如果这一节点是起始点,那么表明该图不存在任何换,算法结束。否则意味着我们走进了死胡同,所有需要移走该节点,返回到前一个节点,即当前节点前面的一个节点,并将它作为新的当前节点,跳转到第3步。
思路上说:
依次将每个节点作为一颗树的根节点并进行深度优先搜索。如果再次碰到已经遇到过的节点,那么就算找到一个环。如果从任何给定的节点除非的弧都被穷举了,那么久回溯到前面的节点。如果回溯到根并且不能再深入下去,那么从当前节点除出发的子图就不包含任何环。如果所有节点都如此,那么整个图就是无环的。
这不是最优的解法
6.4.2 每种类型多个资源的死锁检测
E是现有资源向量&#x