Programming Exercise 4

  • Due No due date
  • Points 1
  • Submitting a file upload

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

Namely, you have to implement the Leader-less Repeatable Paxos 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".

 

There are two alternatives for running and completing the exercises.

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

2. Skip Zeppelics and run Scala code (Paxos Template Download Paxos Template) without a notebook using the following repository. This also allows you to use whatever IDE you prefer.

 

Submission:

1. If you went with Zeppelics, export the notebook and submit the JSON file.

2. If you went without Zeppelics, submit the Scala file + screenshot(s) (JPEG/PNG) of the terminal output

 

0