Passer à la navigation principale Passer à la recherche Passer au contenu principal

Affine Tasks for k-Test-and-Set

  • Université Paris-Saclay

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionContribution à une conférenceRevue par des pairs

Résumé

The paper proposes a surprisingly simple characterization of task computability of the wait-free shared-memory model in which processes, in addition to read-write registers, have access to k-test-and-set objects. Our characterization is expressed in the form of an affine task: a subcomplex of some iteration of the standard chromatic subdivision. This appears to be the first topological characterization of a model in which processes communicate via long-lived objects beyond read-write registers.

langue originaleAnglais
titreStabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings
rédacteurs en chefStéphane Devismes, Neeraj Mittal
EditeurSpringer Science and Business Media Deutschland GmbH
Pages151-166
Nombre de pages16
ISBN (imprimé)9783030643478
Les DOIs
étatPublié - 1 janv. 2020
Evénement22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020 - Austin, États-Unis
Durée: 18 nov. 202021 nov. 2020

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12514 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020
Pays/TerritoireÉtats-Unis
La villeAustin
période18/11/2021/11/20

Empreinte digitale

Examiner les sujets de recherche de « Affine Tasks for k-Test-and-Set ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation