-
题名X10并行程序中静态数据竞争检测
- 1
-
-
作者
王旭
陈雨亭
-
机构
上海交通大学软件学院
-
出处
《计算机工程》
CAS
CSCD
2012年第15期35-38,42,共5页
-
基金
国家自然科学基金资助面上项目(60970009)
上海市计算机软件评测重点实验室开放课题基金资助项目(SSTL2011_02)
-
文摘
在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争。为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存对计算和逃逸访存对计算4个阶段。通过在WALA框架中分析构建程序的调用图,计算源访存对集合,检测出内存访存中可能发生数据竞争的无序对。实验结果表明,该算法可以在不显著增加X10并行程序总体运行时间的情况下,达到比较理想的数据竞争检测效果。
-
关键词
x10语言
数据竞争
并行程序分析
静态检测
多线程
-
Keywords
x10 language
data race
parallel program analysis
static detection
multi thread
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-