Correctness Analysis based on Testing and Checking for OpenMP Programs

被引：7
|
作者：
Li, Jianjiang [1 ]
Hei, Dan [1 ]
Yan, Lin [1 ]
机构：
[1] Univ Sci & Technol Beijing, Dept Comp Sci & Technol, Beijing 100083, Peoples R China
来源：
FOURTH CHINAGRID ANNUAL CONFERENCE, PROCEEDINGS | 2009年
关键词：
OpenMP; correctness; testing; checking; online; offline;
D O I：
10.1109/ChinaGrid.2009.12
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Using OpenMP to develop multithreaded programs is very simple and easy. However, wrong execution results occur when directives are not properly used. In this paper, a correctness testing and checking technique based on online-offline mixed mode is proposed. Where, online correctness testing only needs to record the data relative to those parallel regions of which execution results are not correct, and at the same lime, it is able to identify all wrong parallel regions through one-parse online correctness testing. Offline correctness testing needn't record relative data of parallel regions and is able to flexibly test the correctness of parallel regions modified repeatedly. The technique overcomes the shortcomings of the high overheads of the existing correctness tools which can't repeatedly test the correctness of parallel regions.
引用
收藏
页码：210 / 215
页数：6
相关论文
共 50 条
  • [31] A METHOD OF STATIC PROGRAM CORRECTNESS CHECKING
    GODERDZISHVILI, GM
    KOVALEV, VV
    ROMANYUK, VA
    PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (02) : 85 - 90
  • [32] On the Correctness of GPU Programs
    Peng, Chao
    PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 443 - 447
  • [33] CORRECTNESS OF NONDETERMINISTIC PROGRAMS
    MANNA, Z
    ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 1 - 26
  • [34] PROVING CORRECTNESS OF PROGRAMS
    CONSTABLE, RL
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A334 - A335
  • [35] CHECKING OF PSEUDORANDOM CODE READING CORRECTNESS
    DENIC, D
    ARSIC, M
    ELECTRONICS LETTERS, 1993, 29 (21) : 1843 - 1844
  • [36] Checking Business Process Correctness in Apromore
    Fornari, Fabrizio
    La Rosa, Marcello
    Polini, Andrea
    Re, Barbara
    Tiezzi, Francesco
    INFORMATION SYSTEMS IN THE BIG DATA ERA, 2018, 317 : 114 - 123
  • [37] An Interface for Integrated MPI Correctness Checking
    Hilbrich, Tobias
    Jurenz, Matthias
    Mix, Hartmut
    Brunst, Holger
    Knupfer, Andreas
    Mueller, Matthias S.
    Nagel, Wolfgang E.
    PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE, 2010, 19 : 693 - 700
  • [38] Concurrent checking of clock signal correctness
    Univ of Bologna, Bologna, Italy
    IEEE Design and Test of Computers, 1998, 15 (04): : 42 - 48
  • [39] Checking correctness in mathematical peer review
    Greiffenhagen, Christian
    SOCIAL STUDIES OF SCIENCE, 2024, 54 (02) : 184 - 209
  • [40] On semantics and correctness of reactive rule-based programs
    Lin, M
    Malec, J
    Nadjm-Tehrani, S
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 235 - 246
12345