ARCHER: Effectively Spotting Data Races in Large OpenMP Applications
2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS)(2016)
摘要
OpenMP plays a growing role as a portable programming model to harness on-node parallelism, yet, existing data race checkers for OpenMP have high overheads and generate many false positives. In this paper, we propose the first OpenMP data race checker, ARCHER, that achieves high accuracy, low overheads on large applications, and portability. ARCHER incorporates scalable happens-before tracking, exploits structured parallelism via combined static and dynamic analysis, and modularly interfaces with OpenMP runtimes. ARCHER significantly outperforms TSan and Intel® Inspector XE, while providing the same or better precision. It has helped detect critical data races in the Hypre library that is central to many projects at Lawrence Livermore National Laboratory and elsewhere.
更多查看译文
关键词
data race detection,OpenMP,high performance computing,static analysis,dynamic analysis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络