Checkpointing
Uniprocessor Checkpointing for Multiple Instructions
Domino Effect Animation for Distributed Checkpointing System