多线程并行程序数据竞争静态检测方法

• 作者: 周宽久 贾敏 陈俊
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 多线程程序 数据竞争 静态检测 XML映射模型 XQuery查询
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 软件与算法
• 页码范围: 1264-1272
• 页数: 9页
• 分类号: TP3
• 字数: 4692字
• 语种: 中文
• DOI: 10.16208/j.issn1000-7024.2017.05.027

摘要

通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题.通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层.通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列.实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宽久	大连理工大学软件工程学院	56	434	12.0	19.0
2	陈俊	贵州师范大学教育科学学院	38	116	6.0	9.0
3	贾敏	北京电子科技职业学院经济管理学院	9	5	1.0	2.0