死锁检测工具的能力分析与综合应用

摘要：

并发软件运行的不确定性使得死锁检测十分困难.现有的工作集中在使用分析、验证或测试的单一途径来检测死锁.通过分析现有工具的死锁检测能力,提出了综合使用工具的死锁检测方法.同时根据分析、验证和测试途径的不同特点,给出了评估工具检测结果的度量方法.实验结果显示了该方法的有效性.

关键词：死锁检测、工具评估、工具综合应用、并发软件

所属期刊栏目：4

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

资助基金：The National Natural Science Foundation of China under Grant No.60603036;the National Hish-Tech Research and Development Plan of China under Grant No.2007AA010302,2009AA01Z148国家高技术研究发展计划863;the Natural Scienee Foundation of Jiangsu Province of China under Grant No.BK2007139

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

页数：共12页

页码：153-164