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

doi:10.3778/j.issn.1673-9418.2010.02.007

计算机科学与探索 ›› 2010, Vol. 4 ›› Issue (2): 153-164.DOI: 10.3778/j.issn.1673-9418.2010.02.007

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

潘敏学+，李倩，李宣东

南京大学计算机科学与技术系，南京 210093

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-02-15 发布日期:2010-02-15
通讯作者: 潘敏学

Capability Analysis and Integrated Application of Deadlock Detection Tools

PAN Minxue+， LI Qian， LI Xuandong

Department of Computer Science and Technology， Nanjing University， Nanjing 210093， China

Received:1900-01-01 Revised:1900-01-01 Online:2010-02-15 Published:2010-02-15
Contact: PAN Minxue

摘要/Abstract

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

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

Abstract: The non-determinism in concurrent software obstructs the detection of deadlocks. Previous work focuses on detecting deadlocks by only using a single approach or a single tool. This paper evaluates the capabilities of contemporary deadlock detection tools. Based on the comparison results， an integrated application of deadlock detection tools is proposed， which incorporates all detection approaches from analysis， verification to testing. Moreover a set of metrics is presented to assess the detection results of these tools based on the different nature of analysis， verification and testing. The empirical results show the effectiveness of this method.

Key words: deadlock detection, tool evaluation, integrated application of tools, concurrent software

中图分类号:

TP31

潘敏学+，李倩，李宣东. 死锁检测工具的能力分析与综合应用[J]. 计算机科学与探索, 2010, 4(2): 153-164.

PAN Minxue+， LI Qian， LI Xuandong. Capability Analysis and Integrated Application of Deadlock Detection Tools[J]. Journal of Frontiers of Computer Science and Technology, 2010, 4(2): 153-164.

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

Capability Analysis and Integrated Application of Deadlock Detection Tools

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

编辑推荐

Metrics