Please use this identifier to cite or link to this item:
標題: More properties of communication-induced checkpointing protocols with rollback-dependency trackability
作者: Tsai, J.C.
Kuo, S.Y.
Wang, Y.M.
關鍵字: distributed systems
fault tolerance
rollback-dependency trackability
checkpointing protocols
consistent global checkpoints
distributed systems
期刊/報告no:: Journal of Information Science and Engineering, Volume 21, Issue 2, Page(s) 239-257.
摘要: Rollback-Dependency Trackability (RDT) is a property stating that all rollback dependencies between local checkpoints are on-line trackable using a transitive dependency vector. In this paper, we introduce some properties of communication-induced checkpointing protocols possessing the RDT property. First, we demonstrate that wherever an RDT protocol detects a PCM-path in the checkpoint and communication pattern associated with a distributed computation, it can also detect an EPSCM-path there. Moreover, if this detected PCM-path is non-visibly doubled, its corresponding EPSCM-path is also non-visibly doubled. Next, we go on to prove that if an RDT protocol breaks all EPSCM-cycles and non-visibly doubled EPSCM-paths, it breaks all visibly doubled EPSCM-paths as well. From these results, we find that some RDT protocols actually have the same behaviour for all possible patterns. Furthermore, we also construct patterns to show that a few RDT protocols are incomparable in terms of the Dumber of forced checkpoints. Last but not least, we discuss a simulation study to verify our previous theoretical results.
ISSN: 1016-2364
Appears in Collections:電機工程學系所



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.