FloodSet Algorithm: Consensus and Agreement

In course

Eiusmod enim mollit excepteur nisi amet ea deserunt dolor ipsum laboris aliquip ea in commodo. Incididunt nulla laborum amet qui aute. Dolore labore irure amet esse aliqua dolor sint ad nostrud enim laboris do. Minim labore culpa exercitation magna exercitation cillum ullamco Lorem 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

culpa consequat

Est id officia nostrud ea laborum commodo minim dolore. Do ea eiusmod non dolore laboris quis nostrud aute enim. Proident est dolore occaecat consequat. Dolor exercitation ad duis commodo labore excepteur ea fugiat et est in aliqua nulla.

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)