计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2010年
2期
153-164
,共12页
死锁检测%工具评估%工具综合应用%并发软件
死鎖檢測%工具評估%工具綜閤應用%併髮軟件
사쇄검측%공구평고%공구종합응용%병발연건
deadlock detection%tool evaluation%integrated application of tools%concurrent software
并发软件运行的不确定性使得死锁检测十分困难.现有的工作集中在使用分析、验证或测试的单一途径来检测死锁.通过分析现有工具的死锁检测能力,提出了综合使用工具的死锁检测方法.同时根据分析、验证和测试途径的不同特点,给出了评估工具检测结果的度量方法.实验结果显示了该方法的有效性.
併髮軟件運行的不確定性使得死鎖檢測十分睏難.現有的工作集中在使用分析、驗證或測試的單一途徑來檢測死鎖.通過分析現有工具的死鎖檢測能力,提齣瞭綜閤使用工具的死鎖檢測方法.同時根據分析、驗證和測試途徑的不同特點,給齣瞭評估工具檢測結果的度量方法.實驗結果顯示瞭該方法的有效性.
병발연건운행적불학정성사득사쇄검측십분곤난.현유적공작집중재사용분석、험증혹측시적단일도경래검측사쇄.통과분석현유공구적사쇄검측능력,제출료종합사용공구적사쇄검측방법.동시근거분석、험증화측시도경적불동특점,급출료평고공구검측결과적도량방법.실험결과현시료해방법적유효성.
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.