A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach (2002)
Cached
Download Links
| Venue: | SIAM Journal on Computing |
| Citations: | 5 - 2 self |
BibTeX
@ARTICLE{Keidar02avirtually,
author = {Idit Keidar and Roger Khazan},
title = {A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach},
journal = {SIAM Journal on Computing},
year = {2002},
volume = {32},
pages = {78--130}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 Synchrony semantics in a single communication round. The design also employs a scalable WAN-oriented architecture: it e#ectively decouples the main two components of Virtually Synchronous group communication --- group membership and reliable group multicast.
