Programming Exercise 5

  • Inlämningsdatum Inget inlämningsdatum
  • Poäng Ingen

Download the notebook file for the assignment here Download here and import it into your Zeppelics instance.

The purpose of this task is to implement an variant of the famous Paxos algorithm, as a Kompics component.

Namely, you have to implement the Download Leader-less Repeatable Paxos

(pages 2-3), a version of Paxos that repeats until a decision is made. 

Remember that the local checker provides already all basic abstractions for you, such as 'Best-Effort Broadcast' and "Perfect Link".

0