Exercises for Distributed Systems

This repository contains a small framework written in python for emulating asynchronous and synchronous distributed systems.

Install

The stepping emulator requires the following packages to run

PyQt6
pynput
cryptography

These packages can be installed using pip as shown below:

pip install --user -r requirements.txt

The framework is tested under python3.10 in Arch Linux, Ubuntu and Windows.

General

A FAQ can be found here

Exercises will be described later in this document.

In general avoid changing any of the files in the emulators subdirectory. Instead, restrict your implementation to extending emulators.Device and emulators.MessageStub.

Your implementation/solution for, for instance, exercise 1 should go into the exercises/exercise1.py document. I will provide new templates as the course progresses.

You should be able to execute your solution to exercise 1 using the following lines:

python3.10 exercise_runner.py --lecture 1 --algorithm Gossip --type sync --devices 3
python3.10 exercise_runner.py --lecture 1 --algorithm Gossip --type async --devices 3
python3.10 exercise_runner.py --lecture 1 --algorithm Gossip --type stepping --devices 3

The first line will execute your implementation of the Gossip algorithm in a synchronous setting with three devices, while the second line will execute in an asynchronous setting. The third line will execute your implementation in a synchronous setting, launching a GUI to visualize your implementation, the setting can be adjusted during execution.

For usage of the framework, see exercises/demo.py for a lightweight example. The example can be run with:

python3.10 exercise_runner.py --lecture 0 --algorithm PingPong --type async --devices 3

Stepping emulator

The stepping emulator can be used to run the algorithm in steps where one message is sent or received for each step in this emulator. The Stepping emulator can be controlled with the following keyboard input:

space:   Step a single time through messages
f:       Fast-forward through messages
enter:   Kill stepper daemon and finish algorithm
tab:     Show all messages currently waiting tobe transmitted
s:       Pick the next message waiting to be transmitted to transmit next
e:       Toggle between sync and async emulation

GUI

The framework can also be launched with an interface by executing the following line:

python3.10 exercise_runner_overlay.py

Where your solution can be executed through this GUI.

Stepping emulator GUI

If the stepping emulator is chosen, the framework will launch with a GUI visualising some different aspects of your algorithm, an example of the Stepping GUI is shown below:

Pull Requests

If you have any extensions or improvements you are welcome to create a pull request.

However, pull requests should provide some significant improvement, changes in style, renaming of variables etc. is strongly discouraged: such changes would likely break the solutions of your fellow students.

Exercise 1

Implement the following gossiping problem in exercises/exercise1.py.

A number of persons initially know one distinct secret each.

In each message, a person discloses all their secrets to the recipient.

These individuals can communicate only in pairs (no conference calls) but it is possible that different pairs of people talk concurrently. For all the tasks below you should consider the following two scenarios:

Scenario 1: a person may call any other person, thus the network is a total graph,
Scenario 2: the persons are organized in a bi-directional circle, where the each person can only pass messages to the left and the right (use the modulo operator).

In both scenarios you should use the async network, details of the differences between sync and async will be given in the third lecture.

Your tasks are as follows:

implement the above behaviour - however, with the freedom to pick which person to talk to, when to send a message, etc.
Try to minimize the number of messages.
How few messages are enough?
Is your solution optimal? And in what sense?

NOTICE:

You can have several copies of the Gossip class, just give the class another name in the exercise1.py document, for instance ImprovedGossip. You should then be able to call the framework with your new class via:

python3.10 exercise_runner.py --lecture 1 --algorithm ImprovedGossip --type async --devices 3

Exercise 2

Similarly to the first lecture, in the __init__ of RipCommunication, create a ring topology (that is, set up who are the neighbors of each device).
Implement the RIP protocol (fill in missing code in merge_tables), described in [DS, fifth edition] Page 115-118. (NOTICE: To run/debug the protocol, you must first implement the network topology described in "task 2.0" below.)
Now that you have a ring topology, consider a ring size of 10 devices.
1. How many messages are sent in total before the routing_tables of all nodes are synchronized?
2. How can you "know" that the routing tables are complete and you can start using the network to route packets? Consider the general case of internet, and the specific case of our toy ring network.
3. For the ring network, consider an approach similar to
  1. ```
  def routing_table_complete(self):
    if len(self.routing_table) < self.number_of_devices()-1:
        return False
    return True
```
  Does it work? Each routing table should believe it is completed just one row short. How many times do the routing tables appear to be completed?
4. Try this other approach, which works better:
  1. ```
  def routing_table_complete(self):
    if len(self.routing_table) < self.number_of_devices()-1:
        return False
    for row in self.routing_table:
        (next_hop, distance) = self.routing_table[row]
        if distance > (self.number_of_devices()/2):
            return False
       return True
```
Is it realistic for a real network?
Send a RoutableMessage after the routing tables are ready. Consider the termination problem. Can a node quit right after receiving the RoutableMessage for itself? What happens to the rest of the nodes?
What happens, if a link has a negative cost? How many messages are sent before the routing_tables converge?

Exercise 3

Please consult the moodle page, this exercise is not via this framework.

Exercise 4

Look at exercises/exercise4.py, here you should find the SuzukiKasami class implementing Suzuki-Kasami’s Mutex Algorithm.

For all exercises today, you can use the sync network type - but most algorithms should work for async also.

Examine the algorithm
1. Make a doodle on the blackboard/paper showing a few processes, their state, and messages exchanged. Use e.g. a sequence diagram.
2. Define the purpose of the vectors _rn and _ln.
Discuss the following situations
1. Is it possible that a node receives a token request message after the corresponding request has been granted? Sketch a scenario.
2. How can a node know which nodes have ungranted requests?
3. How does the queue grow?
Characterize the algorithms performance and correctness:
1. Is the algorithm correct? (ME1, ME2, ME3)
2. How does it perform ? (bandwidth, enter/exit delay)
3. How does it cope with failures? / How can it be made fault tolerant?
Bonus exercise, modifying the TokenRing class of exercises/exercise4.py:
1. Implement heartbeats in the token-ring algorithm for failure detection,
2. Make it robust against node-failiures, and
3. Make it possible for new processes to join the ring.
Extracurricular exercise/challenge (only if you have nothing better to do over the weekend)
1. Extend the mutex algorithm implementations s.t. the do_work() call starts an asynchronous process (e.g. a future) which later calls a release() method on the mutex classes.
2. Check that the algorithms still work, and modify where needed.
3. Submit a pull-request!

Exercise 5

Identify two problems with Reliable Multicast over IP
1. What is a practical problem for Reliable Multicast over IP?
2. What is a theoretical problem for Reliable Multicast over IP?
Identify all the events in the following picture
1. Compute the lamport clocks for each event
2. Compute the vector clock for each event
3. What is the difference in the orderings produced by vector and lamport clocks?

Design (and implement) Totally Ordered FIFO multicast (both requirements must be met). You can use the TOSEQMulticast from exercise5.py as a starting-point.
1. Is it reliable?
  1. if not, can it become so?
  2. if it is, argue why!
Discuss FIFO ordering in two overlapping multicast groups
1. FIFO is no longer guaranteed, how is it broken, and how do you fix it?
Bonus exercise: Fix the ISIS algorithm!
1. Hint: how (and when) do you identify a tie?

Exercise 6

Study the pseudo-code in the slides (on Moodle) and complete the implementation of the King Algorithm in exercise6.py
1. How does the algorithm deal with a Byzantine king (try f=1, the first king is byzantine)?
2. Why does the algorithm satisfy Byzantine integrity?
3. Sketch/discuss a modification of your implementation such that the algorithm works in an async network, but looses its termination guarantee
  1. What would happen with a Byzantine king?
  2. What would happen with a slow king?
  3. What about the combination of the above?
Bonus Exercise: Implement the Paxos algorithm in exercise6.py. See the pseudo-code on Moodle (use the video for reference when in doubt) for the two interesting roles (proposer and acceptor).
1. Identify messages sent/received by each role
  1. Investigate PAXOSNetwork
2. Implement each role but the learner
  1. Assume that each device is both a Proposer and an Acceptor (the Learner is provided)
  2. A class combining/forwarding messages is provided (PAXOS).
  3. Your job is to implement the missing functionality in Proposer and Acceptor, search for "TODO"
3. Demonstrate that your code works in an async environment
  1. Try with a large number of devices (for instance 20 or 30)
4. Discuss how you can use Paxos in "continued consensus" where you have to agree on the order of entries in a log-file

Exercise 7

DS5ed exercises 18.5 and 18.13
Sketch an architecture for the following three systems: A bulletin board (simple reddit), a bank, a version control system (e.g. GIT)
1. Identify the system types (with respect to CAP).
2. Which replication type is suitable, and for which parts of the system?
3. If you go for a gossip solution, what is a suitable update frequency?
BONUS Exercise: Implement the Bully algorithm (DS 5ed, page 660) in exercise7.py
1. In which replication scheme is it useful?
2. What is the "extra cost" of electing a new leader in replication?

Exercise 8

Compare GFS and Chubby, and identify use cases that are better for one or the other solution.
Consider the code in exercise8.py, which sketches GFS, and complete the "append record" implementation.
1. Take a look at how the GFS master is implemented, and how it translates file + chunk index to chunk handle
2. Sketch a design for the "passive replication" solution of the GFS. Consider how many types of messages you need, when they should be sent, etc
3. Implement your solution, starting from the handler of RecordAppendReqMessage of the GfsChunkserver class
4. Try out your solution with a larger number of clients, to have more concurrent changes to the "file"
BONUS Exercise: Add shadow masters to the system. Clients and chunk servers will still interact with the first master to change the file system, but the shadow master can take over if the master shuts down.