Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages
Résumé
La construction d'un objet partagé entre plusieurs processus nécessite la résolution du consensus. De ce fait, la résolution du consensus est un sujet central et récurrent dans le domaine des systèmes répartis. Dans un article récent, L. Lamport suggère de prendre en compte la commutativité des accès concurrents à un objet partagé afin d'améliorer la vitesse de résolution du consensus. Cet article introduit notamment Generalized Paxos, un algorithme qui résout le consensus dans les systèmes répartis par passage de messages en deux étapes de communication si les accès concurrents sont commutatifs ou spontanément ordonnés par le réseau. Toutefois, si une collision se produit, c'est à dire que deux accès concurrents et non-commutatifs ont lieu, Generalized Paxos exécute quatre étapes de communication supplémentaires. L'algorithme devient alors moins performant que les solutions classiques. Dans cet article nous décrivons une nouvelle solution au consensus généralisé: FGGC. FGGC est optimal au regard des fautes et de la vitesse d'exécution car: (i) pour tolérer f pannes franches, FGGC utilise 2f+1 processus, (ii) si toutes les commandes sont commutatives, ou spontanément ordonnées par le réseau, FGGC résout le consensus en deux étapes de communication, (iii) les collisions sont résolues en une seule étape de communication, et (iv) FGGC utilise seulement f+1 processus pour progresser.
Origine | Fichiers produits par l'(les) auteur(s) |
---|