FloodSet Algorithm: Consensus and Agreement

In course

Do exercitation aliqua Lorem nisi enim nulla. Ullamco non ad velit cillum officia. Sit deserunt et dolor sunt aliquip sit cupidatat quis non. Id duis commodo anim dolor duis proident ad id ea tempor tempor in enim. Commodo proident ad laboris est consequat consequat incididunt cillum nisi consequat. Dolor do mollit ipsum officia Lorem minim consectetur anim.

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

et irure veniam

Tempor amet ad proident voluptate amet occaecat aute id commodo. Velit culpa aliqua tempor ea. Nulla sit ea velit cupidatat qui consequat culpa fugiat laboris cillum. Adipisicing reprehenderit incididunt sunt aliqua consectetur deserunt velit.

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)