DISSYDistributed systemsLearning activities

Read. Think. Try a run.

Explore the ideas.

Test your understanding with a quiz, or take control of a protocol and see what happens.

Each interaction opens a fresh run in a new tab. Refreshing keeps that run. It is cleared after an hour without contact, or when the server restarts.

Chapter 1

Introduction to the Course

Check your understanding

81 questions · Work at your own pace.

Open quiz

Chapter 2

Distributed Systems — The Basics

Check your understanding

46 questions · Work at your own pace.

Open quiz

Chapter 3

The DISSY Framework

Check your understanding

41 questions · Work at your own pace.

Open quiz
Explorer

Parties and sessions

Explore how local actors and remote messages fit together.

Explorer

FIFO

Deliver five messages, m1 through m5, through the FIFO protocol.

Explorer

NotFIFO

Deliver five messages, m1 through m5, to a receiver that outputs them as they arrive.

Chapter 4

Bracha: Asynchronous Reliable Broadcast

Check your understanding

25 questions · Work at your own pace.

Open quiz
Explorer

Bracha4

Freely explore reliable broadcast with four honest parties.

Explorer

BadBracha4

Explore the missing READY relay rule with a corrupt sender.

Challenge

Run Bracha4 to completion

Choose steps and deliveries until every party outputs.

Challenge

Break Liveness Preservation

Control the sender in BadBracha4 and leave an honest party waiting.

Challenge

Break Agreement

Control the sender in Bracha3-2 and obtain conflicting honest outputs.

Challenge

A higher ECHO threshold

Explore why waiting for three ECHOs can prevent honest progress.

Chapter 5

Causality and Vector Clocks

Check your understanding

38 questions · Work at your own pace.

Open quiz
Explorer

Causal delivery

Explore how vector clocks govern the order of upper outputs.

Chapter 6

Revisiting the Framework: Concurrency, Crash Recovery and Migration

Check your understanding

23 questions · Work at your own pace.

Open quiz

Chapter 7

Confidentiality

Check your understanding

49 questions · Work at your own pace.

Open quiz

Chapter 8

Authenticity

Check your understanding

50 questions · Work at your own pace.

Open quiz

Chapter 9

Key Management

Check your understanding

30 questions · Work at your own pace.

Open quiz

Chapter 10

Key Exchange

Check your understanding

33 questions · Work at your own pace.

Open quiz

Chapter 11

State Machine Replication

Check your understanding

41 questions · Work at your own pace.

Open quiz