Understanding parallel program behavior through petri net models

Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

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.

Lingua originaleInglese
pagine (da-a)171-187
Numero di pagine17
RivistaJournal of Parallel and Distributed Computing
Volume15
Numero di pubblicazione3
DOI
Stato di pubblicazionePubblicato - lug 1992
Pubblicato esternamente

Fingerprint

Entra nei temi di ricerca di 'Understanding parallel program behavior through petri net models'. Insieme formano una fingerprint unica.

Cita questo