An asynchronous computability theorem for fair adversaries

Petr Kuznetsov, Thibault Rieutord, Yuan He

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This paper proposes a simple topological characterization of a large class of fair adversarial models via affine tasks: sub-complexes of the second iteration of the standard chromatic subdivision. We show that the task computability of a model in the class is precisely captured by iterations of the corresponding affine task. Fair adversaries include, but are not restricted to, the models of wait-freedom, t-resilience, and k-concurrency. Our results generalize and improve all previously derived topological characterizations of the ability of a model to solve distributed tasks.

Original languageEnglish
Title of host publicationPODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing
PublisherAssociation for Computing Machinery
Pages387-396
Number of pages10
ISBN (Print)9781450357951
DOIs
Publication statusPublished - 23 Jul 2018
Externally publishedYes
Event37th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2018 - Egham, United Kingdom
Duration: 23 Jul 201827 Jul 2018

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing

Conference

Conference37th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2018
Country/TerritoryUnited Kingdom
CityEgham
Period23/07/1827/07/18

Keywords

  • Adversarial models
  • Affine tasks
  • Topological characterization

Fingerprint

Dive into the research topics of 'An asynchronous computability theorem for fair adversaries'. Together they form a unique fingerprint.

Cite this