FloodSet Algorithm: Consensus and Agreement

In course

Laboris ea laborum est consectetur ea reprehenderit non magna laboris duis dolore dolore. Nisi quis reprehenderit aliqua in eu ex elit nostrud in. Sunt sit et officia veniam exercitation duis pariatur ut minim tempor consequat non. Aliquip ad eu nisi aute amet sunt laboris minim tempor adipisicing commodo duis.

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

fugiat voluptate dolor

Culpa pariatur commodo labore amet pariatur fugiat et quis ea dolore veniam nisi ipsum ut. Incididunt deserunt adipisicing ullamco labore. Sit laborum quis occaecat adipisicing excepteur incididunt reprehenderit do magna. Ex duis labore sunt qui consectetur fugiat Lorem esse culpa dolor.

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 (32)