Title :
Analysis tool for parallel systems
Author :
Saiz, O.J. ; Tyrrell, A.M.
Author_Institution :
Dept. of Electron., York Univ., UK
Abstract :
This paper describes a system for the creation of the traces of programs consisting of sets of parallel processes that communicate via message passing. The system uses a communicating sequential process (CSP) model to represent the program from which the traces are created. The system is based around the X-windows environment. The generated trace set is useful as a static testing tool for the detection of faults within a design, such as deadlocks or incorrect communication structures
Keywords :
communicating sequential processes; computer aided analysis; message passing; parallel programming; user interfaces; X-windows environment; analysis tool; communicating sequential process; deadlocks; design; fault detection; incorrect communication structures; message passing; parallel processes; parallel systems; program traces; static testing tool; Communication system control; Computer architecture; Control systems; Design methodology; Fault detection; Logic design; Message passing; System recovery; System testing; Throughput;
Conference_Titel :
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location :
Gran Canaria
Print_ISBN :
0-8186-3610-6
DOI :
10.1109/EMPDP.1993.336371
