| 一种并发程序原子性错误的检测方法及工具 |
| 其他题名 | method of detecting atomicity bugs from concurrent programs and its tool
|
| 李潇; 刘剑; 易秋萍
|
| 2012
|
| 发表期刊 | 计算机应用与软件
 |
| ISSN | 1000-386X
|
| 卷号 | 29期号:11页码:92-94,100 |
| 摘要 | 原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列。为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC-AVIO。基于MC-AVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MC-AVIO对原子性错误的检测是有效的。 |
| 收录类别 | CNKI
; WANFANG
; CSCD
|
| 其他摘要 | Detection of atomicity bug is valuable for analysing the concurrent errors of multi-thread programs development. The main ?difficulty? of the detection lies on how to recognise the execution sequence leading to program error from the cases of atomicity violations. To address this problem, we adopt a method of extracting atomic transition pairs by training test and a method of model detection, and present a new method named MC-AVIO which is an automatic atomicity bug detection method. Moreover, we implement a detecting tool AtomFinder for atomicity bug based on MC-AVIO. After testing several groups of open source software, it is proved that MC-AVIO is efficient in detecting ?atomicity? bugs. |
| 关键词 | 多线程程序
原子性错误
线程序列的不确定
模型检测
|
| 部门归属 | 中国科学院软件研究所;
|
| 学科领域 | Computer Science (Provided By Thomson Reuters)
|
| 资助者 | 国家“核高基”重大科技专项(2010ZX01036-001-002-2)|中国科学院知识创新工程重要方向性项目(KGCX2-YW-12)
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:4690767
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/15301
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
李潇,刘剑,易秋萍. 一种并发程序原子性错误的检测方法及工具[J]. 计算机应用与软件,2012,29(11):92-94,100.
|
| APA |
李潇,刘剑,&易秋萍.(2012).一种并发程序原子性错误的检测方法及工具.计算机应用与软件,29(11),92-94,100.
|
| MLA |
李潇,et al."一种并发程序原子性错误的检测方法及工具".计算机应用与软件 29.11(2012):92-94,100.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论