Lightweight Memory Checkpointing
Xen and the art of virtualization