基于距离挖掘的多变量原子性违例检测-计算机工程.PDF

第38 卷 第13 期 计 算 机 工 程 2012 年7 月 Computer Engineering July 2012 Vol.38 No.13 文献标识码文献标识码：：A 文献标识码文献标识码：： 中图分类号中图分类号：：TP301.6 文章编号文章编号：：1000——3428(2012)13——0061——03 中图分类号中图分类号：： ·软件技术与数据库·软件技术与数据库·· 文章编号文章编号：： —— —— —— ··软件技术与数据库软件技术与数据库·· 基于距离挖掘的多变量原子性违例检测基于距离挖掘的多变量原子性违例检测 基于距离挖掘的多变量原子性违例检测基于距离挖掘的多变量原子性违例检测 胡胡 敏，敏，陈雨亭陈雨亭 胡胡 敏敏，，陈雨亭陈雨亭 (上海交通大学软件学院，上海 200240) 摘摘 要：要：针对并发程序错误中涉及到的多变量原子性违例检测问题，提出一种动态检测算法。通过计算共享变量间的距离，推测变量之间 摘摘 要要：： 的相关性，利用相关联的变量关系检测原子性违例错误，确定原子区域的挖掘方法。实验结果表明，该算法能有效挖掘程序中的相关变量， 并检测程序中涉及到的多变量原子性违例错误。 关键词关键词：并发： ；相关性；多变量；共享变量；原子性；错误检测 关键词关键词：： Multi-variable Atomicity Violation Detection Based on Distance Mining HU Min, CHEN Yu-ting (School of Software, Shanghai Jiaotong University, Shanghai 200240, China) 【【Abstract 】】This paper proposes a novel dynamic detection algorithm to detect multi-variable atomicity violation without consulting atomicity 【【 】】 specification or annotation. It defines different dimensions of distances among shared memory, and uses the associated variable r