More Web Proxy on the site http://driver.im/

article

Free access

Interactive blackbox debugging for concurrent languages

Authors:

S. YeminiAuthors Info & Claims

ACM SIGPLAN Notices, Volume 24, Issue 1

Pages 271 - 282

https://doi.org/10.1145/69215.69241

Published: 01 November 1988 Publication History

Abstract

We describe a novel approach to the design of portable integrated debugging tools for concurrent languages. Our design partitions the tools set into two categories. The language specific tools take into account the particular features of a programming language for on-line experimenting with and monitoring of distributed programs. The language independent tools support off-line presentation and analysis of the monitored information. The separation of the language independent tools from the language specific tools allows adapting the tools to support debugging for a broad category of concurrent programming languages. The separation of interactive experimentation from off-line analysis provides for efficient exploitation of both user time and machine resources. We present an overview of our design and describe the implementation of a prototype debugging facility for OCCAM.

References

[1]

BAIARDI F., DE FRANCESCO N. and VAGLIANI G., "Development of a Debugger for a Concurrent Language", IEEE Trans. on Software Engineering, Vol. SE-12, No. 4, pp. 547-553, April 1986.

Digital Library

[2]

CLOCKSIN W., and MELLISH C., Programming in Prolog, Springer-Verlag, 1984.

Digital Library

[3]

GARCIA MOLINA H., GERMANO F. and KOHLER W, "Debugging a Distributed Computing System", IEEE Trans. on Software Engineering, Vol. SE-10, No. 2, pp. 210-219, March 1984.

Digital Library

[4]

GOLDSZMIDT G. "Debugging Tools for Concurrent Languages", M.Sc. Thesis, Technion Israel institute of Technology, in preparation.

[5]

GORDON A., "Ordering Errors in Distributed Programs", Ph.D. Thesis, Univ. of Wisconsin-Madison, TR 611, August 1985.

Digital Library

[6]

HALIM N. and PERSHING J., The Yorktown NIL Compiler: Language Reference, December 1985.

[7]

INMOS Limited, OCCAM Programming Manual, Prentice Hall Series on Computer Science, 1984.

Digital Library

[8]

JOYCE J., LOMOW G., SLIND K., and UNGER B, "Monitoring Distributed Systems", ACM Trans. on Computer Systems, Vol. 5, No. 2, pp 121-150, May 1987.

Digital Library

[9]

KERNIGHAN B. and RITCHIE D., The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey. 1978.

Digital Library

[10]

LEBLANC R., "Interactive Monitoring of Distributed Systems", GIT Project No. G36-605, Georgia Institute of Technology, July 1986.

[11]

LESK M., "Lex - A Lexical Analyzer Generator", Comp. Sci. TR 39, Bell Laboratories, Murray Hill, New Jersey, October 1975.

[12]

MANNA Z. and PNUELI A., "Verification of concurrent programs: the temporal framework", in The Correcmess Problem in Computer Science, Intl. lecture series in Computer Science, Academic Press, London, pp. 215-273, 1981.

[13]

Reference Manual for the Ada Programming Language, U.S. Department of Defense, Ada Joint Program Office, July 1982.

[14]

ROBBINS A, "The design of a passive monitor for distributed programs", M.Sc. Thesis, Georgia Institute of Technology, TR GIT-ICS-83/21, August 1983.

[15]

SCHIFFENBAUER R., "Interactive Debugging in a Distributed Computational Environment", M.Sc. Thesis, Massachusetts institute of Technology, MIT/LCSffR-264, August 1981.

Digital Library

[16]

SMITH E., "A Debugger for Message Based Processes", Software-Practice and Experience, Vol. 15(11), pp. 1073-1086, November 1985.

[17]

STROM R. and YEMINI S., "NIL: An Integrated Language and System for Distributed Programming", Proc. of the ACM SIGPLAN Symp. on Programming Language Issues in Software Systems, June 1983.

Digital Library

Cited By

Kolosova Y(1994)Parallel histories ? bases for detection of free and speed-competitive processesCybernetics and Systems Analysis10.1007/BF0112587529:4(593-601)Online publication date: 1994
https://doi.org/10.1007/BF01125875
Pancake CUtter S(1991)A bibliography of parallel debuggers, 1990 editionACM SIGPLAN Notices10.1145/122203.12220526:1(21-37)Online publication date: 1-Jan-1991
https://dl.acm.org/doi/10.1145/122203.122205
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Show More Cited By

Index Terms

Interactive blackbox debugging for concurrent languages
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
    2. General programming languages
      1. Language features
        Concurrent programming structures

Recommendations

Interactive blackbox debugging for concurrent languages
PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging

We describe a novel approach to the design of portable integrated debugging tools for concurrent languages. Our design partitions the tools set into two categories. The language specific tools take into account the particular features of a programming ...
Debugging native extensions of dynamic languages
ManLang '18: Proceedings of the 15th International Conference on Managed Languages & Runtimes

Many dynamic programming languages such as Ruby and Python enable developers to use so called native extensions, code implemented in typically statically compiled languages like C and C++. However, debuggers for these dynamic languages usually lack ...
DI: an interactive debugging interpreter for applicative languages

The DI interpreter is both a debugger and interpreter of SISAL programs. Its use as a program interpreter is only a small part of its role; it is designed to be a tool for studying compilation techniques for applicative languages. DI interprets dataflow ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 24, Issue 1

Special issue: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on parallel and distributed debugging

Jan. 1989

280 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/69215

Editor:
Richard L. Wexelblat

Issue’s Table of Contents

PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
November 1988
282 pages
ISBN:0897912969
DOI:10.1145/68210
Editor:
Richard L. Wexelbalt

Copyright © 1988 ACM.

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 November 1988

Published in SIGPLAN Volume 24, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
331
Total Downloads

Downloads (Last 12 months)64
Downloads (Last 6 weeks)11

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kolosova Y(1994)Parallel histories ? bases for detection of free and speed-competitive processesCybernetics and Systems Analysis10.1007/BF0112587529:4(593-601)Online publication date: 1994
https://doi.org/10.1007/BF01125875
Pancake CUtter S(1991)A bibliography of parallel debuggers, 1990 editionACM SIGPLAN Notices10.1145/122203.12220526:1(21-37)Online publication date: 1-Jan-1991
https://dl.acm.org/doi/10.1145/122203.122205
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Liu XXu F(2004)A softerware monitor for shared-memory multiprocessor computersSoftware—Practice & Experience10.1002/spe.59134:8(757-776)Online publication date: 10-Jul-2004
https://dl.acm.org/doi/10.1002/spe.591
Taylor D(1992)A prototype debugger for HermesProceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 210.5555/962260.962283(313-326)Online publication date: 9-Nov-1992
https://dl.acm.org/doi/10.5555/962260.962283
Taylor D(1992)A prototype debugger for HermesProceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 110.5555/962198.962202(29-42)Online publication date: 9-Nov-1992
https://dl.acm.org/doi/10.5555/962198.962202
Robinson DCheng BEnbody R(1992)A transparent monitoring tool for shared-memory multiprocessors[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference10.1109/CMPSAC.1992.217563(227-232)Online publication date: 1992
https://doi.org/10.1109/CMPSAC.1992.217563
Razouk RGorlick M(1989)Real-time interval logic for reasoning about executions of real-time programsACM SIGSOFT Software Engineering Notes10.1145/75309.7531114:8(10-19)Online publication date: 1-Nov-1989
https://dl.acm.org/doi/10.1145/75309.75311
Razouk RGorlick M(1989)Real-time interval logic for reasoning about executions of real-time programsProceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification10.1145/75308.75311(10-19)Online publication date: 1-Nov-1989
https://dl.acm.org/doi/10.1145/75308.75311
Lichtenstein YShapiro E(1988)Concurrent algorithmic debuggingACM SIGPLAN Notices10.1145/69215.6923924:1(248-260)Online publication date: 1-Nov-1988
https://dl.acm.org/doi/10.1145/69215.69239
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents