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 条
  • [41] RELATIONSHIP OF PROGRAM CORRECTNESS CHECKING METHODS
    KOSTYRKO, VS
    CYBERNETICS, 1988, 24 (04): : 472 - 481
  • [42] Integrity and correctness checking of a lexical database
    Cojocaru, S.
    Colesnicov, A.
    Malahova, L.
    COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2006, 14 (01) : 138 - 151
  • [43] Concurrent checking of clock signal correctness
    Metra, C
    Favalli, M
    Ricco, B
    IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (04): : 42 - 48
  • [44] Checking The Correctness of Agent Designs Against Model-Based Requirements
    Abushark, Yoosef
    Winikoff, Michael
    Miller, Tim
    Harland, James
    Thangarajah, John
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 953 - +
  • [45] A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
    Turner, Edd
    Butler, Michael
    Leuschel, Michael
    ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, 2010, 5977 : 231 - +
  • [46] A Correctness Verification Method for C Programs Based on VCC
    Liang, Hongliang
    Zhang, Daijie
    Pei, Xiaoxiao
    Jia, Xiaodong
    Li, Guangyuan
    Xu, Jiuyun
    2016 IEEE 3RD INTERNATIONAL CONFERENCE ON CYBER SECURITY AND CLOUD COMPUTING (CSCLOUD), 2016, : 172 - 177
  • [47] A Method Checking the Correctness of Sentence of Formal language Based on Linear Resolution
    Du, Ya-Jun
    Li, Hai-ming
    Hao, Fei
    Xie, Chuan
    2006 INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES,VOLS 1-3, 2006, : 608 - +
  • [48] Language-Centric Performance Analysis of OpenMP Programs with Aftermath
    Drebes, Andi
    Brejon, Jean-Baptiste
    Pop, Antoniu
    Heydemann, Karine
    Cohen, Albert
    OPENMP: MEMORY, DEVICES, AND TASKS, 2016, 9903 : 237 - 250
  • [49] Reparallelization and migration of OpenMP programs
    Klemm, Michael
    Bezold, Matthias
    Gabriel, Stefan
    Veldema, Ronald
    Philippsen, Michael
    CCGRID 2007: SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, 2007, : 529 - +
  • [50] Dynamic Thread Pinning for Phase-Based OpenMP Programs
    Mazouz, Abdelhafid
    Touati, Sid-Ahmed-Ali
    Barthou, Denis
    EURO-PAR 2013 PARALLEL PROCESSING, 2013, 8097 : 53 - 64
12345