Lightweight Snapshots and System-level Backtracking

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.


Published in:
Proceedings of the 14th Workshop on Hot Topics on Operating Systems
Presented at:
14th Workshop on Hot Topics on Operating Systems, Santa Anna Pueblo, NM, USA, May 13-15, 2013
Year:
2013
Publisher:
USENIX
Keywords:
Laboratories:




 Record created 2013-04-13, last modified 2018-09-13

Preprint:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)