一种并发程序原子性错误的检测方法及工具

• 作者: 刘剑 易秋萍 李潇
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 多线程程序 原子性错误 线程序列的不确定 模型检测
• 年，卷（期）: 2012,（11）
• 页码范围: 92-94
• 分类号: TP312
• 字数: 4061字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.11.024

摘要

原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列.为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MCAVIO.基于MCAVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MCAVIO对原子性错误的检测是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李潇	中国科学院软件研究所	23	130	7.0	10.0
2	刘剑	中国科学院软件研究所	66	379	12.0	17.0
3	易秋萍	中国科学院软件研究所	3	7	2.0	2.0