Development of a debugger for a concurrent language

Baiardi, Fabrizio; Francesco, Nicoletta De; Matteoli, Enrico; Stefanini, S.; Vaglini, Gigliola

doi:10.1145/1006140.1006169

Cited by 8 publications

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

A distributed programs monitor for berkeley UNIX

1986

View full text Add to dashboard Cite

Writing and debugging distributed programs can be difficult. When a program is working, it can be difficult to achieve reasonable execution performance. A major cause of these difficulties is a lack of tools for the programmer. We use a model of distributed computation and measurement to implement a program monitoring system for programs running on the Berkeley UNIX 4.2BSD operating system. The model of distributed computation describes the activities of the processes within a distributed program in terms of computation (internal events) and communication (external events). The measurement model focuses on external events and separates the detection of external events, event record selection and data analysis. The implementation of the measurement tools involved changes to the Berkeley UNIX kernel, and the addition of daemon processes to allow the monitoring activity to take place across machine boundaries. A user interface has also been implemented.

show abstract

A distributed programs monitor for berkeley UNIX

1986

View full text Add to dashboard Cite

show abstract

A dataflow approach to event‐based debugging

Olsson

Crawford

1991

Softw Pract Exp

View full text Add to dashboard Cite

This paper describes a novel approach to event‐based debugging. The approach is based on a (coarsegrained) dataflow view of events: a high‐level event is recognized when an appropriate combination of lower‐level events on which it depends has occurred. Event recognition is controlled using familiar programming language constructs. This approach is more flexible and powerful than current ones. It allows arbitrary debugger language commands to be executed when attempting to form higher‐level events. It also allows users to specify event recognition in much the same way that they write programs. This paper also describes a prototype, Dalek, that employs the dataflow approach for debugging sequential programs. Dalek demonstrates the feasibility and attractiveness of the dataflow approach. One important motivation for this work is that current sequential debugging tools are inadequate. Dalek contributes toward remedying such inadequacies by providing events and a powerful debugging language. Generalizing the dataflow approach so that it can aid in the debugging of concurrent programs is under investigation.

show abstract