Debuggable concurrency extensions for standard ML

Andrew P. Tolmach, Andrew W. Appel

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

Abstract

We are developing an interactive debugger with reverse execution for the language Standard ML extended to include concurrent threads in the style of Modula-2+. Our debugging approach is based on automatic instrumentation in the source language of the user's source code; this makes the debugger completely independent of the compiler back-end, run-time system, and target hardware. The debugger operates entirely inside the concurrency model and has no special concurrency privileges. In this paper, we consider some of the challenges of debugging a non-deterministic concurrent symbolic language "in itself." Issues considered include logging non-deterministic activity, obtaining more secure semantics for our concurrency primitives, controlling distributed computations, and defining suitable time models. We conclude by suggesting an alternative simulation-based approach to dealing with non-determinism.

Original languageEnglish (US)
Title of host publicationProceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991
PublisherAssociation for Computing Machinery, Inc
Pages120-131
Number of pages12
ISBN (Print)0897914570, 9780897914574
StatePublished - Dec 1 1991
Event1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991 - Santa Cruz, United States
Duration: May 20 1991May 21 1991

Publication series

NameProceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991

Other

Other1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991
CountryUnited States
CitySanta Cruz
Period5/20/915/21/91

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Debuggable concurrency extensions for standard ML'. Together they form a unique fingerprint.

  • Cite this

    Tolmach, A. P., & Appel, A. W. (1991). Debuggable concurrency extensions for standard ML. In Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991 (pp. 120-131). (Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991). Association for Computing Machinery, Inc.