Design and Evaluation of FA-MPI A Transactional Fault-Tolerant MPI.