多线程程序数据竞争的静态检测

作     者：吴萍 陈意云 张健 Wu Ping;Chen Yiyun;Zhang Jian

作者机构：中国科学技术大学计算机科学与技术系合肥230027 中国科学院软件研究所计算机科学实验室北京100080 

出 版 物：《计算机研究与发展》 (JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT)

年 卷 期：2006年第43卷第2期

页      面：329-335页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：中国科学院资助项目(60173049 60421001) 国家重点基础研究发展计划(973计划)(60125207) 

主　　题：并发程序 程序分析 数据竞争 别名分析 

摘      要：多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果.