| 死锁检测工具的能力分析与综合应用 |
| |
| 引用本文： | 潘敏学,李倩,李宣东.死锁检测工具的能力分析与综合应用[J].计算机科学与探索,2010,4(2):153-164. |
| |
| 作者姓名： | 潘敏学 李倩 李宣东 |
| |
| 作者单位： | 南京大学,计算机科学与技术系,南京,210093 |
| |
| 基金项目： | 国家自然科学基金No.60603036;;国家高技术研究发展计划(863)No.2007AA010302,2009AA01Z148;;江苏省自然科学基金No.BK2007139~~ |
| |
| 摘 要： | 并发软件运行的不确定性使得死锁检测十分困难。现有的工作集中在使用分析、验证或测试的单一途径来检测死锁。通过分析现有工具的死锁检测能力,提出了综合使用工具的死锁检测方法。同时根据分析、验证和测试途径的不同特点,给出了评估工具检测结果的度量方法。实验结果显示了该方法的有效性。
|
| 关 键 词： | 死锁检测 工具评估 工具综合应用 并发软件 |
| 修稿时间： | |
Capability Analysis and Integrated Application of Deadlock Detection Tools |
| |
| PAN Minxue,LI Qian,LI Xuandong.Capability Analysis and Integrated Application of Deadlock Detection Tools[J].Journal of Frontier of Computer Science and Technology,2010,4(2):153-164. |
| |
| Authors: | PAN Minxue LI Qian LI Xuandong |
| |
| Affiliation: | PAN Minxue,LI Qian,LI Xu,ong Department of Computer Science , Technology,Nanjing University,Nanjing 210093,China |
| |
| 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... |
| |
| Keywords: | deadlock detection tool evaluation integrated application of tools concurrent software |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
