Programming Exercise 5

  • Due 27 Feb 2022 by 23:59
  • Points 1
  • Submitting a file upload
  • File types json
  • Available 17 Feb 2022 at 0:00 - 27 Feb 2022 at 23:59
This assignment was locked 27 Feb 2022 at 23:59.

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

1646002799 02/27/2022 11:59pm