Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture covers the FloodSet algorithm, a simple solution to the agreement problem for crash failures in distributed systems. The algorithm involves processes propagating values and using a decision rule to reach consensus. Through guided proofs, the lecture demonstrates the correctness of FloodSet in achieving Agreement, Validity, and Termination. Additionally, it explores the communication complexity of the algorithm and discusses alternative decision rules. The bonus exercises introduce a unique setting for consensus in a 2-dimensional grid network, challenging students to design optimized protocols for reaching consensus in the presence of faulty processes.