Presents Remus for high-availability VM replication using asynchronous checkpointing. Covers whole-system replication, speculative execution with buffered output, memory synchronization, disk checkpointing, network buffering, failover mechanism, and performance evaluation.
Introduces post-copy VM migration where destination pulls memory pages on-demand after migration. Compares with pre-copy migration. Covers demand paging, active push, prepaging, dynamic self-ballooning, and evaluation showing reduced downtime and total migration time.