TY - JOUR
T1 - Debuggable concurrency extensions for standard ML
AU - Tolmach, Andrew P.
AU - Appel, Andrew Wilson
PY - 1991/1/12
Y1 - 1991/1/12
N2 - 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 nondeterministic activity, obtaining more secure semantics for our concurrency primitives, controlling distributed computations, and defining suit able time models. We conclude by suggesting an alternative simulation-based approach to dealing with non-determinism.
AB - 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 nondeterministic activity, obtaining more secure semantics for our concurrency primitives, controlling distributed computations, and defining suit able time models. We conclude by suggesting an alternative simulation-based approach to dealing with non-determinism.
UR - http://www.scopus.com/inward/record.url?scp=84976830781&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84976830781&partnerID=8YFLogxK
U2 - 10.1145/127695.122770
DO - 10.1145/127695.122770
M3 - Article
AN - SCOPUS:84976830781
SN - 1523-2867
VL - 26
SP - 120
EP - 131
JO - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
JF - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
IS - 12
ER -