A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms
نویسندگان
چکیده
This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in asynchronous fault-prone environments. The design employs a client-server architecture in which group membership is maintained not by every process but only by dedicated membership servers, while virtually synchronous group multicast is implemented by service end-points running at the clients. Specifically, the paper defines service semantics for the client-server interface, that is, for the group membership service. The paper then specifies virtually synchronous semantics for the new group multicast service, as a collection of commonly used safety and liveness properties. Finally, the paper presents new algorithms that use the defined group membership service to implement the specified properties. The algorithm that provides the complete virtually synchronous semantics executes in a single message round in parallel with the membership service’s agreement on views, and is therefore more efficient than previously suggested algorithms providing such semantics.
منابع مشابه
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs
This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in asynchronous fault-prone environments. The design employs a clientserver architecture in which group membership is maintained not by every process but only by dedicated membership servers, while virtually synchronous group multicast is implemented by service end-points runnin...
متن کاملA Client-Server Approach to Virtually Synchronous Group Multicast: Speci£cations and Algorithms
This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in asynchronous fault-prone environments. The design employs a client-server architecture in which group membership is maintained not by every process but only by dedicated membership servers, while virtually synchronous group multicast is implemented by service end-points runni...
متن کاملA Client-Server Approach to Virtually Synchronous Group Multicast: Speci cations, Algorithms, and Proofs
This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in asynchronous fault-prone environments. The design employs a clientserver architecture in which group membership is maintained not by every process but only by dedicated membership servers, while virtually synchronous group multicast is implemented by service end-points runnin...
متن کاملA Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach
This paper presents a formal design for a novel group communication service targeted for wide-area networks (WANs). The service provides virtual synchrony semantics. Such semantics facilitate the design of fault tolerant distributed applications. The presented design is more suitable for WANs than previously suggested ones. In particular, it features the first algorithm to achieve virtual synch...
متن کاملDevelopment and Validation of a Multicast Client/server Model for Cooperative Control Sessions
Beyond the unicast client/server model, Internet applications and services are currently exploiting new interaction and communication models such as peer-topeer and multicast. In this paper, we propose the definition and the validation through simulation of a multicast client/server model. The model is suitable for enabling real-time cooperative control sessions within a synchronous group of pe...
متن کامل