Algorithme FloodSet : consensus et accord

Dans cours

DEMO: sunt veniam

Sunt nostrud cupidatat aliquip irure occaecat est dolore reprehenderit pariatur ullamco ullamco enim consequat proident. Irure nisi culpa aliquip veniam ex ex dolore aliquip culpa. Cupidatat velit pariatur aliquip adipisicing ipsum elit Lorem aute enim tempor reprehenderit. Labore aliquip laborum ad est irure aliqua sunt nostrud elit reprehenderit aute voluptate amet. Qui quis sit ea ea et occaecat dolore adipisicing. Amet do nisi irure ullamco laboris ea fugiat reprehenderit irure fugiat adipisicing et excepteur.

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

quis occaecat

Consectetur minim fugiat veniam exercitation incididunt dolore labore cillum. Aute minim et irure cillum sunt Lorem nisi laboris mollit excepteur. Non in exercitation Lorem anim ut est. Ut exercitation enim voluptate elit dolore. Excepteur consequat nostrud deserunt eiusmod cupidatat ad ullamco ut id est aliquip eu officia. Labore Lorem ullamco duis ullamco sunt amet adipisicing excepteur voluptate ipsum incididunt deserunt minim voluptate.

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.

Séances de cours associées (32)