@article{Chockler+:2001:GCS,
author = {Gregory V. Chockler and Idit Keidar and Roman Vitenberg},
title = {Group communication specifications: a comprehensive study},
journal = {ACM Computing Surveys (CSUR)},
volume = {33},
number = {4},
year = {2001},
month = dec,
issn = {0360-0300},
pages = {427--469},
doi = {http://doi.acm.org/10.1145/503112.503113},
publisher = {ACM Press},
abstract = {View-oriented group communication is an important and widely used building block for many distributed applications. Much current research has been dedicated to specifying the semantics and services of view-oriented group communication systems (GCSs). However, the guarantees of different GCSs are formulated using varying terminologies and modeling techniques, and the specifications vary in their rigor. This makes it difficult to analyze and compare the different systems. This survey provides a comprehensive set of clear and rigorous specifications, which may be combined to represent the guarantees of most existing GCSs. In the light of these specifications, over 30 published GCS specifications are surveyed. Thus, the specifications serve as a unifying framework for the classification, analysis, and comparison of group communication systems. The survey also discusses over a dozen different applications of group communication systems, shedding light on the usefulness of the presented specifications. This survey is aimed at both system builders and theoretical researchers. The specification framework presented in this article will help builders of group communication systems understand and specify their service semantics; the extensive survey will allow them to compare their service to others. Application builders will find a guide here to the services provided by a large variety of GCSs, which could help them choose the GCS appropriate for their needs. The formal framework may provide a basis for interesting theoretical work, for example, analyzing relative strengths of different properties and the costs of implementing them.}
}
@inproceedings{babaoglu98a,
author = {{\"O}zalp Babao{\u{g}}lu and Renzo Davoli and Alberto Montresor and Roberto Segala},
title = {System Support for Partition-Aware Network Applications},
booktitle = {18th International Conference on Distributed Computing Systems},
pages = {184--191},
year = {1998},
month = may
}
@techreport{babaoglu98,
author = {{\"O}zalp Babao{\u{g}}lu and Renzo Davoli and Alberto Montresor},
type = {Technical Report},
number = {UBLCS-98-1},
title = {Group Communication in Partitionable Systems: Specification and Algorithms},
month = apr,
revision = {May 13, 1999; significant revision of contents},
pages = {41},
year = {1998},
bibdate = {December 22, 1998},
http = {ftp://ftp.cs.unibo.it/pub/techreports/98-01.ps.gz},
abstract = {We give a formal specification and an implementation for a partitionable group communication service in asynchronous distributed systems. Our specification is motivated by the requirements for building ``partition-aware'' applications that can continue operating without blocking in multiple concurrent partitions and reconfigure themselves dynamically when partitions merge. The specified service guarantees liveness and excludes trivial solutions; it constitutes a useful basis for building realistic partition-aware applications; and it is implementable in practical asynchronous distributed systems where certain stability conditions hold.},
institution = {University of Bologna (Italy). Department of Computer Science.},
copyright = {Department of Computer Science, University of Bologna, Italy. All rights reserved.}
}
@article{babaoglu01,
author = {{\"O}zalp Babao{\u{g}}lu and Renzo Davoli and Alberto Montresor},
title = {Group communication in partitionable systems: specification and algorithms},
journal = {IEEE Transactions on Software Engineering},
volume = {27},
number = {4},
year = {2001},
issn = {0098-5589},
pages = {308--336},
note = {Revision of \cite{babaoglu98}},
doi = {http://dx.doi.org/10.1109/32.917522},
publisher = {IEEE Press},
abstract = {We give a formal specification and an implementation for a partionable group communication service in asynchronous distributed systems. Our specification is motivated by the requirements for building ``partition-aware'' applications that can continue operating without blocking in multiple concurrent partitions and reconfigure themselves dynamically when partitions merge. The specified service is sound in the sense that it guarantees liveness, excludes trivial solutions and is implementable in practical asynchronous distributed systems where certain stability conditions hold. }
}
@techreport{Anceaume95,
annote = {CORNELLCS//TR95-1534},
pages = {13},
year = {1995},
type = {Technical Report},
number = {TR95-1534},
title = {On the Formal Specification of Group Membership Services},
author = {Emmanuelle Anceaume and Bernadette Charron-Bost and Pascale Minet and Sam Toueg},
institution = {Cornell University, Computer Science Department},
month = aug # { 25,},
abstract = {The problem of group membership has been the focus of much theoretical and experimental work on fault-tolerant distributed systems. This has resulted in a voluminous literature and several formal specifications of this problem have been given. In this paper, we examine the two most referenced formal specifications of group membership and show that they are unsatisfactory: One has flaws in the formalism and allows undesirable executions, and the other can be satisfied by useless protocols.}
}
@article{birman:93,
author = {Kenneth P. Birman},
title = {The process group approach to reliable distributed computing},
journal = {Communications of the ACM},
year = {1993},
volume = {36},
number = {12},
pages = {37--53},
issn = {0001-0782},
month = dec,
doi = {http://doi.acm.org/10.1145/163298.163303},
publisher = {ACM Press}
}
@inproceedings{Chandra:1996:IGM,
author = {Tushar Deepak Chandra and Vassos Hadzilacos and Sam Toueg and Bernadette Charron-Bost},
title = {On the impossibility of group membership},
booktitle = {15th annual ACM Symposium on Principles of Distributed Computing},
year = {1996},
month = may,
isbn = {0-89791-800-2},
pages = {322--330},
location = {Philadelphia, Pennsylvania, United States},
doi = {http://doi.acm.org/10.1145/248052.248120},
publisher = {ACM Press},
optnote = {Also published as Technical Report TR95-1548, Cornell University.}
}
@misc{ensemble,
key = {Ensemble},
title = {THE {E}NSEMBLE {D}ISTRIBUTED {C}OMMUNICATION {S}YSTEM},
howpublished = {Web page},
note = {Department of Computer Science, Cornell University, \url{http://www.cs.cornell.edu/Info/Projects/Ensemble/}}
}
@inproceedings{icdcs95*296,
author = {Paul D. Ezhilchelvan and Raimundo A. Mac{\^e}do and Santosh K. Shrivastava},
title = {Newtop: {A} Fault-Tolerant Group Communication Protocol},
pages = {296--306},
isbn = {0-8186-7025-8},
booktitle = {15th International Conference on Distributed Computing Systems ({ICDCS}'95)},
month = may,
year = {1995}
}
@inproceedings{Henzinger:1991:TPM,
author = {Tom Henzinger and Zohar Manna and Amir Pnueli},
title = {Temporal proof methodologies for real-time systems},
booktitle = {Proceedings of the eighteenth annual ACM symposium on Principles of programming languages},
year = {1991},
isbn = {0-89791-419-8},
pages = {353--366},
location = {Orlando, Florida, United States},
doi = {http://doi.acm.org/10.1145/99583.99629},
publisher = {ACM Press}
}
@misc{jgroup,
key = {Jgroup},
title = {The {J}group {P}roject},
howpublished = {Web page},
note = {Department of Computer Science, University of Bologna, \url{http://www.cs.unibo.it/projects/jgroup/}}
}
@techreport{Keidar99,
pages = {24},
year = {1999},
type = {Technical Report},
number = {CS1999-0623},
institution = {University of California, San Diego, Computer Science and Engineering},
title = {A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in {WAN}s},
bibdate = {July 7, 1999},
author = {Idit Keidar and Jeremy Sussman and Keith Marzullo and Danny Dolev},
abstract = {We describe a novel scalable group membership algorithm designed for wide area networks (WANs). Our membership service does not evolve from existing LAN-oriented membership services; it was designed explicitly for WANs. Our algorithm provides agreement on membership in a single message round in most cases, yielding a low message overhead. It avoids flooding the network and uses a scalable failure detection service designed for WANs. Furthermore, our algorithm avoids notifying the application of obsolete membership views when the network is unstable, and yet it converges when the network stabilizes. In contrast to most group membership services, we separate membership maintenance from reliable communication in multicast groups: membership is not maintained by every process, but only by dedicated servers. The membership servers are not involved in the communication among the members of the groups. This design makes our membership service scalable in the number of groups supported, in the number of members in each group, and in the topology spanned by each group. Our service is complemented by a virtually synchronous communication service which provides clients with full virtual synchrony semantics.},
month = jul
}
@book{MannaPnueli92,
author = {Zohar Manna and Amir Pnueli},
publisher = {Springer},
title = {The Temporal Logic of Reactive and Concurrent Systems},
isbn = {0-387-97664-7},
year = {1992}
}
@phdthesis{montresor00,
author = {Alberto Montresor},
title = {System Support for Programming Object-Oriented Dependable Applications in Partitionable Systems},
school = {University of Bologna, Italy},
year = {2000},
month = mar,
note = {Technical Report UBLCS-2000-10}
}
@misc{transis,
key = {Transis},
title = {The {T}ransis {P}roject {H}ome {P}age},
howpublished = {Web page},
note = {Computer Science Department, The Hebrew University of Jerusalem, \url{http://www.cs.huji.ac.il/~transis/}}
}
This file was generated by bibtex2html 1.96.