Stability of Multi-Valued Continuous Consensus

Multi-valued consensus functions defined from a vector of inputs (and possibly the previous output) to a single output are investigated. The consensus functions are designed to tolerate t faulty inputs. Two classes of multi-valued consensus functions are defined, the exact value and the range value, which require the output to be one of the non-faulty inputs or in the range of the non-faulty inputs, respectively. The instability of consensus functions is examined, counting the maximal number of output changes along a geodesic path of input changes, a path in which each input is changed at most once. Lower and upper bounds for the instability of multi-valued consensus functions are presented. A new technique for obtaining such lower bounds, using edgewise simplex subdivision is presented.

[1]  Paulo Veríssimo,et al.  Real time and dependability concepts , 1993 .

[2]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[3]  Hagit Attiya,et al.  The Combinatorial Structure of Wait-Free Solvable Tasks , 2002, SIAM J. Comput..

[4]  Nathan Linial,et al.  The influence of variables on Boolean functions , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[5]  J. A. Bondy,et al.  Graph Theory with Applications , 1978 .

[6]  Shlomi Dolev,et al.  Stability of long-lived consensus , 2003, J. Comput. Syst. Sci..

[7]  Herbert Edelsbrunner,et al.  Edgewise Subdivision of a Simplex , 2000 .

[8]  Tomás Lang,et al.  Exploiting the locality of memory references to reduce the address bus energy , 1997, Proceedings of 1997 International Symposium on Low Power Electronics and Design.

[9]  Keith Marzullo,et al.  Tolerating failures of continuous-valued sensors , 1990, TOCS.

[10]  J. A. Bondy,et al.  Graph Theory with Applications , 1978 .

[11]  Hagit Attiya,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 1998 .

[12]  Xiaotie Deng,et al.  Optimal Amortized Distributed Consensus , 1995, Inf. Comput..

[13]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[14]  Anantha P. Chandrakasan,et al.  Low Power Digital CMOS Design , 1995 .

[15]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[16]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.