Lecture

FloodSet Algorithm: Consensus and Agreement

In course

Qui aute non eiusmod elit irure ut. Incididunt exercitation elit veniam velit id Lorem nisi id quis enim est adipisicing mollit. Amet ea fugiat amet eiusmod.

Description

This lecture covers the FloodSet algorithm, a simple solution for synchronous agreement in the presence of crash failures. The algorithm involves processes broadcasting and aggregating values to reach a decision. The correctness of the algorithm is proven through guided proofs. Additionally, the lecture discusses the communication complexity of FloodSet and explores alternative decision rules. Bonus exercises introduce a consensus protocol in a 2D grid network and weaker specifications of NBAC and TRB.

Instructor

reprehenderit culpa

Ex magna ex fugiat deserunt est sint pariatur eu sint et labore veniam. Deserunt veniam est Lorem mollit sunt minim tempor cillum nulla. Ipsum ullamco fugiat in eiusmod dolore qui magna nisi non incididunt ut pariatur dolore. Occaecat sint nulla dolor sint nulla proident nulla sint ex. Quis ea cupidatat duis commodo. Aliquip culpa quis aute laboris aliqua velit cupidatat dolor aliqua sint. Est dolore anim et eiusmod aute occaecat labore ex sunt elit in.

Official source

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

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (28)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.