Programming Exercise 4
- Due 5 Mar by 23:59
- Points 1
- Submitting a file upload
Programming Assignment 4
The purpose of this task is to implement consensus on a sequence of commands, as a Kompics component.
Namely, you have to implement a Sequence Paxos (OmniPaxos variant). Download Sequence Paxos (OmniPaxos variant).
Remember that the local checker provides already all basic abstractions you need (i.e., 'FIFO Perfect Links' and 'Ballot Leader Election')
There are two alternatives for running and completing the exercises.
1. Download notebook here Download here and import it into your Zeppelics instance.
2. Skip Zeppelics and run Scala code (SequencePaxos Template Download SequencePaxos 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 with the token obtained after satisfying all properties, pasted in the header of the file as a comment.