TY - JOUR
T1 - Understanding parallel program behavior through petri net models
AU - Balbo, Gianfranco
AU - Donatelli, Susanna
AU - Franceschinis, Giuliana
N1 - Funding Information:
This work has been partially supported by the CNR project “Progetto Finahzzato Sistemi Informatici e Calcolo ParallelO,” grant 91.00879.PF69, and by the “Minister0 dell’Universit8 e della Ricerca Scientifica e Tecnologica” of Italy (40% project).
PY - 1992/7
Y1 - 1992/7
N2 - Generalized stochastic Petri nets (GSPN) are proposed in this paper as a way to represent and analyze programs written with process-oriented parallel languages. Following an approach that has already been proposed in the literature, parallel programs are translated into GSPN models that are used to perform a static analysis yielding information on possible deadlocks, mutual exclusion, and resource utilization. These models offer help in understanding the overall behavior of a parallel program, increase confidence in its correctness, and permit assessment of the efficiency of its implementation. The feasibility of automatic generation of Petri nets from program code is discussed and the problem of correctly modeling communications and flow control variables is addressed.
AB - Generalized stochastic Petri nets (GSPN) are proposed in this paper as a way to represent and analyze programs written with process-oriented parallel languages. Following an approach that has already been proposed in the literature, parallel programs are translated into GSPN models that are used to perform a static analysis yielding information on possible deadlocks, mutual exclusion, and resource utilization. These models offer help in understanding the overall behavior of a parallel program, increase confidence in its correctness, and permit assessment of the efficiency of its implementation. The feasibility of automatic generation of Petri nets from program code is discussed and the problem of correctly modeling communications and flow control variables is addressed.
UR - http://www.scopus.com/inward/record.url?scp=0012994981&partnerID=8YFLogxK
U2 - 10.1016/0743-7315(92)90002-5
DO - 10.1016/0743-7315(92)90002-5
M3 - Article
SN - 0743-7315
VL - 15
SP - 171
EP - 187
JO - Journal of Parallel and Distributed Computing
JF - Journal of Parallel and Distributed Computing
IS - 3
ER -