TY - JOUR
T1 - Hierarchical composition of self-stabilizing protocols preserving the fault-containment property
AU - Yamauchi, Yukiko
AU - Kamei, Sayaka
AU - Ooshita, Fukuhito
AU - Katayama, Yoshiaki
AU - Kakugawa, Hirotsugu
AU - Masuzawa, Toshimitsu
PY - 2009
Y1 - 2009
N2 - A desired property of large distributed systems is self adaptability against the faults that occur more frequently as the size of the distributed system grows. Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing selfstabilizing protocols promise not only self-stabilization but also containment of faults (quick recovery and small effect) against small number of faults. However, existing composition techniques for self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing self-stabilizing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that provides a composition of multiple fault-containing selfstabilizing protocols while preserving the fault-containment property of the source protocols.
AB - A desired property of large distributed systems is self adaptability against the faults that occur more frequently as the size of the distributed system grows. Self-stabilizing protocols provide autonomous recovery from finite number of transient faults. Fault-containing selfstabilizing protocols promise not only self-stabilization but also containment of faults (quick recovery and small effect) against small number of faults. However, existing composition techniques for self-stabilizing protocols (e.g. fair composition) cannot preserve the fault-containment property when composing fault-containing self-stabilizing protocols. In this paper, we present Recovery Waiting Fault-containing Composition (RWFC) framework that provides a composition of multiple fault-containing selfstabilizing protocols while preserving the fault-containment property of the source protocols.
UR - http://www.scopus.com/inward/record.url?scp=77950331208&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77950331208&partnerID=8YFLogxK
U2 - 10.1587/transinf.E92.D.451
DO - 10.1587/transinf.E92.D.451
M3 - Article
AN - SCOPUS:77950331208
SN - 0916-8532
VL - E92-D
SP - 451
EP - 459
JO - IEICE Transactions on Information and Systems
JF - IEICE Transactions on Information and Systems
IS - 3
ER -