A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model

This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface. The model is based on the concepts of sequential and distributed processes. A parallel p...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Automatic control and computer sciences Jg. 56; H. 7; S. 762 - 777
1. Verfasser: Mironov, A. M.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Moscow Pleiades Publishing 01.12.2022
Springer Nature B.V
Schlagworte:
Computer Science
Control Structures and Microprogramming
Mathematical analysis
Mathematical models
Parallel programming
Verification
distributed processes
parallel programs
verification
MPI
ISSN:0146-4116, 1558-108X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface. The model is based on the concepts of sequential and distributed processes. A parallel program is modeled as a distributed process within which sequential processes communicate by asynchronously sending and receiving messages over channels. The main advantage of the proposed model is its capability of modeling and verifying parallel programs that generate an indefinite number of sequential processes. To illustrate the model’s performance, an example of its application to verification of an MPI matrix multiplication program is described.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0146-4116
1558-108X
DOI:10.3103/S014641162207015X