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

摘要：

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

关键词：X10语言、数据竞争、并行程序分析、静态检测、多线程

所属期刊栏目：38

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金资助面上项目60970009;上海市计算机软件评测重点实验室开放课题基金资助项目SSTL2011_02

在线出版日期：2012-11-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：35-38,42