An analysis of parallel program by utilizing high-level nets

Author

Fukuzawa, Toshiyuki ; Hasegawa, Haruo

Author_Institution

Oki Electric Industry Co. Ltd., Tokyo, Japan

fYear

1991

fDate

11-14 Jun 1991

Firstpage

842

Abstract

The authors present procedural analysis methods of a program described in Flat Guarded Horn Clauses (FGHC). FGHC is a parallel programming language based on Horn logic. The program processes execute in parallel, so debugging is very difficult. In the analysis methods the FGHC program is modeled by means of HL (high-level) nets, a kind of Petri net model. The modeling is based on the computation rules of FGHC to analyze the behavior of the program. In the modeling rules, reduction of the FGHC program corresponds to firing of a transition. Therefore, the analysis methods calculate firing sequences to detect program deadlock, compute parallelism and evaluate the success or failure of the program

Keywords

Petri nets; parallel programming; FGHC; Flat Guarded Horn Clauses; Horn logic; Petri net model; computation rules; high-level nets; parallel programming language; parallelism computation; procedural analysis methods; program deadlock detection; program success evaluation; transition firing; Computer languages; Concurrent computing; Electronic mail; Failure analysis; Logic programming; Parallel processing; Parallel programming; Performance analysis; Petri nets; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1991., IEEE International Sympoisum on

Print_ISBN

0-7803-0050-5

Type

conf

DOI

10.1109/ISCAS.1991.176494

Filename

176494