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

research-article

Retroactive aspects: programming in the past

Authors:

Geoffrey Lefebvre,

Andrew Warfield,

Gregor KiczalesAuthors Info & Claims

WODA '11: Proceedings of the Ninth International Workshop on Dynamic Analysis

Pages 29 - 34

https://doi.org/10.1145/2002951.2002960

Published: 18 July 2011 Publication History

Abstract

We present a novel approach to the problem of dynamic program analysis: writing analysis code directly into the program source, but evaluating it against a recording of the original program's execution. This approach allows developers to reason about their program in the familiar context of its actual source, and take full advantage of program semantics, data structures, and library functionality for understanding execution. It also gives them the advantage of hindsight, letting them easily analyze unexpected behavior after it has occurred. Our position is that writing offline analysis as retroactive aspects provides a unifying approach that developers will find natural and powerful.

References

[1]

VAssert programming guide, 2008.

[2]

ACC: the AspeCt-oriented c compiler. http://research.msrg.utoronto.ca/ACC, 2009.

[3]

F. Bellard. QEMU, a fast and portable dynamic translator. In USENIX Annual Technical Conference, 2005.

Digital Library

[4]

E. Bodden and K. Havelund. Racer: effective race detection using aspectj. In Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pages 155--166, New York, NY, USA, 2008. ACM. ACM ID: 1390650.

Digital Library

[5]

F. Chen and G. Roşu. Mop: an efficient and generic runtime verification framework. In ACM SIGPLAN Notices, OOPSLA '07, pages 569--588, New York, NY, USA, 2007. ACM. ACM ID: 1297069.

Digital Library

[6]

J. Choi and B. Alpern. DejaVu: Deterministic Java Replay Debugger for Jalapeno Java Virtual Machine. OOPSLA 2000 Companion, 2000.

Digital Library

[7]

J. D. Choi, B. Alpern, T. Ngo, M. Sridharan, and J. Vlissides. A perturbation-free replay platform for cross-optimized multithreaded applications. In Parallel and Distributed Processing Symposium., Proceedings 15th International, 2001.

Digital Library

[8]

J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In USENIX Annual Technical Conference, 2008.

Digital Library

[9]

J. Cook and A. Nusayr. Using AOP for Detailed Runtime Monitoring Instrumentation. In WODA 2008: the sixth international workshop on dynamic analysis.

Digital Library

[10]

L. Damas and R. Milner. Principal type-schemes for functional programs. In Principles of Programming Languages, Albuquerque, New Mexico, 1982.

Digital Library

[11]

G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. ReVirt: enabling intrusion analysis through virtual-machine logging and replay. Operating Systems Design and Implementation, 2002.

Digital Library

[12]

S. F. Goldsmith, R. O'Callahan, and A. Aiken. Relational queries over program traces. In Object-Oriented Programming, Systems, Languages, and Applications, page 402, 2005.

Digital Library

[13]

A. Joshi, S. T. King, G. W. Dunlap, and P. M. Chen. Detecting past and present intrusions through vulnerability-specific predicates. In Proceedings of the twentieth ACM symposium on Operating systems principles, SOSP '05, pages 91--104, New York, NY, USA, 2005. ACM.

Digital Library

[14]

G. Lefebvre, B. Cully, M. J. Feeley, N. C. Hutchinson, and A. Warfield. Tralfamadore: unifying source code and execution experience. In EuroSys, 2009.

Digital Library

[15]

B. Lewis. Debugging backwards in time. In Automated and Analysis-Driven Debugging, 2003.

[16]

C. K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: Building customized program analysis tools with dynamic instrumentation. In Programming Language Design and Implementation, 2005.

Digital Library

[17]

G. Necula, S. McPeak, S. Rahul, and W. Weimer. CIL: intermediate language and tools for analysis and transformation of c programs. In Compiler Construction. 2002.

Digital Library

[18]

T. Ngo and J. Barton. Debugging by remote reflection. In Euro-Par 2000 Parallel Processing, pages 1031--1038, 2000.

Digital Library

[19]

E. B. Nightingale, D. Peek, P. M. Chen, and J. Flinn. Parallelizing security checks on commodity hardware. In Architectural Support for Programming Languages and Operating Systems, 2008.

Digital Library

[20]

A. Orso and B. Kennedy. Selective capture and replay of program executions. In ACM SIGSOFT Software Engineering Notes, volume 30, pages 1--7, New York, NY, USA, May 2005. ACM. ACM ID: 1083251.

Digital Library

[21]

G. Pothier, É. Tanter, and J. Piquer. Scalable omniscient debugging. ACM SIGPLAN Notices, 42(10), 2007.

Digital Library

[22]

V. Schuppan, M. Baur, and A. Biere. JVM independent replay in java. Electronic Notes in Theoretical Computer Science, 113:85--104, Jan. 2005.

Digital Library

[23]

M. X. Sheldon, G. V. Weissman, and V. M. Inc. Retrace: Collecting execution trace with virtual machine deterministic replay. In Modeling, Benchmarking and Simulation, 2007.

[24]

A. Srivastava and A. Eustace. ATOM: a system for building customized program analysis tools. In Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, pages 196--205, Orlando, Florida, United States, 1994. ACM.

Digital Library

Cited By

Li QKraft PCafarella MDemiralp ÇGraefe GKozyrakis CStonebraker MSuresh LYu XZaharia M(2023)R3: Record-Replay-Retroaction for Database-Backed ApplicationsProceedings of the VLDB Endowment10.14778/3611479.361151016:11(3085-3097)Online publication date: 24-Aug-2023
https://dl.acm.org/doi/10.14778/3611479.3611510
Meißner D(2018)Towards Time Travel in Distributed Event-sourced SystemsProceedings of the 12th ACM International Conference on Distributed and Event-based Systems10.1145/3210284.3219499(266-269)Online publication date: 25-Jun-2018
https://dl.acm.org/doi/10.1145/3210284.3219499
Meißner DErb BKargl FTichy M(2018)Retro-λProceedings of the 12th ACM International Conference on Distributed and Event-based Systems10.1145/3210284.3210285(76-87)Online publication date: 25-Jun-2018
https://dl.acm.org/doi/10.1145/3210284.3210285
Show More Cited By

Index Terms

Retroactive aspects: programming in the past
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

A catalogue of bug patterns for exception handling in aspect-oriented programs
PLoP '08: Proceedings of the 15th Conference on Pattern Languages of Programs

Aspects allow a developer to externally add new functionality to a program. This additional functionality may also throw new exceptions that will flow through the program execution until they are handled. Moreover, aspects can also be used to handle ...
Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach

As aspects extend or replace existing functionality at specific join points in the code, their behavior may raise new exceptions, which can flow through the program execution in unexpected ways. Assuring the reliability of exception handling code in ...
Essential retroactive weaving
MODULARITY Companion 2015: Companion Proceedings of the 14th International Conference on Modularity

To help analyze unexpected behaviour, programming language environments and tools are beginning to support high-fidelity recordings of program executions. Such recordings are typically low-level and difficult to work with directly. Debugging and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

WODA '11: Proceedings of the Ninth International Workshop on Dynamic Analysis

July 2011

44 pages

ISBN:9781450308113

DOI:10.1145/2002951

Conference Chairs:
Leonardo Mariani
University of Milan Bicocca
,
Xiangyu Zhang
Purdue University

Copyright © 2011 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]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 July 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ISSTA '11

Sponsor:

SIGSOFT

ISSTA '11: International Symposium on Software Testing and Analysis

July 18, 2011

Ontario, Toronto, Canada

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
147
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Li QKraft PCafarella MDemiralp ÇGraefe GKozyrakis CStonebraker MSuresh LYu XZaharia M(2023)R3: Record-Replay-Retroaction for Database-Backed ApplicationsProceedings of the VLDB Endowment10.14778/3611479.361151016:11(3085-3097)Online publication date: 24-Aug-2023
https://dl.acm.org/doi/10.14778/3611479.3611510
Meißner D(2018)Towards Time Travel in Distributed Event-sourced SystemsProceedings of the 12th ACM International Conference on Distributed and Event-based Systems10.1145/3210284.3219499(266-269)Online publication date: 25-Jun-2018
https://dl.acm.org/doi/10.1145/3210284.3219499
Meißner DErb BKargl FTichy M(2018)Retro-λProceedings of the 12th ACM International Conference on Distributed and Event-based Systems10.1145/3210284.3210285(76-87)Online publication date: 25-Jun-2018
https://dl.acm.org/doi/10.1145/3210284.3210285
Erb BHabiger GHauck F(2016)On the Potential of Event Sourcing for Retroactive Actor-based ProgrammingFirst Workshop on Programming Models and Languages for Distributed Computing10.1145/2957319.2957378(1-5)Online publication date: 17-Jul-2016
https://dl.acm.org/doi/10.1145/2957319.2957378
Salkeld RGarcia RFrance RGhosh SLeavens G(2015)Essential retroactive weavingCompanion Proceedings of the 14th International Conference on Modularity10.1145/2735386.2736751(52-57)Online publication date: 16-Mar-2015
https://dl.acm.org/doi/10.1145/2735386.2736751

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents