Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Bastian Pochon"'
Publikováno v:
SIAM Journal on Computing. 40:63-78
In the $k$-set agreement problem, each processor starts with a private input value and eventually decides on an output value. At most $k$ distinct output values may be chosen, and every processor's output value must be one of the proposed values. We
Publikováno v:
ACM Transactions on Computer Systems
ACM Transactions on Computer Systems, Association for Computing Machinery, 2010
ACM Transactions on Computer Systems, 2010
ACM Transactions on Computer Systems, Association for Computing Machinery, 2010
ACM Transactions on Computer Systems, 2010
Total order broadcast is a fundamental communication primitive that plays a central role in bringing cheap software-based high availability to a wide range of services. This article studies the practical performance of such a primitive on a cluster o
Autor:
Bastian Pochon, Rachid Guerraoui
Publikováno v:
Electronic Notes in Theoretical Computer Science. 230:71-78
The aim of this paper is to pose a challenge to the experts of (algebraic) topology techniques. We present an early deciding algorithm that solves the set agreement problem, i.e., the problem which triggered research on applying topology techniques t
Publikováno v:
Information and Computation
Information and Computation, Elsevier, 2005, Volume 205 (Issue 5,), pp.783-815
Information and Computation, Elsevier, 2005, Volume 205 (Issue 5,), pp.783-815
The perfectly synchronized round-based model provides the powerful abstraction of crash-stop failures with atomic and synchronous message delivery. This abstraction makes distributed programming very easy. We describe a technique to automatically tra
Publikováno v:
SIAM Journal on Computing. 37:722-756
Agreement is at the heart of distributed computing. In its simple form, it requires a set of processes to decide on a common value out of the values they propose. The time-complexity of distributed agreement problems is generally measured in terms of
Publikováno v:
Electronic Notes in Theoretical Computer Science. 81:48-58
This paper considers the k-set agreement problem in a synchronous distributed system model with send-omission failures in which at most f processes can fail by send-omission. We show that, in a system of n+1 processes (n+1) f), no algorithm can solve
Publikováno v:
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing.
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540499909
OPODIS
OPODIS
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 con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b23e91c8bd6a837dc3fbed27adb8a2d0
https://doi.org/10.1007/11945529_3
https://doi.org/10.1007/11945529_3
Publikováno v:
PODC
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manager algorithms have been proposed and empirically evaluated.In this paper
Publikováno v:
STOC
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This is because the topological questions that underly set agreement are not