Computer software used for recording the progress of a software program in order to facilitate recovery after program failure