Évaluation de politiques d'adaptation au risque de collisions dans un consensus de type « Fast Paxos »

Aucune collision ne se produit durant une instance de consensus si toutes les valeurs proposees durant ce consensus sont identiques. Afin de reduire le temps necessaire a une prise de decision, certains protocoles de consensus anticipent sur le fait qu'aucune collision ne se produira au cours du prochain consensus execute. Ce principe de conception a notamment ete etudie par Lamport qui a propose une variante au protocole Paxos, appelee Fast Paxos. En l'absence de collision, un gain de temps est observe. Malheureusement, le fait de declencher cette optimisation revient a faire un pari sur l'avenir et, en cas de collision non prevue, le cout de la procedure de recouvrement s'avere etre bien plus important que le gain initialement escompte. Dans cet article, nous decrivons brievement le protocole Paxos-MIC qui permet d'executer une sequence d'instances de consensus. Apres chaque consensus, le choix d'activer l'optimisation risquee durant le prochain consensus est fait localement et dynamiquement en evaluant une condition de declenchement. Nous etudions differentes conditions de declenchement et nous evaluons les gains susceptibles d'etre obtenus en analysant le comportement du protocole a l'aide d'une trace reelle correspondant a l'activite du site web d'une grande ecole d'ingenieur durant quinze jours consecutifs.