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é.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| licence |