Article

Free access

Optimal tracing and incremental reexecution for debugging long-running programs

Authors:

Robert H. B. Netzer,

Mark H. WeaverAuthors Info & Claims

PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Pages 313 - 325

https://doi.org/10.1145/178243.178477

Published: 01 June 1994 Publication History

PDF eReader

References

[1]

Hiralal Agrawal, Richard A. DeMiUo, and Eugene H. Spafford, "An Execution-Backtracking Approach to Debugging," IEEE Software, pp. 21-26 (May 1991).

Digital Library

Google Scholar

[2]

Thomas Ball and James R. Larus, "Optimally Profiring and Tracing Programs," Symp. on Principles of Programming Languages, pp. 59-70 (january 1992).

Digital Library

Google Scholar

[3]

Jong-Deok Choi and Janice M. Stone, "Balancing Runtime and Replay Costs in a Trace-and-Replay System," A CM/ONR Workshop on Parallel and Distributed Debugging, pp. 26-35 Santa Cruz, CA, (May 1991).

Digital Library

Google Scholar

[4]

Jong-Deok Choi, Barton P. Miller, and Robert H. B. Netzer, "Techniques for Debugging Parallel Programs with Flowback Analysis," A CM Trans. on Programming Languages and Systems 13(4)pp. 491-530 (October 1991).

Digital Library

Google Scholar

[5]

Stuart i. Feldman and Channing B. Brown, "IGOR: A System for Program Debugging via Reversible Execution," Proc. of the SiGPLAN/SiGOPS Workshop on Parallel and Distributed Debugging, Madison, Wi, (May 1988).

Digital Library

Google Scholar

[6]

James R. Larus, "Abstract Execution: A Technique for Efficiently Tracing Programs," Software Practice and Experience 20(12) pp. 1241-1258 (December 1990).

Digital Library

Google Scholar

[7]

James R. Larus, "Efficient Program Tracing," IEEE Computer 26(5) pp. 52-61 (May 1993).

Digital Library

Google Scholar

[8]

Kai Li and W. K. Fuchs, "Compiler Assisted Static Checkpoint Insertion," Proc. of Fault Tolerant Computing Systems, (1992).

Google Scholar

[9]

j.M. MeUor-Crummey and T. J. LeBlanc, "A Software Instruction Counter," Proc. of the Third ASP- LOS, (April, 1989).

Digital Library

Google Scholar

[10]

Barton P. Miller and Jong-Deok Choi, "A Mechanism for Efficient Debugging of Parallel Programs," SIGPLAN Conf. on Programming Language Design and implementation, pp. 135-144 Atlanta, GA, (June 1988).

Digital Library

Google Scholar

[11]

James S. Plank and Kai Li, "Faster Checkpointing with N+i Parity," Tech Report CS-93-219, Univ. of Tennessee, (Dec 1993).

Digital Library

Google Scholar

[12]

Steven P. Reiss, "Trace-Based Debugging," AADE- BUG '93, Linkoping, Sweden, (May 1993).

Digital Library

Google Scholar

[13]

Robert Wahbe, Steven Lucco, and Susan L. Graham, "Practical Data Breakpoints: Design and Implementation," SIG?LAN'93 Conference on Programming Language Design and Implementation, pp. 1-12 Albuquerque, NM, (June 1993).

Digital Library

Google Scholar

[14]

Paul R. Wilson and Thomas G. Moher, "Demonic Memory for Process Histories," Proc. of the SIG- PLAN '89 ?LDI Conf., pp. 330-343 (June 1989).

Digital Library

Google Scholar

Cited By

View all

Hammoudi MAlakeel ABurg BBae GRothermel G(2018)RETRACTED ARTICLEEmpirical Software Engineering10.1007/s10664-017-9519-z23:6(3821-3821)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s10664-017-9519-z
Hammoudi MBurg BBae GRothermel GDi Nitto EHarman MHeymans P(2015)On the use of delta debugging to reduce recordings and facilitate debugging of web applicationsProceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering10.1145/2786805.2786846(333-344)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2786805.2786846
Kusano MWang CCrnkovic IChechik MGrünbacher P(2014)Assertion guided abstractionProceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering10.1145/2642937.2642998(175-186)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2642937.2642998
Show More Cited By

Index Terms

Optimal tracing and incremental reexecution for debugging long-running programs
1. Computer systems organization
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Traceability
      2. Software defect analysis
        Software testing and debugging

Recommendations

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction
ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis

Debugging long running multithreaded programs is a very challenging problem when using tracing-based analyses. Since such programs are non-deterministic, reproducing the bug is non-trivial and generating and inspecting traces for long running programs ...
Optimal tracing and incremental reexecution for debugging long-running programs

Comments

Information & Contributors

Information

Published In

PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

August 1994

360 pages

ISBN:089791662X

DOI:10.1145/178243

Chairmen:
Vivek Sarkar
IBM Santa Teresa Lab.
,
Barbara Ryder
Rutgers Univ., New Brunswick, NJ
,
Mary Lou Soffa
Univ. of Pittsburgh, Pittsburgh, PA

ACM SIGPLAN Notices Volume 29, Issue 6
June 1994
360 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/773473
Guest Editor:
Brent T. Hailpern
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 June 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PLDI94

Sponsor:

SIGPLAN

PLDI94: ACM SIGPLAN Conference on Programming Language Design and Implementation

June 20 - 24, 1994

Florida, Orlando, USA

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

42
Total Citations
View Citations
691
Total Downloads

Downloads (Last 12 months)91
Downloads (Last 6 weeks)19

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hammoudi MAlakeel ABurg BBae GRothermel G(2018)RETRACTED ARTICLEEmpirical Software Engineering10.1007/s10664-017-9519-z23:6(3821-3821)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s10664-017-9519-z
Hammoudi MBurg BBae GRothermel GDi Nitto EHarman MHeymans P(2015)On the use of delta debugging to reduce recordings and facilitate debugging of web applicationsProceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering10.1145/2786805.2786846(333-344)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2786805.2786846
Kusano MWang CCrnkovic IChechik MGrünbacher P(2014)Assertion guided abstractionProceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering10.1145/2642937.2642998(175-186)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2642937.2642998
Lee KKim DZhang X(2014)Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple CoresProceedings of the 28th European Conference on ECOOP 2014 --- Object-Oriented Programming - Volume 858610.1007/978-3-662-44202-9_10(232-256)Online publication date: 1-Aug-2014
https://dl.acm.org/doi/10.1007/978-3-662-44202-9_10
Cheung ASolar-Lezama AMadden SGyimóthy TZeller A(2011)Partial replay of long-running applicationsProceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering10.1145/2025113.2025135(135-145)Online publication date: 5-Sep-2011
https://dl.acm.org/doi/10.1145/2025113.2025135
Thomas JFischmeister SKumar D(2011)Lowering overhead in sampling-based execution monitoring and tracingACM SIGPLAN Notices10.1145/2016603.196769246:5(101-110)Online publication date: 11-Apr-2011
https://dl.acm.org/doi/10.1145/2016603.1967692
Subhraveti DNieh J(2011)Record and transplayACM SIGMETRICS Performance Evaluation Review10.1145/2007116.200712939:1(109-120)Online publication date: 7-Jun-2011
https://dl.acm.org/doi/10.1145/2007116.2007129
Subhraveti DNieh JMerchant AKeeton KRubenstein D(2011)Record and transplayProceedings of the ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems10.1145/1993744.1993757(109-120)Online publication date: 7-Jun-2011
https://dl.acm.org/doi/10.1145/1993744.1993757
Lee KZheng YSumner NZhang XHall MPadua D(2011)Toward generating reducible replay logsProceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/1993498.1993528(246-257)Online publication date: 4-Jun-2011
https://dl.acm.org/doi/10.1145/1993498.1993528
Lee KZheng YSumner NZhang X(2011)Toward generating reducible replay logsACM SIGPLAN Notices10.1145/1993316.199352846:6(246-257)Online publication date: 4-Jun-2011
https://dl.acm.org/doi/10.1145/1993316.1993528
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

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction

Optimal tracing and incremental reexecution for debugging long-running programs