A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
2021 ◽
Vol 28
(4)
◽
pp. 394-412
Keyword(s):
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.
2021 ◽
Vol 24
(1)
◽
pp. 157-183
2020 ◽
pp. 55-64
1986 ◽
Vol 18
(7-8)
◽
pp. 239-248
◽
Keyword(s):
2013 ◽
Vol 655-657
◽
pp. 2262-2265