Interacting with dead objects

Authors:
Robin Salkeld;Gregor Kiczales
Affiliations:
University of British Columbia, Vancouver, Canada;University of British Columbia, Vancouver, Canada
Venue:
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Year:
2013

Citing 15
Cited 0

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Eager Class Initialization for Java

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Pluggable reflection: decoupling meta-interface and implementation

Proceedings of the 25th International Conference on Software Engineering
Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mirrors: design principles for meta-level facilities of object-oriented programming languages

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Eclipse 3.0 platform: adopting OSGi technology

IBM Systems Journal
The Jikes research virtual machine project: building an open-source research community

IBM Systems Journal
Efficient checkpointing of java software using context-sensitive capture and replay

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Mirages: behavioral intercession in a mirror-based architecture

Proceedings of the 2007 symposium on Dynamic languages
Diagnosing memory leaks using graph mining on heap dumps

Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
LEAP: lightweight deterministic multi-processor replay of concurrent java programs

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
ORDER: object centric deterministic replay for Java

USENIXATC'11 Proceedings of the 2011 USENIX conference on USENIX annual technical conference
Summarized trace indexing and querying for scalable back-in-time debugging

Proceedings of the 25th European conference on Object-oriented programming
Virtual values for language extension

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Debugging and analyzing a snapshot of a crashed program's memory is far more difficult than working with a live program, because debuggers can no longer execute code to help make sense of the program state. We present an architecture that supports the restricted execution of ordinary code starting from the snapshot, as if the dead objects within it had been restored, but without access to their original external environment. We demonstrate the feasibility of this approach via an implementation for Java that does not require a custom virtual machine, show that it performs competitively with live execution, and use it to diagnose an unresolved memory leak in a mature mainstream application.