Abstract
We identify a rich class of client/server protocols. Each protocol in this class consists of a client and a server that engage in an infinite sequence of sessions. Each session consists of a bounded number of phases. In each even phase, the client sends a bounded number of messages to the server, and in each odd phase, the server sends a bounded number of messages to the client. We discuss a simple method for making each protocol in this class stabilizing. The method consists of three steps: session identification, session abortion, and session restart. The resulting protocols, thanks to their stabilizing properties, possess a high degree of fault tolerance.
Keywords
Download to read the full chapter text
Chapter PDF
References
Arora, A. and Gouda M. G. (1993) Closure and convergence: A foundation of fault-tolerant Computing, IEEE Transactions on Software Engineering, Special Issue on Software Reliability, Vol. 19, No. 3, 1015–1027.
Gouda, M. G. (1995) The triumph and tribulation of system stabilization, Invited paper, Proceedings of the 9th International Workshop on Distributed Algorithms 1995 (WDAG’95), to be published by Springer-Verlag, Sept. 1995.
Gouda, M. G. and Multari, N. (1991) Stabilizing Communication Protocols, IEEE Transactions on Computers, Special Issue on Protocol Engineering, Vol. 40, No. 4, pp. 448–458.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Gouda, M.G. (1996). Stabilizing client/server protocols without the tears. In: Bochmann, G.v., Dssouli, R., Rafiq, O. (eds) Formal Description Techniques VIII. FORTE 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34945-9_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-34945-9_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2958-9
Online ISBN: 978-0-387-34945-9
eBook Packages: Springer Book Archive