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ženo v:
| Vydáno v: | Modelirovanie i analiz informacionnyh sistem Ročník 28; číslo 4; s. 394 - 412 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Yaroslavl State University
18.12.2021
|
| Témata: | |
| ISSN: | 1818-1015, 2313-5417 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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 |