On Characteristics of DEF Communication-Induced Checkpointing Protocols

Authors:
Jichiang Tsai;Jenn-Wei Lin
Affiliations:
-;-
Venue:
PRDC '02 Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing
Year:
2002

Citing 0
Cited 2

On Properties of RDT Communication-Induced Checkpointing Protocols

IEEE Transactions on Parallel and Distributed Systems
Theoretical and experimental evaluation of communication-induced checkpointing protocols in FE and FLazy-E families

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Domino-Effect Freedom (DEF)is a property stating thatunbounded, cascading rollback propagation will not occurduring the process of ?nding a consistent global checkpoint.DEF checkpointing protocols can be classi?ed into two different categories: index-based and model-based. An index-based protocol timestamps local checkpoints with sequencenumbers for achieving consistency,while a model-basedone prohibits the formation of particular checkpoint andcommunication patterns in the execution. In this paper, weexplore several characteristics of communication-inducedcheckpointing protocols with the DEF property. First, wewill demonstrate that there is no optimal on-line scalarDEF protocol, in terms of the number of forced check-points.Then some techniques for comparing protocols areproposed. We will construct some patterns or give formalproofs to compare the performance of both index-based andmodel-based protocols.