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 条
  • [31] ProRace: Practical Data Race Detection for Production Use
    Zhang, Tong
    Jung, Changhee
    Lee, Dongyoon
    TWENTY-SECOND INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXII), 2017, : 149 - 162
  • [32] ProRace: Practical Data Race Detection for Production Use
    Zhang, Tong
    Jung, Changhee
    Lee, Dongyoon
    ACM SIGPLAN NOTICES, 2017, 52 (04) : 149 - 162
  • [33] Virtual time and its application to data race detection
    School of Computer Science and Technology, Harbin Institute of Technology, Harbin
    150001, China
    Harbin Gongye Daxue Xuebao, 1 (68-74):
  • [34] A MODEL OF ADA PROGRAMS FOR STATIC DEADLOCK DETECTION IN POLYNOMIAL-TIME
    MASTICOLA, SP
    RYDER, BG
    SIGPLAN NOTICES, 1991, 26 (12): : 97 - 107
  • [35] Model-Checking Task Parallel Programs for Data-Race
    Nakade, Radha
    Mercer, Eric
    Aldous, Peter
    McCarthy, Jay
    NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 367 - 382
  • [36] OpenMP aware MHP Analysis for Improved Static Data-Race Detection
    Bora, Utpal
    Vaishay, Shraiysh
    Joshi, Saurabh
    Upadrasta, Ramakrishna
    PROCEEDINGS OF THE SEVENTH ANNUAL WORKSHOP ON THE LLVM COMPILER INFRASTRUCTURE IN HPC (LLVM-HPC2021), 2021, : 1 - 11
  • [37] Static Vulnerabilities Detection Based on Extended Vulnerability State Machine Model
    Liang, Bin
    NSWCTC 2009: INTERNATIONAL CONFERENCE ON NETWORKS SECURITY, WIRELESS COMMUNICATIONS AND TRUSTED COMPUTING, VOL 2, PROCEEDINGS, 2009, : 305 - 308
  • [38] Efficient on-the-fly data race detection in multithreaded C++ programs
    Pozniansky, E
    Schuster, A
    ACM SIGPLAN NOTICES, 2003, 38 (10) : 178 - 189
  • [39] High-precision Data Race Detection Method for Large Scale Programs
    Gao F.-J.
    Wang Y.
    Zhou J.-G.
    Xu A.-Z.
    Wang L.-Z.
    Wu R.-X.
    Zhang C.
    Su Z.-D.
    Ruan Jian Xue Bao/Journal of Software, 2021, 32 (07): : 2039 - 2055
  • [40] Model-checking task-parallel programs for data-race
    Radha Nakade
    Eric Mercer
    Peter Aldous
    Kyle Storey
    Benjamin Ogles
    Joshua Hooker
    Sheridan Jacob Powell
    Jay McCarthy
    Innovations in Systems and Software Engineering, 2019, 15 : 289 - 306
12345