a ‘ cool ’ way of improving the reliability of hpc machines .
Design, Modeling, and Evaluation of a Scalable Multi-level Checkpointing System