Abstract
This paper presents the first algorithm for implementing selfstabilizing group communication services in an asynchronous system. Our algorithm converges rapidly to a legal behavior and is communication adaptive. Namely, the communication volume is high when the system recovers from the occurrence of faults and is low once a legal state is reached. The communication adaptability is achieved by a new technique that combines transient fault detectors.
Dolev’s work was supported by BGU seed grant.
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
Preview
Unable to display preview. Download preview PDF.
References
Y. Afek and G. M. Brown, “Self-stabilization over unreliable communication media,” Distributed Computing, 7:27–34, 1993.
T. Anker, D. Breitgand, D. Dolev, and Z. Levy, “Congress: CONnection-oriented Group-address RES-olution Service” TR CS96-23, Institute of Computer Science, The Hebrew University of Jerusalem, Jerusalem, Israel, December 1996.
G. Alari and A. Ciuffoletti, “Group membership in a synchronous distributed system,” Proc. of the 5th IEEE Symposium on Parallel and Distributed Processing, pp. 490–493, 1993.
Y. Afek, and S. Dolev, “Local Stabilizer,” Proc. of the 5th Israeli Symposium on Theory of Computing and Systems, pp. 74–84, 1997.
A. Arora and S. Kulkarni, “Detectors and correctors: A theory of fault-tolerance components,” International Conference on Distributed Computing Systems, pp. 436–443, 1998.
J. Beauquier, S. Delaet, S. Dolev, and S. Tixeuil, “Transient Fault Detectors” Proc. of the 12th International Symposium on Distributed Computing, Springer-Verlag LNCS:1499, pp. 62–74, 1998.
O. Babaoglu, R. Davoli, L. Giachini and M. Baker, “Relacs: A Communication Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems,” Proc. Hawaii International Conference on Computer and System Science, 1995, vol. II, pp. 612–621.
K.P. Birman and R. van Renesse, Reliable Distributed Computing with the Isis Toolkit, EEE Computer Society Press, Los Alamitos, CA, 1994.
F. Cristian, “Reaching Agreement on Processor GroupMembership in Synchronous Distributed Systems,” Distributed Computing, vol. 4, no. 4, pp. 175–187, April 1991.
T. Chandra, V. Hadzilacos, S. Toueg, and B. Charron-Bost, “On the Impossibility of Group Membership,” Proc. ACM Symposium on Principles of Distributed Computing, pp. 322–330, 1996.
E. W. Dijkstra, “Self-Stabilizing Systems in Spite of Distributed Control,” Communications of the ACM, Vol. 17, No. 11, pp. 643–644, 1974.
S. Dolev, “Self-Stabilizing Routing and Related Protocols,” Journal of Parallel and Distributed Computing, Vol. 42, pp. 122–127, May 1997.
S. Dolev, “Optimal Time Self-Stabilization in Uniform Dynamic Systems,” Parallel Processing Letters, Vol. 8 No. 1, pp. 7–18, 1998
S. Dolev, Self-Stabilization, MIT Press, 2000.
S. Dolev and T. Herman, Superstabilizing protocols for dynamic distributed systems. Chicago Journal of Theoretical Computer Science, 1997.
R. De Prisco, A. Fekete, N. Lynch, and A.A. Shvartsman, “A Dynamic Primary Configuration Group Communication Service,” Proc. of the 13th International Conference on Distributed Computing (DISC), 1999.
D. Dolev and D. Malki, “The Transis Approach to High Availability Cluster Communications”, Comm. of the ACM, vol. 39, no. 4, pp. 64–70, 1996.
Dolev, S., Schiller, E., “Communication Adaptive Self-Stabilizing Group Communication”, Technical Report #00-02 Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel, 2000.
P. Ezhilchelvan, R. Macedo and S. Shrivastava “Newtop: A fault-Tolerant Group Communication Protocol” in Proc. of IEEE International Conference of Distributed Computing Systems, pp. 296–306, 1995.
A. Fekete, N. Lynch and A. Shvartsman, “Specifying and Using a Partitionable Group Communication Service,” Proc. ACM Symposium on Principles of Distributed Computing, pp. 53–62, 1997.
I. Keidar, J. Sussman, K. Marzullo, and D. Dolev “Moshe: A Group Membership Service for WANs”. MIT Technical Memorandum MIT-LCS-TM-593a, revised September 2000.
E. Kushilevitz and N. Nisan Communication Complexity, Cambridge University Press 1998.
L.E. Moser, P.M. Melliar-Smith, D.A. Agarawal, R.K. Budhia and C.A. Lingley-Papadoplous, “Totem: A Fault-Tolerant Multicast Group Communication System”, Comm. of the ACM, vol. 39, no. 4, pp. 54–63, 1996.
G. Neiger, “A new look at membership service”, Proc. of the 15th Annual ACM Symposium on Principles of Distributed Computing, 1996.
R. van Renesse, K. P. Birman and S. Maffeis, “Horus:A Flexible Group Communication System,” Comm. of the ACM, vol. 39, no. 4, pp. 76–83, 1996.
R. van Renesse, K. P. Birman, M. Hayden, A. Vasburd, and D. Karr, “Building adaptive systems using Ensemble,” Software-Practice and Experience, 29(9):963–979, 1998.
R. van Renesse, Y. Minsky, and M. Hayden, “A gossip-style failure detection service”, In Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware’ 98), The Lake District, England, September 1998, pp. 55–70.
A. Segall, “Distributed Networks Protocols”, IEEE Trans. Comm., vol. IT-29, no. 1, pp. 23–35, Jan. 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dolev, S., Schiller, E. (2001). Communication Adaptive Self-Stabilizing Group Membership Service. In: Datta, A.K., Herman, T. (eds) Self-Stabilizing Systems. WSS 2001. Lecture Notes in Computer Science, vol 2194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45438-1_6
Download citation
DOI: https://doi.org/10.1007/3-540-45438-1_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42653-0
Online ISBN: 978-3-540-45438-0
eBook Packages: Springer Book Archive