Theoretical and Experimental Evaluation of Communication-Induced Checkpointing Protocols in FE Family

Communication-induced checkpointing (CIC) protocols can not only bound rollback propagation but also allow each process to take checkpoints independently while at the same time ensure all checkpoints to be useful. In this paper, we present both theoretical and experimental evaluation of protocols in a particular CIC protocol family, called F
_E
family in the literature, and also the F
<sub>E-

Lazy</sub>
family which is the corresponding family obtained by applying ldquolazy indexing strategyrdquo to the F
_E
family.