一种基于依赖分析的并发程序潜在死锁检测算法

摘要：

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的.

关键词：死锁、并发、依赖分析、软件测试

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

资助基金：国家级科技预研项目41315.9.2

在线出版日期：2007-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：841-844