Lightweight snapshots and system-level backtracking

Authors:
Edouard Bugnion;Vitaly Chipounov;George Candea
Affiliations:
School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne, Switzerland;School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne, Switzerland;School of Computer and Communication Sciences, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Venue:
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Year:
2013

Citing 19
Cited 0

XSB as a deductive database

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Exokernel: an operating system architecture for application-level resource management

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Disco: running commodity operating systems on scalable multiprocessors

ACM Transactions on Computer Systems (TOCS)
Intel Virtualization Technology

Computer
QEMU, a fast and portable dynamic translator

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Libckpt: transparent checkpointing under Unix

TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Accelerating two-dimensional page walks for virtualized systems

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Wedge: splitting applications into reduced-privilege compartments

NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
Scala Actors: Unifying thread-based and event-based programming

Theoretical Computer Science
Reverse engineering of binary device drivers with RevNIC

Proceedings of the 5th European conference on Computer systems
Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Testing closed-source binary device drivers with DDT

USENIXATC'10 Proceedings of the 2010 USENIX conference on USENIX annual technical conference
S2E: a platform for in-vivo multi-path analysis of software systems

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Scalable Symbolic Execution of Distributed Systems

ICDCS '11 Proceedings of the 2011 31st International Conference on Distributed Computing Systems
Scalable testing of file system checkers

Proceedings of the 7th ACM european conference on Computer Systems
SymDrive: testing drivers without devices

OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Dune: safe user-level access to privileged CPU features

OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Integration testing of protocol implementations using symbolic distributed execution

ICNP '12 Proceedings of the 2012 20th IEEE International Conference on Network Protocols (ICNP)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a new system-level abstraction, the lightweight immutable execution snapshot, which combines the immutable characteristics of checkpoints with the direct integration into the virtual memory subsystem of standard mutable address spaces. The abstraction can give arbitrary x86 programs and libraries system-level support for backtracking (akin to logic programming) and the ability to manipulate an entire address space as an immutable data structure (akin to functional programming). Our proposed implementation leverages modern x86 hardware-virtualization support.