Revistiting the Relationship Between Non-Blocking Atomic Commitment and Consensus

This paper discusses the relationship between the Non-Blocking Atomic Commitment problem (NB-AC) and the Consensus problem in asynchronous systems with unreliable failure detectors. We first confirm that NB-AC is harder than Consensus. In contrast to Consensus, NB-AC is impossible to solve with unreliable failure detectors even with a single crash failure. We define a weaker problem than NB-AC, called Non-Blocking Weak Atomic Commitment (NB-WAC), which is sufficient to solve for most practical situations. A fundamental characteristic of NB-WAC is its reducibility to Consensus. The previous results on solving Consensus with unreliable failure detectors apply therefore to NB-WAC. An interesting intermediate result of this reducibility is that Uniform Consensus and Consensus are equivalent problems. We show actually that any algorithm that solves Consensus with unreliable failure detectors also solves Uniform Consensus.

[1]  Danny Dolev,et al.  A Simple Model for Agreement in Distributed Systems , 1986, Fault-Tolerant Distributed Computing.

[2]  Rachid Guerraoui,et al.  Non blocking atomic commitment with an unreliable failure detector , 1995, Proceedings. 14th Symposium on Reliable Distributed Systems.

[3]  André Schiper,et al.  Primary Partition "Virtually-Synchronous Communication" harder than Consensus , 1994, WDAG.

[4]  Ozalp Babaoglu,et al.  Non-blocking atomic commitment , 1993 .

[5]  Dale Skeen,et al.  Nonblocking commit protocols , 1981, SIGMOD '81.

[6]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[7]  Vassos Hadzilacos,et al.  On the Relationship Between the Atomic Commitment and Consensus Problems , 1990, Fault-Tolerant Distributed Computing.

[8]  Jim Gray.  A Comparison of the Byzantine Agreement Problem and the Transaction Commit Problem , 1986, Fault-Tolerant Distributed Computing.

[9]  Keith Marzullo,et al.  Election Vs. Consensus in Asynchronous Systems , 1995 .

[10]  Sam Toueg,et al.  The weakest failure detector for solving consensus , 1992, PODC '92.

[11]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[12]  Rachid Guerraoui,et al.  Transaction Model vs. Virtual Synchrony Model: Bridging the Gap , 1994, Dagstuhl Seminar on Distributed Systems.

[13]  Rachid Guerraoui,et al.  The Decentralized Non-Blocking Atomic Commitment Protocol , 1995, Proceedings.Seventh IEEE Symposium on Parallel and Distributed Processing.