摘要
本文提出了一种在等待图中检测回路的线性时间算法,它通过搜索回边来判定等待图中回路的存在性。
In this paper, a linear-time algorithm is presented for detecting a cycle by searching forback edge in a WFG.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1994年第10期26-29,共4页
Journal of Computer Research and Development
关键词
死锁检测
等待图
算法
Deadlock detection,wait-for graph,cycle,back edge,algorithm.