A topological treatment of early-deciding set-agreement

Authors:
Rachid Guerraoui;Maurice Herlihy;Bastian Pochon
Affiliations:
School of Computer and Communication Sciences, EPFL, Switzerland;Department of Computer Science, Brown University, United States;School of Computer and Communication Sciences, EPFL, Switzerland
Venue:
Theoretical Computer Science
Year:
2009

Citing 16
Cited 2

Consensus in the presence of partial synchrony

Journal of the ACM (JACM)
Early stopping in Byzantine agreement

Journal of the ACM (JACM)
Generalized FLP impossibility result for t-resilient asynchronous computations

STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
More choices allow more faults: set consensus problems in totally asynchronous systems

Information and Computation
Impossibility of distributed consensus with one faulty process

Journal of the ACM (JACM)
Algebraic spans

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Unifying synchronous and asynchronous message-passing models

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Round-by-round fault detectors (extended abstract): unifying synchrony and asynchrony

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
The topological structure of asynchronous computability

Journal of the ACM (JACM)
Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge

SIAM Journal on Computing
Tight bounds for k-set agreement

Journal of the ACM (JACM)
On the cost of fault-tolerant consensus when there are no faults: preliminary version

ACM SIGACT News
Distributed Algorithms

Distributed Algorithms
Uniform consensus is harder than consensus

Journal of Algorithms
From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement

Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
The inherent price of indulgence

Distributed Computing - Special issue: PODC 02

Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound

Theoretical Computer Science
Brief announcement: pareto optimal solutions to consensus and set consensus

Proceedings of the 2013 ACM symposium on Principles of distributed computing

Quantified Score

Hi-index	5.23

Visualization

Abstract

The k-set-agreement problem consists for a set of n processes to agree on less than k among n possibly different values, each initially known to only one process. The problem is at the heart of distributed computing and generalizes the celebrated consensus problem. This paper considers the k-set-agreement problem in a synchronous message passing distributed system where up to t processes can fail by crashing. We determine the number of communication rounds needed for all correct processes to reach a decision in a given run, as a function of the degree of coordination k and the number of processes that actually fail in the run, f@?t. We prove that, for any integer 1@?k