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.
[1]
André Schiper,et al.
Improving Fast Paxos: being optimistic with no overhead
,
2006,
2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06).
[2]
Frédéric Tronel,et al.
A Dependable Intrusion Detection Architecture Based on Agreement Services
,
2006,
SSS.
[3]
Nancy A. Lynch,et al.
Impossibility of distributed consensus with one faulty process
,
1983,
PODS '83.
[4]
Michel Hurfin,et al.
An Adaptive Fast Paxos for Making Quick Everlasting Decisions
,
2011,
2011 IEEE International Conference on Advanced Information Networking and Applications.