Communication Dans Un Congrès Année : 2026

Répliquer sans Attendre mais Équitablement

Résumé

La réplication assure la disponibilité des systèmes distribués sujets aux pannes et ceux dont la convergence est garantie uniquement à terme (eventual consistency) comme les CRDTs (Conflict-free Replicated Data Types), peuvent répondre aux requêtes sans attendre. Cependant, l'asynchronisme et la concurrence forcent les opérations à être réordonnées, altérant les effets originaux et bloquant la stabilisation des résultats. De plus, un utilisateur du système peut être en famine si toutes ses opérations sont réordonnées au moins une fois. Nous formalisons le problème résolu par les types de données répliqués sans attente en tant que réplication à terme de machine à état. Nous l'augmentons ensuite avec les propriétés de stabilité et d'équité assurant, respectivement, que les répliques partagent un préfixe stable grandissant d'opérations, et qu'aucun utilisateur n'est en famine. Nous présentons finalement une construction générique où les répliques échangent leurs vues locales sous forme de graphe et les unifient avec une fonction de réconciliation. Nous proposons une fonction de réconciliation assurant stabilité et équité.

Fichier principal
Vignette du fichier
AlgoTel__R_pliquer_sans_Attendre_mais__quitablement.pdf (182.67 Ko) Télécharger le fichier

Dates et versions

hal-05597789 , version 1 (21-04-2026)

Licence

Identifiants

  • HAL Id : hal-05597789 , version 1

Citer

Petr Kuznetsov, Maxence Perion, Sara Tucci Piergiovanni. Répliquer sans Attendre mais Équitablement. ALGOTEL 2026 — 28es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2026, Mandelieu-la-Napoule, France. ⟨hal-05597789⟩
0 Consultations
0 Téléchargements

Partager

  • More