基于上下文敏感分析的数据竞争检测方法

• 作者: 刘欢 张冬雯 张杨
• 来源期刊: 河北科技大学学报
• 学科: 工学
• 关键词: 并行处理 并发程序 数据竞争 上下文敏感 逃逸分析
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 机械、电子与信息科学
• 页码范围: 416-423
• 页数: 8页
• 分类号: TP311
• 语种: 中文
• DOI: 10.7535/hbkd.2020yx05005

摘要

为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法.使用控制流分析构建上下文敏感的调用图,采用逃逸分析查找出可能发生数据竞争的线程逃逸对象,进行上下文敏感的别名分析以减少误报和漏报,通过发生序关系判断消除由于忽略线程交互而导致的误报.依据该方法,在WALA软件分析框架实现了一个数据竞争检测工具ConRacer,并将该工具与现有的检测工具SRD和RVPredict进行了比较.结果表明,与SRD和RVPredict相比,ConRacer的检测准确度最高,不仅可以有效地检测数据竞争,而且可以降低检测过程中的误报和漏报.通过结合上下文敏感分析技术与传统的静态检测技术,ConRacer提高了检测过程的准确性,对发现并发错误和优化软件性能有一定的参考价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张冬雯		39	137	7.0	9.0
2	张杨		27	92	5.0	9.0
3	刘欢		4	0	0.0	0.0