virtual machine migration and checkpointing system