a ‘ cool ’ way of improving the reliability of hpc machines .
System-level fault-tolerance in large-scale parallel machines with buffered coscheduling