Interactive debugging of concurrent programs

Abstract

This paper summarizes techniques for designing and implementing source-level interactive debuggers for concurrent programs. Facilities common to source-level interactive debuggers have been adapted to meet the needs of a concurrent programming environment. Of special interest are those debugging facilities which allow the programmer to monitor and influence the execution of concurrent processes.

References

1. [Cordy 81] J. R. Cordy, R. C. Holt, "Specification of Concurrent Euclid", Technical Report CSRG-133, Computer Systems Research Group, University of Toronto, 1981.

Index Terms

• Computing methodologies

  • Concurrent computing methodologies

    • Concurrent programming languages

• Information systems

  • Data management systems

    • Middleware for databases

      • Distributed transaction monitors

• Software and its engineering

  • Software creation and management

    • Software verification and validation

      • Software defect analysis

        • Software testing and debugging

  • Software notations and tools

    • General programming languages

      • Language types

        • Concurrent programming languages

  • Software organization and properties

    • Contextual software domains

      • Operating systems

        • Process management

          • Monitors