Abstract
Context. The advent of ubiquitous large-scale distributed systems advocates that tolerance to various kinds of faults and hazards must be included from the very early design of such systems. Self-stabilization [1] is a versatile technique that permits forward recovery from any kind of transient fault, while Fault-tolerance [2] is traditionally used to mask the effect of a limited number of permanent faults. The seminal works of [3,4] define FTSS protocols as protocols that are both Fault Tolerant and Self-Stabilizing, i.e. able to tolerate a few crash faults as well as arbitrary initial memory corruption. In [3], some impossibility results in asynchronous systems are presented. In [4], a general transformer is presented for synchronous systems. The transformer of [4] was proved impossible to transpose to asynchronous systems in [5] due to the impossibility of tight synchronization in the FTSS context. It turns out that FTSS possibility results in fully asynchronous systems known to date are restricted to static tasks, i.e. tasks that require eventual convergence to some global fixed point (tasks such as naming or vertex coloring fall in this category).
This work was funded in part by ANR project SHAMAN.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17, 643–644 (1974)
Fischer, M.J., Lynch, N.A., Paterson, M.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374–382 (1985)
Anagnostou, E., Hadzilacos, V.: Tolerating transient and permanent failures (extended abstract). In: WDAG, pp. 174–188 (1993)
Gopal, A.S., Perry, K.J.: Unifying self-stabilization and fault-tolerance (preliminary version). In: PODC, pp. 195–206 (1993)
Beauquier, J., Kekkonen-Moneta, S.: Fault-tolerance and self stabilization: impossibility results and solutions using self-stabilizing failure detectors. Int. J. Systems Science 28, 1177–1187 (1997)
Misra, J.: Phase synchronization. Inf. Process. Lett. 38(2), 101–105 (1991)
Dubois, S., Potop Butucaru, M., Tixeuil, S.: Dynamic FTSS in Asynchronous Systems: the Case of Unison. Research Report arXiv:0904.4615, INRIA (April 2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dubois, S., Potop-Butucaru, M.G., Tixeuil, S. (2009). Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. In: Keidar, I. (eds) Distributed Computing. DISC 2009. Lecture Notes in Computer Science, vol 5805. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04355-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-04355-0_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04354-3
Online ISBN: 978-3-642-04355-0
eBook Packages: Computer ScienceComputer Science (R0)