Renommage et Splitters en présence d'une Majorité de Pannes

David Bonnin (1) , Corentin Travers (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Les splitters de Moir et Anderson sont des objets partagés simples, implémentables a l'aide de registres a lecture/écriture, qui retournent une direction parmi {right, down, stop}. Tous les processus accédant a cet objet ne retournent pas la même direction, et au plus l'un d'entre eux obtient stop. Dans leur version one-shot autant que dans leur version long-lived, les splitters sont les briques de base d'élégants algorithmes de renommage en mémoire partagée. Dans un système par envoi de messages avec une stricte minorité de processus susceptible de tomber en panne, les splitters peuvent être implémentés en simulant d'abord des registres partagés. Cela n'est plus le cas si au moins la moitié des processus peuvent tomber en panne. Nous définissons et implémentons des splitters one-shot et des long-lived adaptés au modèle avec une majorité de pannes. Nos splitters généralisés conservent la plupart des propriétés des splitters classiques, excepté qu'on ne garantit qu'au plus n/(n-f) processus retournent stop, où n est le nombre de processus et f < n est une borne supérieure sur le nombre de pannes. Nous adaptons les grilles de splitters de Moir et Anderson pour résoudre des variantes du renommage one-shot et long-lived pour lesquelles au plus k = n/(n-f) processus peuvent obtenir le même nom. Cet article est un résumé de [5], qui a été accepté et publié a la conférence ICDCN 2015.

Mots clés: Tolérance aux pannes; Envoi de messages; Renommage; Splitter

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

David Bonnin, Corentin Travers. Renommage et Splitters en présence d'une Majorité de Pannes. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. ⟨hal-01147864⟩