An Efficient Centralized Algorithm Ensuring Consistent Recovery in Causal Message Logging with Independent Checkpointing

JinHo AHN  SungGi MIN  

IEICE TRANSACTIONS on Information and Systems   Vol.E87-D   No.4   pp.1039-1043
Publication Date: 2004/04/01
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Dependable Computing
distributed systems,  fault-tolerance,  message logging,  checkpointing,  consistent recovery,  

Full Text: PDF>>
Buy this Article

Because it has desirable features such as no cascading rollback, fast output commit and asynchronous logging, causal message logging needs a consistent recovery algorithm to tolerate concurrent failures. For this purpose, Elnozahy proposed a centralized recovery algorithm to have two practical benefits, i.e. reducing the number of stable storage accesses and imposing no restriction on the execution of live processes during recovery. However, the algorithm with independent checkpointing may force the system to be in an inconsistent state when processes fail concurrently. In this paper, we identify these inconsistent cases and then present a recovery algorithm to have the two benefits and ensure the system consistency when integrated with any kind of checkpointing protocol. Also, our algorithm requires no additional message compared with Elnozahy's algorithm.