Correctness Analysis based on Testing and Checking for OpenMP Programs

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.