Abstract
It is an interesting question whether one can device highly fault tolerant distributed protocols that tolerate both processor failures as well as transient memory errors. To answer this question we consider self-stabilizing wait-free shared memory objects. In this paper we propose a general definition of a self-stabilizing wait-free shared memory object that expresses safety guarantees even in the face of processor failures. We prove that within this framework one cannot construct a self-stabilizing single-reader single-writer regular bit from single-reader single-writer safe bits. This impossibility result leads us to postulate a self-stabilizing dual-reader single-writer safe bit as the minimal object needed to achieve selfstabilizing wait-free interprocess communication and synchronization.
Based on this model, adaptations of well known wait-free constructions of regular and atomic shared registers are proven to be self-stabilizing.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Research partially supported by the Dutch foundation for scientific research (NWO) through NFI Proj. ALADDIN (contr. # NF 62-376) and a NUFFIC Fellowship, and by the EC ESPRIT II BRA Proj. ALCOM II (contr. # 7141).
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Afek, Y., Greenberg, D., Merritt, M., and Taubenfeld, G. Computing with faulty shared memory. In 11th PODC (Vancouver, BC, Canada, 1992), ACM Press, pp. 47–58.
Afek, Y., Kutten, S., and Yung, M. Memory-efficient self stabilizing protocols for general graphs. In 4th WDAG (Bari, Italy, 1990), LNCS 486, Springer Verlag, pp. 15–28.
Afek, Y., Merritt, M., and Taubenfeld, G. Benign failure models for shared memory. In 7th WDAG (Lausanne, Switzerland, 1993), LNCS 725, Springer Verlag, pp. 69–83.
Anagnostou, E., and Hadzilacos, V. Tolerating transient and permanent failures. In 7th WDAG (Lausanne, Switzerland, 1993), LNCS 725, Springer Verlag, pp. 174–188.
Aspnes, J., and Herlihy, M. P. Wait-free data structures in the asynchronous PRAM model. In 2nd SPAA (Crete, Greece, 1990), ACM Press, pp. 340–349.
Awerbuch, B., Kirousis, L. M., Kranakis, E., and Vitányi, P. M. B. A proof technique for register atomicity. In 8th FST&TCS (Pune, India, 1988), LNCS 338, Springer Verlag, pp. 286–303.
Awerbuch, B., Kutten, S., Mansour, Y., Patt-Shamir, B., and Varghese, G. Time optimal self-stabilizing synchronization. In 25th STOC (San Diego, CA, USA, 1993), ACM Press, pp. 652–661.
Brown, G. M., Gouda, M. G., and Wu, C. L. Token systems that self-stabilize. IEEE Trans. on Comput.38, 6 (1989), 845–852.
Burns, J. E., and Pachl, J. Uniform self-stabilizing rings. ACM Trans. Prog. Lang. & Syst.11, 2 (1989), 330–344.
Dijkstra, E. W. Self-stabilizing systems in spite of distributed control. Comm. ACM17, 11 (1974), 643–644.
Dolev, S., Israeli, A., and Moran, S. Self-stabilization of dynamic systems assuming only read/write atomicity. Distr. Comput.7, 1 (1993), 3–16.
Dolev, S., and Welch, J. L. Wait-free clock synchronization. In 12th PODC (Ithaca, NY, USA, 1993), ACM Press, pp. 97–108.
Gopal, A. S., and Perry, K. J. Unifying self-stabilization and fault-tolerance. In 12th PODC (Ithaca, NY, USA, 1993), pp. 195–206.
Herlihy, M. P. Wait-free synchronization. ACM Trans. Prog. Lang. & Syst.13, 1 (1991), 124–149.
Hoepman, J.-H. Uniform deterministic self-stabilizing ring-orientation on odd-length rings. In 8th WDAG (Terschelling, The Netherlands, 1994), LNCS 857, Springer Verlag, pp. 265–279.
Israeli, A., and Jalfon, M. Uniform self-stabilizing ring orientation. Inf. & Comput.104, 2 (1993), 175–196.
Israeli, A., and Shaham, A. Optimal multi-writer multi-reader atomic register. In 11th PODC (Vancouver, BC, Canada, 1992), ACM Press, pp. 71–82.
Jayanti, P., Chandra, T., and Toueg, S. Fault-tolerant wait-free shared objects. In 33rd FOCS (Pittsburgh, Penn., USA, 1992), IEEE Comp. Soc. Press, pp. 157–166.
Katz, S., and Perry, K. J. Self-stabilizing extensions for message-passing systems. In 9th PODC (Quebec City, Quebec, Canada, 1990), ACM, ACM Press, pp. 91–101.
Lamport, L. On interprocess communication. Part I: Basic formalism, part II: Algorithms. Distr. Comput.1, 2 (1986), 77–101.
Li, M., Tromp, J., and Vitányi, P. M. B. How to share concurrent wait-free variables. Tech. Rep. CS-R8916, CWI, Amsterdam, 1989.
Li, M., and Vitányi, P. M. B. Optimality of wait-free atomic multiwriter variables. Tech. Rep. CS-R9128, CWI, Amsterdam, The Netherlands, 1991.
Papatriantafilou, M., and Tsigas, P. Wait-free self-stabilizing clock synchronization. In 4th SWAT (Arhus, Denmark, 1994), LNCS 824, Springer Verlag, pp. 267–277.
Peterson, G. L., and Burns, J. E. Concurrent reading while writing ii: The multi-writer case. In 28th FOCS (Los Angeles, CA, USA, 1987), IEEE Comp. Soc. Press, pp. 383–392.
Schneider, M. Self-stabilization. ACM Comput. Surv.25, 1 (1993), 45–67.
Tel, G. Introduction to Distributed Algorithms. Cambridge University Press, 1994.
Vitányi, P. M. B., and Awerbuch, B. Atomic shared register access by asynchronous hardware. In 27th FOCS (Toronto, Ont., Canada, 1986), IEEE Comp. Soc. Press, pp. 233–243.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoepman, J.H., Papatriantafilou, M., Tsigas, P. (1995). Self-stabilization of wait-free shared memory objects. In: Hélary, JM., Raynal, M. (eds) Distributed Algorithms. WDAG 1995. Lecture Notes in Computer Science, vol 972. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022153
Download citation
DOI: https://doi.org/10.1007/BFb0022153
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60274-3
Online ISBN: 978-3-540-44783-2
eBook Packages: Springer Book Archive