A survey of fault tolerance mechanisms and checkpoint/restart implementations for high performance computing systems
The design and implementation of Zap: a system for migrating computing environments