English

A characterization of colorless anonymous $t$-resilient task computability

Distributed, Parallel, and Cluster Computing 2017-12-13 v1

Abstract

A task is a distributed problem for nn processes, in which each process starts with a private input value, communicates with other processes, and eventually decides an output value. A task is colorless if each process can adopt the input or output value of another process. Colorless tasks are well studied in the non-anonymous shared-memory model where each process has a distinct identifier that can be used to access a single-writer/multi-reader shared register. In the anonymous case, where processes have no identifiers and communicate through multi-writer/multi-reader registers, there is a recent topological characterization of the colorless tasks that are solvable when any number of asynchronous processes may crash. In this paper we study the case where at most tt processes may crash, where 1t<n1 \le t < n. We prove that a colorless task is tt-resilient solvable non-anonymously if and only if it is tt-resilient solvable anonymously. This implies a complete characterization of colorless anonymous t-resilient asynchronous task computability.

Keywords

Cite

@article{arxiv.1712.04393,
  title  = {A characterization of colorless anonymous $t$-resilient task computability},
  author = {Carole Delporte-Gallet and Hugues Fauconnier and Sergio Rajsbaum and Nayuta Yanagisawa},
  journal= {arXiv preprint arXiv:1712.04393},
  year   = {2017}
}
R2 v1 2026-06-22T23:15:52.696Z