Non-Negotiating Distributed Computing - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2024

Non-Negotiating Distributed Computing

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04470425 , version 1

Cite

Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers. Non-Negotiating Distributed Computing. 2024. ⟨hal-04470425⟩
43 View
43 Download

Share

Gmail Facebook X LinkedIn More