Programming Exercise 6

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 eventual leader election with ballots, as a Kompics component.

Namely, you have to implement the Ballot Leader Election with Gossiping  Download Ballot Leader Election with Gossiping 

variant of eventual leader election with monotonic ballots that you studied in this chapter. This component can aid in the implementation of more complex abstractions such as distributed consensus on a sequence of commands.

 

Remember that the local checker provides already all basic abstractions for you, such as 'Perfect Links'.