article

Free access

Reverse execution of programs

Authors:

Bitan Biswas,

R. MallAuthors Info & Claims

ACM SIGPLAN Notices, Volume 34, Issue 4

Pages 61 - 69

https://doi.org/10.1145/312009.312079

Published: 01 April 1999 Publication History

PDF eReader

Abstract

Conventional debuggers do not allow users to go back and examine the program states at statements which have already been executed. In case the user wants to examine the program state at a statement which was executed sometime back, he is forced to restart the entire debugging process. To overcome this problem, we examine the issue of reverse execution of programs. To this end, we introduce the concept of inverse of a statement. We describe our implementation of a debugger which can execute C programs in either forward or backward direction depending upon an option set by the user. Our approach is easily extendible to other programming languages.

Cited By

View all

Jeong DJung MLee YLee BShin IKwon YFedorova ANarayanan DDi Luna GQuerzoni L(2023)Diagnosing Kernel Concurrency Failures with AITIAProceedings of the Eighteenth European Conference on Computer Systems10.1145/3552326.3567486(94-110)Online publication date: 8-May-2023
https://dl.acm.org/doi/10.1145/3552326.3567486
Barros F(2020)Rollback support in hyflow modular modelsProceedings of the Winter Simulation Conference10.5555/3466184.3466302(1039-1050)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466302
Barros F(2020)Rollback Support in Hyflow Modular Models2020 Winter Simulation Conference (WSC)10.1109/WSC48552.2020.9383940(1039-1050)Online publication date: 14-Dec-2020
https://doi.org/10.1109/WSC48552.2020.9383940
Show More Cited By

Index Terms

Reverse execution of programs
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Assembly instruction level reverse execution for debugging

Assembly instruction level reverse execution provides a programmer with the ability to return a program to a previous state in its execution history via execution of a "reverse program." The ability to execute a program in reverse is advantageous for ...
Dynamic Reverse Code Generation for Backward Execution

The need for backward execution in debuggers has been raised a number of times. Backward execution helps a user naturally think backwards and, in turn, easily locate the cause of a bug. Backward execution has been implemented mostly by state-saving or ...
Instruction-level reverse execution for debugging

The ability to execute a program in reverse is advantageous for shortening debug time. This paper presents a reverse execution methodology at the assembly instruction-level with low memory and time overheads. The core idea of this approach is to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 34, Issue 4

April 1999

59 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/312009

Editor:
A. Michael Berman
Rowan Univ., Glassboro, NJ

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1999

Published in SIGPLAN Volume 34, Issue 4

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
1,044
Total Downloads

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

Reflects downloads up to 26 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jeong DJung MLee YLee BShin IKwon YFedorova ANarayanan DDi Luna GQuerzoni L(2023)Diagnosing Kernel Concurrency Failures with AITIAProceedings of the Eighteenth European Conference on Computer Systems10.1145/3552326.3567486(94-110)Online publication date: 8-May-2023
https://dl.acm.org/doi/10.1145/3552326.3567486
Barros F(2020)Rollback support in hyflow modular modelsProceedings of the Winter Simulation Conference10.5555/3466184.3466302(1039-1050)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466302
Barros F(2020)Rollback Support in Hyflow Modular Models2020 Winter Simulation Conference (WSC)10.1109/WSC48552.2020.9383940(1039-1050)Online publication date: 14-Dec-2020
https://doi.org/10.1109/WSC48552.2020.9383940
Mu DDu YXu JXu JXing XMao BLiu P(2019)POMP++: Facilitating Postmortem Program Diagnosis with Value-set AnalysisIEEE Transactions on Software Engineering10.1109/TSE.2019.2939528(1-1)Online publication date: 2019
https://doi.org/10.1109/TSE.2019.2939528
Inafune TMiura STaketa THiranaka Y(2018)Symbolic backward simulation of Java bytecode programProceedings of the 10th International Conference on Computer Modeling and Simulation10.1145/3177457.3177480(140-145)Online publication date: 8-Jan-2018
https://dl.acm.org/doi/10.1145/3177457.3177480
Hoey JUlidowski IYuen S(2017)Reversing Imperative Parallel ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.255.4255(51-66)Online publication date: 31-Aug-2017
https://doi.org/10.4204/EPTCS.255.4
Cingolani DPellegrini AQuaglia F(2017)Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDESACM Transactions on Modeling and Computer Simulation10.1145/307758327:2(1-26)Online publication date: 27-May-2017
https://dl.acm.org/doi/10.1145/3077583
LaPre JGonsiorowski ECarothers CHamilton JRiley GFujimoto R(2014)LORAINProceedings of the 2nd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2601381.2601397(3-14)Online publication date: 18-May-2014
https://dl.acm.org/doi/10.1145/2601381.2601397
Perumalla KPark A(2014)Reverse computation for rollback-based fault tolerance in large parallel systemsCluster Computing10.1007/s10586-013-0277-417:2(303-313)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1007/s10586-013-0277-4
Yi J(2013)A Case for Dynamic Reverse-code Generation to Debug Non-deterministic ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.129.27129(419-428)Online publication date: 19-Sep-2013
https://doi.org/10.4204/EPTCS.129.27
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.

Abstract

Cited By

Index Terms

Recommendations

Assembly instruction level reverse execution for debugging

Dynamic Reverse Code Generation for Backward Execution

Instruction-level reverse execution for debugging

Comments

Information

Published In

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations