Title :
Strong and weak virtual synchrony in Horus
Author :
Friedman, Roy ; Van Renesse, Robbert
Author_Institution :
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
Abstract :
This paper presents two variants of virtual synchrony, which are supported by Horus. The first variant, called strong virtual synchrony, includes the property that every message is delivered within the view in which it is sent. This property is very useful in developing applications, since it helps in minimizing the amount of context information that needs to be sent on messages, and the amount of computation which is required in order to process a message. However, it is shown that in order to support this property, the application program has to block messages during view changes. An alternative definition, called weak virtual synchrony, which can be implemented without blocking messages, is then presented. This definition still guarantees that messages will be delivered within the view in which they were sent, only that it uses a slightly weaker notion of what the view in which a message was sent is. An implementation of weak virtual synchrony that does not block messages during view changes as also developed in this paper
Keywords :
communication complexity; Horus; application program; context information; strong virtual synchrony; weak virtual synchrony; Communication networks; Computer crashes; Computer science; Intersymbol interference; Telecommunication network reliability;
Conference_Titel :
Reliable Distributed Systems, 1996. Proceedings., 15th Symposium on
Conference_Location :
Nigara-on-the-Lake, Ont.
Print_ISBN :
0-8186-7481-4
DOI :
10.1109/RELDIS.1996.559711