Programming Exercise 7
- Inlämningsdatum 28 feb 2020 av 23.59
- Poäng 1
- Lämnar in en filuppladdning
- Filtyper json
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'.
Hitta matris
