Article

Free access

Data path debugging: data-oriented debugging for a concurrent programming language

Authors:

Wenwey Hseush,

Gail E. KaiserAuthors Info & Claims

PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging

Pages 236 - 247

https://doi.org/10.1145/68210.69238

Published: 01 November 1988 Publication History

PDF eReader

References

[1]

Sten Andler. Predicate Path Expressions: A High-Level Synchronization Mechanism. PhD thesis, Camegie Mellon University, August, 1979. CMU-CS-79-134.

Digital Library

Google Scholar

[2]

F. Baiardi, N. De Francesco, E. Matteoli, S. Stefanini, G. Vaglini. Development Of A Debugger For A Concurrent Language. In ACM SIGSoft/SIGPIan Software Engineering Symposium on High-Level Debugging, pages 98-106. Pacific Grove, CA, March, 1983. Special issue of Software Engineering Notes, 8(4), August 1983.

Digital Library

Google Scholar

[3]

T.S. Balraj and M.J. Foster. Miss Manners: A Specialized Silicon Compiler for Synchronizers. In Proceedings of the Fourth MIT Conference, pages 3-20. The MIT Press, April, 1986.

Digital Library

Google Scholar

[4]

Peter Bates. EBBA Modelling Tool a.k.a. Event Definition Language. Technical Report COINS 87-35, Computer and Information Science Department, University of Massachusetts, April, 1987.

Digital Library

Google Scholar

[5]

Peter Bates. Distributed Debugging Tools for Heterogeneous Distributed Systems. In ACM SIGPlanlSIGOps Workshop on Parallel and Distributed Debugging. Madison, WI, May, 1988. This proceedings.

Digital Library

Google Scholar

[6]

Bemd Bruegge and Peter Hibbard. Generalized Path Expressions: A High-Level Debugging Mechanism. The Journal of Systems and Software 2(3):265-276, 1983.

Google Scholar

[7]

Bemd B ruegge. Adaptability and Portability of Symbolic Debuggers. PhD thesis, Carnegie Mellon University, 1985.

Digital Library

Google Scholar

[8]

R.H. Campbell and A. N. Habermann. The Specification of Process Synchronization by Path Expressions. In G. Goos and J. Hartrnanis (editors), Lecture Notes in Computer Science. Volume 16: Operating Systems, pages 89-102. Springer-Verlag, Berlin, 1974.

Crossref

Google Scholar

[9]

Phyllis G. Frankel and Elaine J. Weyucker. Data Flow Testing in the Presence of Unexecutable Paths. In Workshop on Software Testing, pages 4-13. IEEE Computer Society, Banff, Canada, July, 1986.

Google Scholar

[10]

Aaron j. Gordon and Raphael A. Finkel. TAP: A Tool To Find Timing Errors In Distributed Programs. In Workshop on Software Testing, pages 154-163. IEEE Computer Society, Banff, Canada, July, 1986.

Google Scholar

[11]

A.N. Habermann. Implementation of Regular Path Expressions. Technical Report, Carnegie Mellon University, February, 1979.

Google Scholar

[12]

William E. Howden. Software Engineering and Technology: Functional Program Testing & Analysis. McGraw-HiU Book Co., New York, 1987.

Digital Library

Google Scholar

[13]

Ryszard Janicki. A Method For Developing Concurrent Systems. In Lecture Notes in Computer Science. Number 167: International Symposium on Programming, pages 155-166. Springer-Verlag, Berlin, 1982.

Crossref

Google Scholar

[14]

S.C. Johnson and M.E. Lesk. Language Development Tools. The Bell System Technical Journal 57(6):2155-2175, July-August, 1978.

Crossref

Google Scholar

[15]

Gail E. Kaiser and David Garlan. Melding Software Systems from Reusable Building Blocks. IEEE Software :17-24, July, 1987.

Google Scholar

[16]

Gail E. Kaiser and David Garlan. MELDing Data Flow and Object-Oriented Programming. In Object-Oriented Programming Systems, Languages, and Applications Conference, pages 254-267. Kissimmee, FL, October, 1987. Special issue of SIGPLAN Notices, 22(12), December 1987.

Digital Library

Google Scholar

[17]

Leslie Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM 21(7):558-564, July, 1978.

Digital Library

Google Scholar

[18]

P.E. Lauer and M. W. Shields. Formal Theory of the Basic COSY Notation. Technical Report 143, Computer Lab. University of Newcastle upon Tyne, 1979.

Google Scholar

[19]

P.E. Lauer and M. W. Shields. Formal behavioural specification of concurrent systems without globality assumptions. In J. Diaz and I.Ramos (editor), Lecture Notes in Computer Science. Number 107: Proceedings of lnternation Colloquium on Formalization of Programming Concepts, pages 115-151. Springer-Veflag, Berlin, 1981.

Digital Library

Google Scholar

Cited By

View all

Ho AHand SJeffery CChoi JLencevicius R(2005)On the design of a pervasive debuggerProceedings of the sixth international symposium on Automated analysis-driven debugging10.1145/1085130.1085146(117-122)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1145/1085130.1085146
Berard E(1994)Issues in the testing of object-oriented softwareProceedings of ELECTRO '9410.1109/ELECTR.1994.472703(211-219)Online publication date: 1994
https://doi.org/10.1109/ELECTR.1994.472703
Kunz T(1993)Process clustering for distributed debuggingACM SIGPLAN Notices10.1145/174267.17427528:12(75-84)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174267.174275
Show More Cited By

Index Terms

Data path debugging: data-oriented debugging for a concurrent programming language
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Concurrent programming languages

Recommendations

Data path debugging: data-oriented debugging for a concurrent programming language
Special issue: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on parallel and distributed debugging
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 ...
Replay debugging: leveraging record and replay for program debugging
ISCA '14: Proceeding of the 41st annual international symposium on Computer architecuture

Hardware-assisted Record and Deterministic Replay (RnR) of programs has been proposed as a primitive for debugging hard-to-repeat software bugs. However, simply providing support for repeatedly stumbling on the same bug does not help diagnose it. For ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

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

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

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

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

WPDD88

Sponsor:

WPDD88: 1988 Workshop on Parallel & Distributed Debugging

May 5 - 6, 1988

Wisconsin, Madison, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
403
Total Downloads

Downloads (Last 12 months)88
Downloads (Last 6 weeks)17

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ho AHand SJeffery CChoi JLencevicius R(2005)On the design of a pervasive debuggerProceedings of the sixth international symposium on Automated analysis-driven debugging10.1145/1085130.1085146(117-122)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1145/1085130.1085146
Berard E(1994)Issues in the testing of object-oriented softwareProceedings of ELECTRO '9410.1109/ELECTR.1994.472703(211-219)Online publication date: 1994
https://doi.org/10.1109/ELECTR.1994.472703
Kunz T(1993)Process clustering for distributed debuggingACM SIGPLAN Notices10.1145/174267.17427528:12(75-84)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174267.174275
Kunz TMiller BMcDowell C(1993)Process clustering for distributed debuggingProceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging10.1145/174266.174275(75-84)Online publication date: 1-Dec-1993
https://dl.acm.org/doi/10.1145/174266.174275
Cuny JHough AKundu JGrinstein GBrown BBergeron RHunter C(1992)Logical time in visualizations produced by parallel programsProceedings of the 3rd conference on Visualization '9210.5555/949685.949721(186-193)Online publication date: 19-Oct-1992
https://dl.acm.org/doi/10.5555/949685.949721
Cuny JHough AKundu J(1992)Logical time in visualizations produced by parallel programsProceedings Visualization '9210.1109/VISUAL.1992.235209(186-193)Online publication date: 1992
https://doi.org/10.1109/VISUAL.1992.235209
Liao Y(1992)Efficiently computing derived performance dataProceedings of the 7th International Conference on Knowledge-Based Software Engineering10.1109/KBSE.1992.252923(172-181)Online publication date: 20-Sep-1992
https://dl.acm.org/doi/10.1109/KBSE.1992.252923
Liao YCohen D(1992)A Specificational Approach to High Level Program Monitoring and MeasuringIEEE Transactions on Software Engineering10.1109/32.17736618:11(969-978)Online publication date: 1-Nov-1992
https://dl.acm.org/doi/10.1109/32.177366
Popovich SKaiser GWu S(1991)MELDing transactions and objectsACM SIGPLAN OOPS Messenger10.1145/127070.1270932:2(94-98)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1145/127070.127093
Popovich SKaiser GWu SWilson P(1991)MELDing transactions and objectsProceedings of the workshop on Object-based concurrent programming10.1145/127056.127093(94-98)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1145/127056.127093
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Data path debugging: data-oriented debugging for a concurrent programming language

Debugging native extensions of dynamic languages

Replay debugging: leveraging record and replay for program debugging