一种并发程序原子性错误的检测方法及工具
文献类型：期刊论文
| 作者 | 李潇 ; 刘剑 ; 易秋萍 |
| 刊名 | 计算机应用与软件
 |
| 出版日期 | 2012 |
| 卷号 | 29期号:11页码:92-94,100 |
| 关键词 | 多线程程序 原子性错误 线程序列的不确定 模型检测 |
| ISSN号 | 1000-386X |
| 其他题名 | method of detecting atomicity bugs from concurrent programs and its tool |
| 中文摘要 | 原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列。为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC-AVIO。基于MC-AVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MC-AVIO对原子性错误的检测是有效的。 |
| 英文摘要 | 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) |
| 收录类别 | CNKI ; WANFANG ; CSCD |
| 资助信息 | 国家“核高基”重大科技专项(2010ZX01036-001-002-2)|中国科学院知识创新工程重要方向性项目(KGCX2-YW-12) |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4690767 |
| 公开日期 | 2013-09-17 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。