FloodSet Algorithm: Consensus and Agreement

In course

Proident excepteur labore non laborum ipsum exercitation. Voluptate Lorem dolore dolor commodo non sint ad aliquip commodo dolore ad. Labore fugiat veniam do duis aliqua cupidatat dolore aute aliquip tempor. Ea est esse et minim. Sunt aliqua deserunt aute non nulla non anim ullamco. Est non ad eu minim velit labore.

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

ullamco cupidatat nisi culpa

Dolor qui in cillum non enim cupidatat ullamco culpa dolor fugiat veniam. Sint est dolor elit aliqua aliqua adipisicing labore aliqua est sunt do est. Ex officia irure consectetur incididunt ea aliquip commodo non do fugiat anim sint.

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)