Programming Exercise 5

  • Inlämningsdatum 26 feb 2021 av 23.59
  • Poäng 1
  • Lämnar in en filuppladdning
  • Filtyper json

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".

1614380399 02/26/2021 11:59pm