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

张杨; 刘欢; 张冬雯

首页> 中文期刊> 《河北科技大学学报》 >基于上下文敏感分析的数据竞争检测方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《河北科技大学学报》 |2020年第5期|416-423|共8页
作者
张杨; 刘欢; 张冬雯;
展开▼
作者单位

河北科技大学信息科学与工程学院河北石家庄 050018;

河北科技大学信息科学与工程学院河北石家庄 050018;

河北科技大学信息科学与工程学院河北石家庄 050018;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
并行处理; 并发程序; 数据竞争; 上下文敏感; 逃逸分析;

相似文献

中文文献
外文文献
专利

1. 基于二型模糊逻辑的多线程数据竞争检测方法研究 [J] . 杨璐 ,余守文 ,严建峰 . 计算机科学 . 2017,第012期
2. 基于变量访问序模式的中断数据竞争检测方法 [J] . 陈睿 ,杨孟飞 ,郭向英 . 软件学报 . 2016,第003期
3. 基于启发式的静态中断数据竞争检测方法 [J] . 段永颢 ,陈睿 . 计算机工程与设计 . 2013,第001期
4. 一种基于发生序和锁集的BPEL数据竞争静态检测方法 [J] . 李少东 ,许蕾 . 计算机与数字工程 . 2010,第008期
5. 基于锁集合算法的增强型数据竞争检测方法 [J] . 富浩 ,蔡铭 ,董金祥 . 浙江大学学报（工学版） . 2009,第002期
6. 一种基于发生序和锁集的BPEL数据竞争静态检测方法 [C] . 李少东 ,许蕾 . 第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会 . 2010
7. 基于上下文敏感分析的数据竞争检测方法研究 [A] . 刘欢 . 2020

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

摘要

著录项

相似文献

相关主题

期刊订阅