基于距离挖掘的多变量原子性违例检测  

Multi-variable Atomicity Violation Detection Based on Distance Mining

作　　者：胡敏[1] 陈雨亭[1] 

机构地区：[1]上海交通大学软件学院,上海200240

出　　处：《计算机工程》2012年第13期61-63,74,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60970009)

摘　　要：针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法。通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确定原子区域的挖掘方法。实验结果表明,该算法能有效挖掘程序中的相关变量,并检测程序中涉及到的多变量原子性违例错误。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 relationship to detect the atoms violation mistakes, then infers the correlations through them to get the atomic regions. Experimental results show that this algorithm can get the related variables, and test the procedure which involves atomic violations mistakes of multi-variable.

关 键 词：并发 相关性 多变量 共享变量 原子性 错误检测 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]