Algorithmes de consensus: FloodSet

Cette séance de cours couvre l'algorithme FloodSet, une solution simple au problème de l'accord pour les pannes dans les systèmes distribués. L'algorithme implique des processus de propagation de valeurs et l'utilisation d'une règle de décision pour parvenir à un consensus. Grâce à des preuves guidées, la séance de cours démontre l'exactitude de FloodSet dans la réalisation de l'accord, de la validité et de la résiliation. En outre, il explore la complexité de la communication de l'algorithme et discute des règles de décision alternatives. Les exercices bonus introduisent un cadre unique pour le consensus dans un réseau de grille à deux dimensions, mettant au défi les étudiants de concevoir des protocoles optimisés pour parvenir à un consensus en présence de processus défectueux.