Den här uppgiften räknas inte till slutbedömningen.

Programming Exercise 7

  • Inlämningsdatum Inget inlämningsdatum
  • Poäng 0

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

0