Checkpointing vs. Migration for Post-Petascale Machines — arXiv2