Advances in the design and implementation of group communication middleware

Authors:
Daniel Bünzli;Rachele Fuzzati;Sergio Mena;Uwe Nestmann;Olivier Rütti;André Schiper;Paweł T. Wojciechowski
Affiliations:
Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland;Ecole Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
Venue:
Dependable Systems
Year:
2006

Citing 14
Cited 0

Unreliable failure detectors for reliable distributed systems

Journal of the ACM (JACM)
The weakest failure detector for solving consensus

Journal of the ACM (JACM)
Group communication specifications: a comprehensive study

ACM Computing Surveys (CSUR)
Types for Safe Locking

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
A Modular Approach to Fault-Tolerant Broadcasts and Related Problems

A Modular Approach to Fault-Tolerant Broadcasts and Related Problems
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication

IEEE Transactions on Knowledge and Data Engineering
Failure detection and consensus in the crash-recovery model

Distributed Computing
Isolation-only transactions by typing and versioning

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Protocol Composition Frameworks A Header-Driven Model

NCA '05 Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications
A new look at atomic broadcast in the asynchronous crash-recovery model

SRDS '05 Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems
Assessing the Crash-Failure Assumption of Group Communication Protocols

ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
A step towards a new generation of group communication systems

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
On correctness of dynamic protocol update

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Role-Based declarative synchronization for reconfigurable systems

PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within the group. The goal of the project was to improve the state of the art of group communication in several directions: protocol frameworks, group communication stacks, specification, verification and robustness. The paper discusses the results obtained.