Design and analysis of an integrated checkpointing and recovery scheme fordistributed applications

An integrated checkpointing and recovery scheme which exploits the low late ncy and high coverage characteristics of a concurrent error detection schem e is presented. Message dependency which is the main source of multistep ro llback in distributed systems is minimized by using a new message validatio n technique derived from the notion of concurrent error detection. The conc ept of a new global state matrix is introduced to track error checking and message dependency in a distributed system and assist in the recovery. The analytical model, algorithms, and data structures to support an easy implem entation of the new scheme are presented. The completeness and correctness of the algorithms are proved. A number of scenarios and illustrations that give the details of the analytical model are presented. The benefits of the integrated checkpointing scheme are quantified by means of simulation usin g an object-oriented test framework.