Debugging concurrent programs using static analysis and run-time hardware monitoring

D. K. Arvind, D. Yokotsuka

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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
Original languageEnglish
Title of host publicationParallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages4
ISBN (Print)0-8186-2310-1
Publication statusPublished - 1 Dec 1991

Fingerprint Dive into the research topics of 'Debugging concurrent programs using static analysis and run-time hardware monitoring'. Together they form a unique fingerprint.

Cite this