高级检索

    基于等待图模型的死锁检测新算法

    A New Algorithm for Deadlock Detection Basedon the Wait-For Graph Model

    • 摘要: 本文提出了一种在等待图中检测回路的线性时间算法,它通过搜索回边来判定等待图中回路的存在性。

       

      Abstract: In this paper, a linear-time algorithm is presented for detecting a cycle by searching forback edge in a WFG.

       

    /

    返回文章
    返回