Checkpoint-based fault-tolerant infrastructure for virtualized service providers