Programming Exercise 5

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. (algorithm Download algorithm)

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

There are two alternatives for running and completing the exercises.

1. Download the notebook file for the assignment here Download here and import it into your Zeppelics instance.

2. Skip Zeppelics and run Scala code (SharedMemory Template Download (SharedMemory Template) without a notebook using the following repository. This also allows you to use whatever IDE you prefer.

Submission:

1. If you went with Zeppelics, export the notebook and submit the JSON file.

2. If you went without Zeppelics, submit the Scala file + screenshot(s) (JPEG/PNG) of the terminal output