作　　者： ; ; ;

机构地区： 广东教育学院

出　　处： 《计算机应用与软件》 2006年第9期41-42,共2页

摘　　要： 给出了基于进程资源图的进程非阻塞的判定定理,进而给出了基于进程资源图的死锁检测算法,该算法提供了一种公式化的验算方法,可操作性强。 This paper gives a nonblock decision theorem of process that based on process resource diagram, and gives a test algorithm of deadlock that based on the process resource diagram. The algorithm offers checking computations method of formulation, its operability is better.

关 键 词： 进程 死锁 检测算法

领　　域： [自动化与计算机技术] [自动化与计算机技术]