TY - GEN
T1 - Debuggable concurrency extensions for standard ML
AU - Tolmach, Andrew P.
AU - Appel, Andrew W.
N1 - Funding Information:
*Supported in part by NSF Grant
Publisher Copyright:
© 1991 ACM.
PY - 1991/12/1
Y1 - 1991/12/1
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 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.
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 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.
UR - http://www.scopus.com/inward/record.url?scp=85054909335&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85054909335&partnerID=8YFLogxK
U2 - 10.1145/122759.122770
DO - 10.1145/122759.122770
M3 - Conference contribution
AN - SCOPUS:85054909335
SN - 0897914570
SN - 9780897914574
T3 - Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991
SP - 120
EP - 131
BT - Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991
PB - Association for Computing Machinery, Inc
T2 - 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, PADD 1991
Y2 - 20 May 1991 through 21 May 1991
ER -