On the Space Complexity of Set Agreement? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

On the Space Complexity of Set Agreement?

Abstract

The k-set agreement problem is a generalization of the classical consensus problem in which processes are permitted to output up to k different input values. In a system of n processes, an m-obstruction-free solution to the problem requires termination only in executions where the number of processes taking steps is eventually bounded by m. This family of progress conditions generalizes wait-freedom (m = n) and obstruction-freedom (m = 1). In this paper, we prove upper and lower bounds on the number of registers required to solve m-obstruction-free k-set agreement, considering both one-shot and repeated formulations. In particular, we show that repeated k set agreement can be solved using n + 2 m--k registers and establish a nearly matching lower bound of n + 2 m--k.
No file

Dates and versions

hal-01251563 , version 1 (06-01-2016)

Identifiers

  • HAL Id : hal-01251563 , version 1

Cite

Carole Delporte-Gallet, Hugues Fauconnier, Petr Kouznetsov, Eric Ruppert. On the Space Complexity of Set Agreement? . ACM Symposium on Principles of Distributed Computing, PODC 2015, Jul 2015, Donostia, France. ⟨hal-01251563⟩
100 View
0 Download

Share

Gmail Facebook X LinkedIn More