Consensus service: a modular approach for building agreement protocols in distributed systems
- 23 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 168-177
- https://doi.org/10.1109/ftcs.1996.534604
Abstract
We describe a consensus service and suggest its use for the construction of fault-tolerant agreement protocols. We show how to build agreement protocols, using a classical client-server interaction, where: the clients are the processes that must solve the agreement problem; and the servers implement the consensus service. Using a generic notion, called consensus filter, we illustrate our approach on non-blocking atomic commitment and on view synchronous multicast. The approach can trivially be used for total order broadcast. In addition of its modularity, our approach enables efficient implementations of the protocols, and precise characterization of their liveness.Keywords
This publication has 11 references indexed in Scilit:
- Uniform reliable multicast in a virtually synchronous environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Early delivery totally ordered multicast in asynchronous environmentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Extended virtual synchronyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Newtop: a fault-tolerant group communication protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Transaction model vs virtual synchrony model: bridging the gapPublished by Springer Nature ,1995
- The many faces of consensus in distributed systemsComputer, 1992
- Lightweight causal and atomic group multicastACM Transactions on Computer Systems, 1991
- Using process groups to implement failure detection in asynchronous environmentsPublished by Association for Computing Machinery (ACM) ,1991
- Impossibility of distributed consensus with one faulty processJournal of the ACM, 1985
- Nonblocking commit protocolsPublished by Association for Computing Machinery (ACM) ,1981