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 条
  • [41] Model-checking task-parallel programs for data-race
    Nakade, Radha
    Mercer, Eric
    Aldous, Peter
    Storey, Kyle
    Ogles, Benjamin
    Hooker, Joshua
    Powell, Sheridan Jacob
    McCarthy, Jay
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (3-4) : 289 - 306
  • [42] Extended invariance and its use in model predictive control
    Lee, YI
    Cannon, M
    Kouvaritakis, B
    AUTOMATICA, 2005, 41 (12) : 2163 - 2169
  • [43] BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
    Mei, Xiupei
    Wei, Zhengyuan
    Zhang, Hao
    Chan, W. K.
    2020 IEEE/ACM 15TH INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, 2020, : 71 - 80
  • [44] MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs
    Pozniansky, Eli
    Schuster, Assaf
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (03): : 327 - 340
  • [45] Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation
    Liao, Xiaofei
    Lin, Minhao
    Zheng, Long
    Jin, Hai
    Shao, Zhiyuan
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2018, 29 (11) : 2599 - 2612
  • [46] Dynamic data race detection in Java']Java-programs using synchronization contracts
    Tsitelov, Dmitry
    Trifanov, Vitaly
    2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 3 - 8
  • [47] Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks
    Kumar, Shivam
    Agrawal, Anupam
    Biswas, Swarnendu
    PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL WORKSHOP ON PROGRAMMING MODELS AND APPLICATIONS FOR MULTICORES AND MANYCORES (PMAM '22), 2022, : 45 - 54
  • [48] Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation
    Jimborean, Alexandra
    Ekemark, Per
    Waern, Jonatan
    Kaxiras, Stefanos
    Ros, Alberto
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2018, 29 (03) : 527 - 541
  • [49] Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed
    Wu, Wenhao
    Hueckelheim, Jan
    Hovland, Paul D.
    Luol, Ziqing
    Siegel, Stephen F.
    COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 265 - 287
  • [50] Clock snooping and its application in on-the-fly data race detection
    De Bosschere, K
    Ronsse, M
    THIRD INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS, PROCEEDINGS (I-SPAN '97), 1997, : 324 - 330
12345