Optimal record and replay for debugging of nondeterministic MPI/PVM programs

The record-and-replay technique proved to be an effective solution to the cyclic debugging of nondeterministic parallel programs. Because of its nondeterminism, a parallel program given the same inputs on successive runs can sometimes produce different results. In this paper, an optimal record-and-replay technique is presented which produces less overhead in time and space by using the "non-overtaking rule" provided by MPI and PVM.