Source author record

Manfred Schwarz

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
4close collaborators

Published work

2 publications

preprint2015arXiv

Fast Consensus under Eventually Stabilizing Message Adversaries

This paper is devoted to deterministic consensus in synchronous dynamic networks with unidirectional links, which are under the control of an omniscient message adversary. Motivated by unpredictable node/system initialization times and long-lasting periods of massive transient faults, we consider message adversaries that guarantee periods of less erratic message loss only eventually: We present a tight bound of 2D+12D+1 for the termination time of consensus under a message adversary that eventually guarantees a single vertex-stable root component with dynamic network diameter DD, as well as a simple algorithm that matches this bound. It effectively halves the termination time 4D+14D+1 achieved by an existing consensus algorithm, which also works under our message adversary. We also introduce a generalized, considerably stronger variant of our message adversary, and show that our new algorithm, unlike the existing one, still works correctly under it.

preprint2015arXiv

Gracefully Degrading Consensus and kk-Set Agreement in Directed Dynamic Networks

We study distributed agreement in synchronous directed dynamic networks, where an omniscient message adversary controls the availability of communication links. We prove that consensus is impossible under a message adversary that guarantees weak connectivity only, and introduce vertex-stable root components (VSRCs) as a means for circumventing this impossibility: A VSRC(k, d) message adversary guarantees that, eventually, there is an interval of dd consecutive rounds where every communication graph contains at most kk strongly (dynamic) connected components consisting of the same processes, which have at most outgoing links to the remaining processes. We present a consensus algorithm that works correctly under a VSRC(1, 4H + 2) message adversary, where HH is the dynamic causal network diameter. On the other hand, we show that consensus is impossible against a VSRC(1, H - 1) or a VSRC(2, ∞\infty) message adversary, revealing that there is not much hope to deal with stronger message adversaries. However, we show that gracefully degrading consensus, which degrades to general kk-set agreement in case of unfavourable network conditions, is feasible against stronger message adversaries: We provide a kk-uniform kk-set agreement algorithm, where the number of system-wide decision values kk 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 kk decision values under a VSRC(n, d) + MAJINF(k) message adversary, which combines VSRC(n, d) (for some small dd, ensuring termination) with some information flow guarantee MAJINF(k) between certain VSRCs (ensuring kk-agreement). Our results provide a significant step towards the exact solvability/impossibility border of general kk-set agreement in directed dynamic networks.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.