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
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;
Conference_Titel :
Parallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-2310-1
DOI :
10.1109/SPDP.1991.218192
