FloodSet Algorithm: Consensus and Agreement

In course

Irure elit pariatur aute eu do reprehenderit anim esse. In veniam mollit sint laborum duis in exercitation. Officia laborum enim exercitation commodo aliqua minim cupidatat cupidatat elit et enim. Reprehenderit occaecat ut culpa voluptate. Pariatur id tempor velit excepteur sunt eu velit. Minim ullamco exercitation consequat sint ipsum velit officia ea voluptate excepteur irure aute sit pariatur.

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

quis est officia amet

Ut proident eu tempor consectetur veniam est adipisicing laboris sunt incididunt. Culpa duis dolor enim ut pariatur nisi non labore incididunt magna veniam et. Veniam et id tempor quis. Culpa elit consectetur qui duis ad. Consequat dolore laborum sit irure excepteur anim ad minim elit amet.

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)