Programming Exercise 7
- Due 4 Mar 2022 by 23:59
- Points 1
- Submitting a file upload
- File types json
- Available until 4 Mar 2022 at 23:59
Programming Assignment 7
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 consensus on a sequence of commands, as a Kompics component.
Namely, you have to implement a Leader-Based variant of Paxos for Deciding Sequences Download Leader-Based variant of Paxos for Deciding Sequences based on eventual leader election from Programming Assignment 1.
Remember that the local checker provides already all basic abstractions for you, such as 'FIFO Perfect Links' and 'Ballot Leader Election'.
Find rubric
