An Introductory Tutorial to Concurrency-Related Distributed Recursion Sergio Rajsbaum, Michel Raynal
To cite this version:
Sergio Rajsbaum, Michel Raynal. An Introductory Tutorial to Concurrency-Related Distributed Re- cursion. [Research Report] PI 2006, 2013, pp.14. hal-00858195
HAL Id: hal-00858195 https://hal.inria.fr/hal-00858195 Submitted on 5 Sep 2013
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Publications Internes de l’IRISA ISSN : 2102-6327 PI 2006 – July 2013
An Introductory Tutorial to Concurrency-related Distributed Recursion
Sergio Rajsbaum* Michel Raynal**
Abstract: Recursion is a fundamental concept of sequential computing that allows for the design of simple and ele- gant algorithms. Recursion is also used in both parallel or distributed computing to operate on data structures, mainly by exploiting data independence (independent data being processed concurrently). This paper is a short introduction to recursive algorithms that compute tasks in asynchronous distributed systems where communication is through atomic read/write registers, and any number of processes can commit crash failures. In such a context and differently from sequential and parallel recursion, the conceptual novelty lies in the fact that the aim of the recursion parameter is to allow each participating process to learn the number of processes that it sees as participating to the task computation. Key-words: Asynchrony, Atomic read/write register, Branching time, Concurrency, Distributed algorithm, Con- current object, Linear time, Participating process, Process crash failure, Recursion, Renaming, Shared memory, Task, Write-snapshot.
Une introduction à la récursion répartie liée à la concurrence Résumé : Ce rapport constitue une introduction à la récursion répartie lorsque le paramètre de récursivité est utilisé pour capturer le degré de concurrence. Mots clés : Asynchronisme, Calcul réparti, Concurrence, Faute, Registre lire/écrire atomique,Récusrvité, Tâche.
* Instituto de Matemarticas, UNAM, Mexico ** Institut Universitaire de France & IRISA (équipe ASAP commune avec l’Université de Rennes 1 et Inria)