Coordinated checkpoint versus message log for fault tolerant MPI. (6th February 2006)