Lightweight snapshots and system-level backtracking
Edouard Bugnion, Vitaly Chipounov, George Candea · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2013
We propose a new system-level abstraction, the lightweight immutable execution snapshot, which com-bines 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 program-ming). Our proposed implementation leverages modern x86 hardware-virtualization support. 1