α-registres

David Bonnin (1) , Corentin Travers (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

On sait que, dans un système distribué asynchrone avec communication par envoi de messages, il est possible de simuler un registre atomique, à condition que la majorité des processus ne tombent pas en panne. A l'inverse, si une majorité des processus peuvent tomber en panne, cette simulation est impossible. Cet article explore des variantes faibles des registres atomiques qui peuvent être simulées en tolérant une majorité de pannes. Plus précisément, cet article introduit une nouvelle classe de registres, appelés α-registres, et montre comment les simuler. Avec les registres atomiques, une lecture retourne la dernière valeur écrite. Les α-registres les généralisent de la façon suivante : pour tout intervalle de temps I ne contenant pas d'écriture, au plus α valeurs distinctes sont retournées par les opérations de lecture ayant lieu pendant I. Une simulation d'un α-registre tolérant f pannes dans un système a n processus est présentée pour α = 2M − 1, avec M = max(1, 2 f − n + 2). Cette simulation est optimale a un facteur constant près : les α-registres ne peuvent pas être simulés en tolérant f pannes si α ≤ M.

Mots clés: Envoi de message; tolérance aux pannes; simulation de mémoire partagée

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

David Bonnin, Corentin Travers. α-registres. ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4. ⟨hal-00985416⟩