article

Free access

Debuggable concurrency extensions for standard ML

Authors:

Andrew P. Tolmach and

Andrew W. AppelAuthors Info & Claims

ACM SIGPLAN Notices, Volume 26, Issue 12

Pages 120 - 131

https://doi.org/10.1145/127695.122770

Published: 01 December 1991 Publication History

PDF eReader

References

[1]

A.W. Appel and D.B. MacQueen, "A Standard ML compiler," in Functional Programming Languages and Computer Architecture, ed. G. Kahn, LNCS, vol. 274,301-324,Springer-Verlag, 1987.

Digital Library

Google Scholar

[2]

A.D. Birrell, ~An introduction to programming with threads," Research Report 35, DEC Systems Research Center, January 1989.

Google Scholar

[3]

A.D. Birrell, J.V. Guttag, J.J. Homing, and R. Levin, "Synchronization primitives for a multiprocessor: a formal specification," in Proc. 11th A CM Symposium on Operating Systems Principles, published as Operating Systems Review, 21(5), 94-101, November 1987.

Digital Library

Google Scholar

[4]

R.H. Carver and K-C Tai, "Reproducible testing of concurrent programs based on shared variables," Proc. 6th International Conference on Distributed Computing Systems, 428-433, May 1986.

Google Scholar

[5]

E.C. Cooper and J.G. Morrisett, "Adding Threads to Standard ML," Tech. Rep. CMU-CS-90-186, Carnegie Mellon University, December 1990.

Google Scholar

[6]

A. Dinning and E. Schonberg, "An empirical comparison of monitoring Mgorithms for access anomMy detection," in Proc. 2nd A CM SIGPLAN Symposium on Principles 84 Practice of Parallel Programming, 1-10, March 1990.

Digital Library

Google Scholar

[7]

B.F. Duba, R. Harper, and D.B. MacQueen, "Typing first-class continuations in ML," in Proc. 18th Annual A CM Symposium on Principles of Programming Languages, 163-173, January 1991.

Digital Library

Google Scholar

[8]

R.M. Fujimoto, "Parallel Discrete Event Simulation," Communications of the A CM, 33(10):30-53, October 1990.

Digital Library

Google Scholar

[9]

K. Gharachorloo, et at., "Memory consistency and event ordering in sealable shared-memory multiproeessors," Proc. 17th Annual Symposium on Computer Architecture, 15-26, May 1990.

Digital Library

Google Scholar

[10]

R.H. I-ialstead, Jr., "Multilisp: A language for concurrent symbolic computation," A CM Transaclions on Programming Languages and Systems, 7(4):501-538, October 1985.

Digital Library

Google Scholar

[11]

R.H. Halstead, Jr., and D.A. Kranz, "A replay mechanism for mostly functional parallel programs," Tech. Rep. CRL 90/6, DEC Cambridge Research Lab, November 1990.

Google Scholar

[12]

C.A.R. Hoare, "Monitors: An operating system structuring concept," Communications of the ACM, 17(10):549-557, October 1974.

Digital Library

Google Scholar

[13]

C.A.R. Hoare, "Communicating sequential processes," Communications of the ACM, 21(8):666- 677, August 1978.

Digital Library

Google Scholar

[14]

D.R. Jefferson, "Virtual Time," A CM Transactions on Programming Languages and Systems, 7(3):404- 425, July 1985.

Digital Library

Google Scholar

[15]

D.A. Kranz, R.tt. Halstead, Jr., and E. Mohr, "Mul-T: A High-Performance Parallel Lisp," Proc. SIGPLAN '89 Conference on Programming Language Design and Implemenlation, published as SIGPLAN Notices, 24(7):81-90, July 1989.

Digital Library

Google Scholar

[16]

L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the A CM, 21(7):558-565, July 1978.

Digital Library

Google Scholar

[17]

L. Lamport, "How to make a multiprocessor computer that correctly executes multiprocess programs," IEEE Transactions on Computers, c- 28(9), 690-691, September 1979.

Digital Library

Google Scholar

[18]

T.J. LeBlanc and J.M. Mellor-Crummey, "Debugging parallel programs with Instant Replay," IEEE Transactions on Computers, 36(4):471-482, April 1987.

Digital Library

Google Scholar

[19]

B.W. Lampson and D.D. Redell, "Experience with processes and monitors in Mesa," Communications of the ACM, 23(2):105-117, February 1980.

Digital Library

Google Scholar

[20]

B.P. Miller and J.-D. Choi, "A mechanism for efficient debugging of parallel programs," Proc. SIG- PLAN '88 Conference on Programming Language Design and Implementation, 135-144, June 1988.

Digital Library

Google Scholar

[21]

R. Milner, Communication and Concurrency, Prentice Hall, 1989.

Digital Library

Google Scholar

[22]

R. Milner, M. Tofte, and R. Harper, The Definition of Standard ML, MIT Press, 1990.

Digital Library

Google Scholar

[23]

D.Z. Pan and M.A. Linton, "Supporting reverse execution of parallel debuggers," Proc. A CM SIG- PLAN/SIGOPS Workshop on Parallel and Distributed Computing, Published as SIGPLAN Notices, 24(1):184-197, January 1989.

Digital Library

Google Scholar

[24]

J.H.R.eppy, "CML: a higher-order concurrent language," Proc. A CM SIGPLAN '91 Conference on Programming Language Design and Implementation, to appear June 1991.

Digital Library

Google Scholar

[25]

A.P. Tolmach and A.W. Appel, "Debugging Standard ML without reverse engineering," Proc. 1990 A CM Conference on Lisp and Functional Programming, 1-12, June 1990.

Digital Library

Google Scholar

Cited By

View all

Nikiforova ABicevskis JKarnitis G(2020)Towards a Concurrence Analysis in Business Processes2020 Seventh International Conference on Social Networks Analysis, Management and Security (SNAMS)10.1109/SNAMS52053.2020.9336566(1-6)Online publication date: 14-Dec-2020
https://doi.org/10.1109/SNAMS52053.2020.9336566
Morrisett JTolmach A(1993)Procs and locksACM SIGPLAN Notices10.1145/173284.15535328:7(198-207)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/173284.155353
Morrisett JTolmach AChen MHalstead R(1993)Procs and locksProceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming10.1145/155332.155353(198-207)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/155332.155353
Show More Cited By

Index Terms

Debuggable concurrency extensions for standard ML
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Walkthroughs
      2. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Debuggable concurrency extensions for standard ML
PADD '91: Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Read More
Applying transactional memory to concurrency bugs
ASPLOS XVII: Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems

Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchronization methods to avoid the use of locks. A survey of the bug databases of ...
Read More
Applying transactional memory to concurrency bugs
ASPLOS '12

Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchronization methods to avoid the use of locks. A survey of the bug databases of ...
Read More

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 26, Issue 12

Dec. 1991

192 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/127695

Editor:
Richard L. Wexelblat
ACM SIGPLAN Notices, Alexandria, VA

Issue’s Table of Contents

PADD '91: Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
December 1991
206 pages
ISBN:0897914570
DOI:10.1145/122759
Chairmen:
Barton Miller
Univ. of Wisconsin, Madison
,
Charles McDowell
Univ. of California, Santa Cruz

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1991

Published in SIGPLAN Volume 26, Issue 12

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
224
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)3

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nikiforova ABicevskis JKarnitis G(2020)Towards a Concurrence Analysis in Business Processes2020 Seventh International Conference on Social Networks Analysis, Management and Security (SNAMS)10.1109/SNAMS52053.2020.9336566(1-6)Online publication date: 14-Dec-2020
https://doi.org/10.1109/SNAMS52053.2020.9336566
Morrisett JTolmach A(1993)Procs and locksACM SIGPLAN Notices10.1145/173284.15535328:7(198-207)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/173284.155353
Morrisett JTolmach AChen MHalstead R(1993)Procs and locksProceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming10.1145/155332.155353(198-207)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/155332.155353
Ziarek LJagannathan S(2010)Lightweight checkpointing for concurrent mlJournal of Functional Programming10.1017/S095679681000006720:2(137-173)Online publication date: 1-Mar-2010
https://dl.acm.org/doi/10.1017/S0956796810000067
Tolmach AAppel A(2008)A Debugger for Standard MLJournal of Functional Programming10.1017/S09567968000013135:2(155-200)Online publication date: 7-Nov-2008
https://doi.org/10.1017/S0956796800001313
Ziarek LSchatz PJagannathan S(2006)StabilizersACM SIGPLAN Notices10.1145/1160074.115982241:9(136-147)Online publication date: 16-Sep-2006
https://dl.acm.org/doi/10.1145/1160074.1159822
Ziarek LSchatz PJagannathan SReppy JLawall J(2006)StabilizersProceedings of the eleventh ACM SIGPLAN international conference on Functional programming10.1145/1159803.1159822(136-147)Online publication date: 17-Sep-2006
https://dl.acm.org/doi/10.1145/1159803.1159822
Burnett MAtwood JWalpole Djang RReichwein JGottfried HYang S(2001)Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigmJournal of Functional Programming10.5555/968486.96848711:2(155-206)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.5555/968486.968487
Atwood JBurnett MWalpole RWilcox EYang S(1996)Steering programs via time travelProceedings 1996 IEEE Symposium on Visual Languages10.1109/VL.1996.545261(4-11)Online publication date: 1996
https://doi.org/10.1109/VL.1996.545261
Pancake CNetzer R(1993)A bibliography of parallel debuggers, 1993 editionACM SIGPLAN Notices10.1145/174267.16823828:12(169-186)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174267.168238
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations