Showing papers by "D. K. Arvind published in 1992"
01 Sep 1992
TL;DR: EXTENDED PMD is a methodology for detecting communication- and concurrency-related errors in CSP-based languages that has been applied to Joyce, a semantic variant of CSP based on a subset of common Pascal.
Abstract: EXTENDED PMD is a methodology for detecting communication- and concurrency-related errors in CSP-based languages. A static analysis of the source program is used to build a model which is augmented with dynamic information from a dedicated hardware monitor. These information allow a post-mortem analysis of the program with automatic detection of errors. EXTENDED PMD has been applied to Joyce[1], a semantic variant of CSP based on a subset of common Pascal.
19 citations
01 Dec 1992
TL;DR: PMD employs a static analysis of the source code to build a model of the program, which is dynamically enhanced with crucial run-time information from a dedicated hardware monitor and the notion of Region of Channel Usage (RCU) is introduced for detecting errors efficiently.
Abstract: PMD is a framework for the detection of communication-related errors in concurrent programs using post-mortem analysis. It employs a static analysis of the source code to build a model of the program, which is dynamically enhanced with crucial run-time information from a dedicated hardware monitor. The notion of Region of Channel Usage (RCU) is introduced for detecting these errors efficiently. PMD is sufficiently general-purpose to handle a variety of concurrent programming languages, such as Occam2 and Joyce.
4 citations