Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC)

Huda Basloom

doi:10.1109/ACCESS.2022.3219406

2022-01-01

Huda Basloom *

Mohamed Yehia Dahab

Ahmed Mohammed Alghamdi

Fathy Eassa

Abdullah Alghamdi

Seif Haridi

DOI：10.1109/ACCESS.2022.3219406

原文链接

原文求助

摘要

En 中文

Recently, incorporating more than one programming model into a system designed for high performance computing (HPC) has become a popular solution to implementing parallel systems. Since traditional programming languages, such as C, C++, and Fortran, do not support parallelism at the level of multi-core processors and accelerators, many programmers add one or more programming models to achieve parallelism and accelerate computation efficiently. These models include Open Accelerators (OpenACC) and Open Multi-Processing (OpenMP), which have recently been used with various models, including Message Passing Interface (MPI) and Compute Unified Device Architecture (CUDA). Due to the difficulty of predicting the behavior of threads, runtime errors cannot be predicted. The compiler cannot identify runtime errors such as data races, race conditions, deadlocks, or livelocks. Many studies have been conducted on the development of testing tools to detect runtime errors when using programming models, such as the combinations of OpenACC with MPI models and OpenMP with MPI. Although more applications use OpenACC and OpenMP together, no testing tools have been developed to test these applications to date. This paper presents a testing tool for detecting runtime using a static testing technique. This tool can detect actual and potential runtime errors during the integration of the OpenACC and OpenMP models into systems developed in C++. This tool implement error dependency graphs, which are proposed in this paper. Additionally, a dependency graph of the errors is provided, along with a classification of runtime errors that result from combining the two programming models mentioned earlier.

Keyword:

Parallel programming

high-performance computing

OpenMP

OpenACC

deadlock

runtime errors

race condition

static testing

software testing

testing tools classifications

exascale systems