Non-Negotiating Distributed Computing - Institut de Recherche en Informatique Fondamentale Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Non-Negotiating Distributed Computing

Résumé

A recent trend in distributed computing aims at designing models as simple as possible for capturing the inherently limited computing and communication capabilities of insects, cells, or tiny technological artefacts, yet powerful enough for solving non trivial tasks. This paper is contributing further in this field, by introducing a new mode of distributed computing, that we call non-negotiating. In the non-negotiating model, a process decides a priori what it is going to communicate to the other processes, before the computation starts, and proceeds regardless of what the process hears from others during an execution. We consider non-negotiating distributed computing in the read/write shared memory model in which processes are asynchronous and subject to crash failures. We show that non-negotiating distributed computing is universal, i.e., capable of solving any colorless task solvable by an unrestricted full-information algorithm in which processes can remember all their history, and send it to the other processes at any point in time. To prove this universality result, we present a non-negotiating algorithm for solving multidimensional approximate agreement, with arbitrary precision ϵ > 0.
Fichier principal
Vignette du fichier
main.pdf (2.57 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04470425 , version 1 (21-02-2024)

Identifiants

  • HAL Id : hal-04470425 , version 1

Citer

Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers. Non-Negotiating Distributed Computing. 2024. ⟨hal-04470425⟩
64 Consultations
60 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More