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

摘要：

针对并发程序错误中涉及到的多变量原子性违例检测问题,提出一种动态检测算法.通过计算共享变量间的距离,推测变量之间的相关性,利用相关联的变量关系检测原子性违例错误,确定原子区域的挖掘方法.实验结果表明,该算法能有效挖掘程序中的相关变量,并检测程序中涉及到的多变量原子性违例错误.

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

所属期刊栏目：38

分类号：TP301.6(计算技术、计算机技术)

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

在线出版日期：2012-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：61-63,74