Programming Exercise 4

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 an Atomic Register for multiple writers and readers, as a Kompics component.

Namely, you have to implement the Read-Impose Write-Consult Majority variant of the Atomic Register you learnt in this chapter.

Remember that the local checker provides already all basic abstractions for you, such as 'Best-Effort Broadcast'.