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

第２９卷第１１期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．１１ ２０１２年１１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｎｏｖ．２０１２ 一种并发程序原子性错误的检测方法及工具 李　潇　刘　剑　易秋萍 （中国科学院软件研究所　北京 １００１９０） 摘　要　　原子性错误的检测对于多线程程序并发错误的分析有着重要意义，其检测难点在于从违反原子性的情况中识别出会导 致程序出错的执行序列。为了解决这个问题，采用测试训练提取原子性迁移对集合以及模型检测方法，提出原子性错误自动检测算 法ＭＣＡＶＩＯ。基于ＭＣＡＶＩＯ实现原子性错误检测工具ＡｔｏｍＦｉｎｄｅｒ，通过对多组开源软件的测试，证明ＭＣＡＶＩＯ对原子性错误的检 测是有效的。 关键词　　多线程程序　原子性错误　线程序列的不确定　模型检测 中图分类号　ＴＰ３１２　　　　文献标识码　Ａ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１２．１１．０２４ ＡＭＥＴＨＯＤＯＦＤＥＴＥＣＴＩＮＧＡＴＯＭＩＣＩＴＹＢＵＧＳＦＲＯＭＣＯＮＣＵＲＲＥＮＴ ＰＲＯＧＲＡＭＳＡＮＤＩＴＳＴＯＯＬ ＬｉＸｉａｏ　ＬｉｕＪｉａｎ　ＹｉＱｕｉｐｉｎｇ （ＩｎｓｔｉｔｕｔｅｏｆＳｏｆｔｗａｒｅ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００１９０，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｄｅｔｅｃｔｉｏｎｏｆａｔｏｍｉｃｉｔｙｂｕｇｉｓｖａｌｕａｂｌｅｆｏｒａｎａｌｙｓｉｎｇｔｈｅｃｏｎｃｕｒｒｅｎｔｅｒｒｏｒｓｏｆｍｕｌｔｉｔｈｒｅａｄｐｒｏｇｒａｍｓｄｅｖｅｌｏｐｍｅｎｔ．Ｔｈｅｍａｉｎ ｄｉｆｆｉｃｕｌｔｙｏｆｔｈｅｄｅｔｅｃｔｉｏｎｌｉｅｓｏｎｈｏｗｔｏｒｅｃｏｇｎｉｓｅｔｈｅｅｘｅｃｕｔｉｏｎｓｅｑｕｅｎｃｅｌｅａｄｉｎｇｔｏｐｒｏｇｒａｍｅｒｒｏｒｆｒｏｍｔｈｅｃａｓｅｓｏｆａｔｏｍｉｃｉｔｙｖｉｏｌａｔｉｏｎｓ．Ｔｏ ａｄｄｒｅｓｓｔｈｉｓｐｒｏｂｌｅｍ，ｗｅａｄｏｐｔａｍｅｔｈｏｄｏｆｅｘｔｒａｃｔｉｎｇａｔｏｍｉｃｔｒａｎｓｉｔｉｏｎｐａｉｒｓｂｙｔｒａｉｎｉｎｇｔｅｓｔａｎｄａｍｅｔｈｏｄｏｆｍｏｄｅｌｄｅｔｅｃｔｉｏｎ，ａｎｄｐｒｅｓｅｎｔａ ｎｅｗｍｅｔｈｏｄｎａｍｅｄＭＣＡＶＩＯｗｈｉｃｈｉｓａｎａｕｔｏｍａｔｉｃａｔｏｍｉｃｉｔｙｂｕｇｄｅｔｅｃｔｉｏｎｍｅｔｈｏｄ．Ｍｏｒｅｏｖｅｒ，ｗｅｉｍｐｌｅｍｅｎｔａｄｅｔｅｃｔｉｎｇｔｏｏｌＡｔｏｍＦｉｎｄｅｒｆｏｒ ａｔｏｍｉｃｉｔｙｂｕｇｂａｓｅｄｏｎＭＣＡＶＩＯ．Ａｆｔｅｒｔｅｓｔｉｎｇｓｅｖｅｒａｌｇｒｏｕｐｓｏｆｏｐｅｎｓｏｕｒｃｅｓｏｆｔｗａｒｅ，ｉｔｉｓｐｒｏｖｅｄｔｈａｔＭＣＡＶＩＯｉｓｅｆｆｉｃｉｅｎｔｉｎｄｅｔｅｃｔｉｎｇ ａｔｏｍｉｃｉｔｙｂｕｇｓ． Ｋｅｙｗｏｒｄｓ　　Ｍｕｌｔｉｔｈｒｅａｄｐｒｏｇｒａｍ　Ａｔｏｍｉｃｉｔｙｂｕｇ　Ｎｏｎｄｅｔｅｒｍｉｎｉｓｔｉｃｏｆｔｈｒｅａｄｓｅｑｕｅｎｃｅ　Ｍｏｄｅｌｃｈｅｃｋｉｎｇ 写操作和读操作，构成了主线程的一对原子性迁移。其他线程 ０　引　言 在该原子性迁移对之间对 ｎｕｍ做写操作，从而引起了原子性 错误。 现代软件中广泛地使用多线程技术，但这种技术容易引发 并发错误，比如死锁、数据竞争、原子性错误等。多线程程序分 析的难点在于程序运行时的线程序列不确定。同样的输入会有 不同的结果，因此分析多线程程序要考虑到所有可能的线程 序列。 原子性特征对于并发程序很重要，若某线程对某共享对象 的连续迁移序列具备原子性，意味着它不允许别的线程在该序 列中间对该对象进行读或写。违反了原子性而导致程序出错， 就属于原子性错误。这种错误已经出现在Ａｐａｃｈｅ、Ｍ