计算机工程2012，Vol.38Issue(13)：61-63,74,4.DOI:10.3969/j.issn.1000-3428.2012.13.017
基于距离挖掘的多变量原子性违例检测
Multi-variable Atomicity Violation Detection Based on Distance Mining
摘要
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 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.关键词
并发/相关性/多变量/共享变量/原子性/错误检测Key words
concurrency/ correlation/ multi-variable/ shared variable/ atomicity/ mistake detection分类
信息技术与安全科学引用本文复制引用
胡敏,陈雨亭..基于距离挖掘的多变量原子性违例检测[J].计算机工程,2012,38(13):61-63,74,4.基金项目
国家自然科学基金资助项目(60970009) （60970009）
