DocumentCode
3161938
Title
Debugging concurrent programs using static analysis and run-time hardware monitoring
Author
Arvind, D.K. ; Yokotsuka, D.
Author_Institution
Dept. of Comput. Sci., Edinburgh Univ., UK
fYear
1991
fDate
2-5 Dec 1991
Firstpage
716
Lastpage
719
Abstract
This paper describes the design and implementation of PMD-a debugger for Occam2 on an experimental distributed memory MIMD machine. Static analysis of the source code is used to build a model of the program, albeit incomplete, with minimal run-time information being filled in dynamically from a dedicated hardware monitor. The notion of Region of Channel Usage (RCU) is introduced to efficiently detect concurrency-related errors. PMD is currently being extended to deal with languages with dynamic process creation and non-blocking communication schemes
Keywords
Occam; distributed memory systems; parallel programming; program debugging; Occam2; PMD; concurrent programs debugging; design; distributed memory MIMD machine; dynamic process creation; implementation; languages; nonblocking communication schemes; run-time hardware monitoring; source code; static analysis; Computer science; Computerized monitoring; Debugging; Event detection; Hardware; Information analysis; Operating systems; Runtime; Testing; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
Conference_Location
Dallas, TX
Print_ISBN
0-8186-2310-1
Type
conf
DOI
10.1109/SPDP.1991.218192
Filename
218192
Link To Document