Algorithme FloodSet : consensus et accord

Dans cours

DEMO: excepteur adipisicing fugiat cillum

Officia ad reprehenderit eu et ad deserunt magna. Laboris quis incididunt cillum cillum enim fugiat ullamco voluptate. Non aliquip non aute eiusmod laboris consequat sit irure. Reprehenderit voluptate est sunt voluptate enim do non dolor dolore incididunt.

Connectez-vous pour voir cette section

Description

Cette séance de cours couvre l'algorithme FloodSet, une solution simple pour un accord synchrone en présence de pannes. L'algorithme implique des processus de diffusion et d'agrégation de valeurs pour prendre une décision. L'exactitude de l'algorithme est prouvée par des preuves guidées. En outre, la séance de cours discute de la complexité de la communication de FloodSet et explore les règles de décision alternatives. Les exercices bonus introduisent un protocole de consensus dans un réseau de grille 2D et des spécifications plus faibles de NBAC et TRB.

Connectez-vous pour regarder la vidéo

Enseignant

esse aliqua

Sit in non do ipsum non id. Exercitation anim sint officia incididunt commodo eu deserunt adipisicing nulla. Dolore non velit ipsum cillum duis voluptate commodo duis incididunt consectetur in do incididunt. Amet ea non nulla dolor anim excepteur eu non labore voluptate et.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_uejnix03

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.