Evaluation du caractère adaptatif d'un protocole de consensus de type "Fast Paxos"

Afin de reduire le temps de convergence vers une valeur de decision, certains protocoles de consensus anticipent l'absence de collision. Ce principe de conception a notamment ete etudie par Leslie Lamport qui a propose une variante au protocole Paxos, appelee Fast Paxos. Si toutes les valeurs proposees sont identiques, le nombre d'etapes de communication est reduit et le temps de convergence est ainsi diminue. Dans cet article, nous evaluons le protocole Paxos-MIC qui propose une optimisation mettant en œuvre ce principe de conception. Le protocole execute une sequence d'instances de consensus ; avant chaque nouveau consensus, la decision d'activer l'optimisation est prise localement et dynamiquement en evaluant un critere. Ce critere d'activation se doit d'etre le plus precis possible car en cas d'activation a tort de l'optimisation, une procedure de recouvrement s'avere necessaire ; le cout de cette procedure est bien plus eleve que le gain obtenu par une activation justifiee de l'optimisation. Le critere d'activation peut revetir differentes formes et eventuellement s'appuyer sur la connaissance du passe recent afin d'evaluer le risque d'occurrence d'une collision lors du prochain consensus. Nous avons mene un travail portant sur un serveur WEB securise ou le consensus est utilise pour ordonner des requetes. En utilisant le log du serveur WEB d'une grande ecole sur 15 jours d'activite, nous avons evalue les gains de performance obtenus en fonction du choix du critere d'activation.