计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
11期
92-94
,共3页
多线程程序%原子性错误%线程序列的不确定%模型检测
多線程程序%原子性錯誤%線程序列的不確定%模型檢測
다선정정서%원자성착오%선정서렬적불학정%모형검측
原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列.为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MCAVIO.基于MCAVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MCAVIO对原子性错误的检测是有效的.
原子性錯誤的檢測對于多線程程序併髮錯誤的分析有著重要意義,其檢測難點在于從違反原子性的情況中識彆齣會導緻程序齣錯的執行序列.為瞭解決這箇問題,採用測試訓練提取原子性遷移對集閤以及模型檢測方法,提齣原子性錯誤自動檢測算法MCAVIO.基于MCAVIO實現原子性錯誤檢測工具AtomFinder,通過對多組開源軟件的測試,證明MCAVIO對原子性錯誤的檢測是有效的.
원자성착오적검측대우다선정정서병발착오적분석유착중요의의,기검측난점재우종위반원자성적정황중식별출회도치정서출착적집행서렬.위료해결저개문제,채용측시훈련제취원자성천이대집합이급모형검측방법,제출원자성착오자동검측산법MCAVIO.기우MCAVIO실현원자성착오검측공구AtomFinder,통과대다조개원연건적측시,증명MCAVIO대원자성착오적검측시유효적.
