Gracefully degrading consensus and k-set agreement in directed dynamic networks

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

17 Scopus Citations
View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Pages (from-to)41-77
Journal / PublicationTheoretical Computer Science
Volume726
Online published6 Mar 2018
Publication statusPublished - 23 May 2018
Externally publishedYes

Link(s)

Abstract

We study distributed agreement in synchronous directed dynamic networks, where an omniscient message adversary controls the presence/absence of communication links. We prove that consensus is impossible under a message adversary that guarantees weak connectivity only, and introduce eventually vertex-stable source components (VSSCs) as a means for circumventing this impossibility: A VSSC(k,d) message adversary guarantees that, eventually, there is an interval of d consecutive rounds where every communication graph contains at most k strongly connected components consisting of the same processes (with possibly varying interconnect topology), which have no incoming links from outside processes. We present a consensus algorithm that works correctly under a VSSC(1, 4+ 2) message adversary, where E is the dynamic network depth. Our algorithm maintains local estimates of the communication graphs, and applies techniques for detecting network stability and univalent system configurations. Several related impossibility results and lower bounds, in particular, that neither a VSSC(1, − 1) message adversary nor a VSSC(2, ∞) one allow to solve consensus, reveal that there is not much hope to deal with (much) stronger message adversaries here. 
However, we show that gracefully degrading consensus, which degrades to general k-set agreement in case of unfavorable network conditions, allows to cope with stronger message adversaries: We provide a k-universal k-set agreement algorithm, where the number of system-wide decision values k is not encoded in the algorithm, but rather determined by the actual power of the message adversary in a run: Our algorithm guarantees at most k decision values under a VSSC(nd)+MAJINF(k) message adversary, which combines VSSC(nd) (with some small value of d, ensuring termination) with some information flow guarantee MAJINF(k) between certain VSSCs (ensuring k-agreement). Since related impossibility results reveal that a VSSC(k, d) message adversary is too strong for solving k-set agreement and that some information flow between VSSCs is mandatory for this purpose as well, our results provide a significant step towards the exact solvability/impossibility border of general k-set agreement in directed dynamic networks. Finally, we relate (the eventually-forever-variants of) our message adversaries to failure detectors. It turns out that even though VSSC(1, ∞) allows to solve consensus and to implement the Ω failure detector, it does not allow to implement Σ. This contrasts the fact that, in asynchronous message-passing systems with a majority of process crashes, (Σ, Ω) is a weakest failure detector for solving consensus. Similarly, although the message adversary VSSC(n, d)+MAJINF(k) allows to solve k-set agreement, it does not allow to implement the failure detector Σk , which is known to be necessary for k-set agreement in asynchronous message-passing systems with a majority of process crashes. Consequently, it is not possible to adapt failure-detector-based algorithms to work in conjunction with our message adversaries.

Research Area(s)

  • Consensus, Directed dynamic networks, Failure detectors, Impossibility results, k-Set agreement, Lower bounds, Message adversaries

Citation Format(s)

Gracefully degrading consensus and k-set agreement in directed dynamic networks. / Biely, Martin; Robinson, Peter; Schmid, Ulrich et al.

In: Theoretical Computer Science, Vol. 726, 23.05.2018, p. 41-77.

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

Download Statistics

No data available