An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection

被引：21
|
作者：
Chatarasi, Prasanth [1 ]
Shirako, Jun [1 ]
Kong, Martin [1 ]
Sarkar, Vivek [1 ]
机构：
[1] Rice Univ, Houston, TX 77005 USA
来源：
LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2016 | 2017年 / 10136卷
基金：
美国国家科学基金会;
关键词：
SPMD parallelism; Data race detection; Polyhedral model; Phase mapping; Space mapping; May happen in parallel relations; CONCURRENCY ANALYSIS; BARRIERS;
D O I：
10.1007/978-3-319-52709-3_10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Despite its age, SPMD (Single Program Multiple Data) parallelism continues to be one of the most popular parallel execution models in use today, as exemplified by OpenMP for multicore systems and CUDA and OpenCL for accelerator systems. The basic idea behind the SPMD model, which makes it different from task-parallel models, is that all logical processors (worker threads) execute the same program with sequential code executed redundantly and parallel code executed cooperatively. In this paper, we extend the polyhedral model to enable analysis of explicitly parallel SPMD programs and provide a new approach for static detection of data races in SPMD programs using the extended polyhedral model. We evaluate our approach using 34 OpenMP programs from the OmpSCR and PolyBench-ACC (PolyBench-ACC derives from the PolyBench benchmark suite and provides OpenMP, OpenACC, CUDA, OpenCL and HMPP implementations.) benchmark suites.
引用
收藏
页码：106 / 120
页数：15
相关论文
共 50 条
  • [1] Static data-race detection for multithread programs
    Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
    不详
    Jisuanji Yanjiu yu Fazhan, 2006, 2 (329-335):
  • [2] Static analysis for concurrent programs with applications to data race detection
    Kahlon V.
    Sankaranarayanan S.
    Gupta A.
    International Journal on Software Tools for Technology Transfer, 2013, 15 (4) : 321 - 336
  • [3] Static Data Race Detection for Concurrent Programs with Asynchronous Calls
    Kahlon, Vineet
    Sinha, Nishant
    Kruus, Erik
    Zhang, Yun
    7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 13 - 22
  • [4] Static Race Detection for Periodic Programs
    Suresh, Varsha P.
    Pai, Rekha
    D'Souza, Deepak
    D'Souza, Meenakshi
    Chakrabarti, Sujit Kumar
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, 2022, 13240 : 290 - 316
  • [5] Static Data Race Detection for Java Programs With Dynamic Class Loading
    Yoshiura, Noriaki
    Wei, Wei
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8729 : 161 - 173
  • [6] Fast and accurate static data-race detection for concurrent programs
    Kahlon, Vineet
    Yang, Yu
    Sankaranarayanan, Sriram
    Gupta, Aarti
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 226 - +
  • [7] Static Data Race Detection in Multi-task Programs for Industrial Robots
    Ashraf, Ameena K.
    D'Souza, Meenakshi
    DISTRIBUTED COMPUTING AND INTELLIGENT TECHNOLOGY, ICDCIT 2023, 2023, 13776 : 51 - 66
  • [8] Towards Incremental Static Race Detection in OpenMP Programs
    Swain, Bradley
    Huang, Jeff
    PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, 2018, : 33 - 41
  • [9] Static race detection of interrupt-driven programs
    Huo, Wei
    Yu, Hongtao
    Feng, Xiaobing
    Zhang, Zhaoqing
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (12): : 2290 - 2299
  • [10] Accurate Static Data Race Detection for C
    Sales, Emerson
    Inverso, Omar
    Tuosto, Emilio
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 443 - 462
12345