Hypervisor-assisted application checkpointing in virtualized environments | Synapse