X10并行程序中静态数据竞争检测

• 作者: 王旭 陈雨亭
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: X10语言 数据竞争 并行程序分析 静态检测 多线程
• 年，卷（期）: 2012,（15）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 35-38,42
• 分类号: TP311.5
• 字数: 5258字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.15.010

摘要

在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争.为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存对计算和逃逸访存对计算4个阶段.通过在WALA框架中分析构建程序的调用图,计算源访存对集合,检测出内存访存中可能发生数据竞争的无序对.实验结果表明,该算法可以在不显著增加X10并行程序总体运行时间的情况下,达到比较理想的数据竞争检测效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王旭	上海交通大学软件学院	53	403	12.0	19.0
2	陈雨亭	上海交通大学软件学院	9	17	2.0	4.0