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

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