A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
The paper presents a new mathematical model of parallel programs, on the basis of which it is possible, in particular, to verify parallel programs presented on a certain subset of the parallel programming interface MPI. This model is based on the concepts of a sequential and distributed process. A p...
Uložené v:
| Vydané v: | Modelirovanie i analiz informacionnyh sistem Ročník 28; číslo 4; s. 394 - 412 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Yaroslavl State University
18.12.2021
|
| Predmet: | |
| ISSN: | 1818-1015, 2313-5417 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Shrnutí: | The paper presents a new mathematical model of parallel programs, on the basis of which it is possible, in particular, to verify parallel programs presented on a certain subset of the parallel programming interface MPI. This model is based on the concepts of a sequential and distributed process. A parallel program is modeled as a distributed process in which sequential processes communicate by asynchronously sending and receiving messages over channels. The main advantage of the described model is the ability to simulate and verify parallel programs that generate an indefinite number of sequential processes. The proposed model is illustrated by the application of verification of the matrix multiplication MPI program. |
|---|---|
| ISSN: | 1818-1015 2313-5417 |
| DOI: | 10.18255/1818-1015-2021-4-394-412 |