Affine Tasks for k-Test-and-Set - Equipe Autonomic and Critical Embedded Systems Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Affine Tasks for k-Test-and-Set

Résumé

The paper proposes a surprisingly simple characterization of a classical class of models of distributed computing, captured by an affine task : A subcomplex of the second iteration of the standard chromatic subdivision. We show that the class of affine task we propose has an element equivalent, regarding task solvability, to any wait-free shared-memory model in which processes have additionally access to k-test-and-set objects. Our results thus extend existing affine characterization beyond fair models.
Fichier principal
Vignette du fichier
paper.pdf (311.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01810601 , version 1 (08-06-2018)
hal-01810601 , version 2 (11-10-2020)

Identifiants

  • HAL Id : hal-01810601 , version 2

Citer

Petr Kuznetsov, Thibault Rieutord. Affine Tasks for k-Test-and-Set. 2020. ⟨hal-01810601v2⟩
111 Consultations
145 Téléchargements

Partager

Gmail Facebook X LinkedIn More