Orphan-Free Consistent Condition for Log-Based Checkpointing and Rollback Recovery Scheme

Zhenpeng Xu, Zhenxing Yin and Lili Wang
Additional contact information
Zhenpeng Xu: Jiangsu Automation Research Institute, Lianyungang, China
Zhenxing Yin: Jiangsu Automation Research Institute, Lianyungang, China
Lili Wang: Jiangsu Automation Research Institute, Lianyungang, China

International Journal of Advanced Pervasive and Ubiquitous Computing (IJAPUC), 2013, vol. 5, issue 3, 1-13

Abstract: The fundamental goal of the log-based fault-tolerant scheme is to bring the system into a consistent global state without any orphan inconsistence. However, the existing Alvisi’s No-Orphans Consistency Condition is only sufficient on condition that the set of local checkpoints of failure processes keep consistent always. Independent of the specific log-based checkpointing and rollback-recovery fault tolerant scheme, an extended orphan-free consistency condition is derived based on PWD assumption in this paper. The definitions of the orphan inconsistence among the process state and the nondeterministic event during a rollback recovery were extended. Finally the essential requirement for message logs was specified to eliminate the possible orphan inconsistence among the process state during a rollback recovery. By contrast, the proposal is a practical and efficient constraint for the orphan-free recovery.

Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/ijapuc.2013070101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:japuc0:v:5:y:2013:i:3:p:1-13

Access Statistics for this article

International Journal of Advanced Pervasive and Ubiquitous Computing (IJAPUC) is currently edited by Tao Gao

More articles in International Journal of Advanced Pervasive and Ubiquitous Computing (IJAPUC) from IGI Global
Bibliographic data for series maintained by Journal Editor ().