Section

• 
  

  Open allClose all

• 
  

  Instructions: Clicking on the section name will show / hide the section.

• Introduction

  • Learning objectives & syllabus Page
  • Webinar: Introduction to distributed algorithms URL
  • Presentation: Introduction to distributed algorithms File
  • Exercise: Setting up the exercises framework File
  • Webinar: Models, failure detectors, self-stabilization URL
  • Presentation: Models, failure detectors, self-stabilization File
  • Exercise: Eventually perfect failure detector File
• Formal models

  • Webinar: Formal models of distributed systems URL
  • Presentation: Formal models of distributed systems File
  • Webinar: Formal models, state transitions, and executions URL
  • Presentation: Formal models, state transitions, and executions File
  • Webinar: Asynchronous and synchronous systems URL
  • Presentation: Asynchronous and synchronous systems File
  • Webinar: Causality and the computation theorem URL
  • Presentation: Causality and the computation theorem File
  • Webinar: Logical clocks and vector clocks URL
  • Presentation: Logical clocks and vector clocks File
• Basic abstractions

  • Webinar: Basic abstractions URL
  • Presentation: Basic abstractions File
  • Webinar: Even-based component model URL
  • Presentation: Even-based component model File
  • Webinar: Specification of services URL
  • Presentation: Specification of services File
  • Webinar: Safety and liveness URL
  • Presentation: Safety and liveness File
  • Webinar: Node failure models URL
  • Presentation: Node failure models File
  • Webinar: Channel failure models URL
  • Presentation: Channel failure models File
  • Webinar: Fair loss links URL
  • Presentation: Fair loss links File
  • Webinar: Stubborn links URL
  • Presentation: Stubborn links File
  • Webinar: Perfect links URL
  • Presentation: Perfect links File
  • Webinar: Timing assumptions URL
  • Presentation: Timing assumptions File
• Failure detectors

  • Webinar: Failure detectors URL
  • Presentation: Failure detectors File
  • Webinar: Classes of detectors URL
  • Presentation: Classes of detectors File
  • Webinar: Perfect failure detectors URL
  • Presentation: Perfect failure detectors File
  • Webinar: Eventually Perfect Failure Detector URL
  • Presentation: Eventually Perfect Failure Detector File
  • Webinar: Leader Election (LE) URL
  • Presentation: Leader Election (LE) File
  • Webinar: Leader Election (LE) implementation URL
  • Presentation: Leader Election (LE) implementation File
  • Webinar: Eventual Leader Election URL
  • Presentation: Eventual Leader Election File
  • Webinar: Reductions URL
  • Presentation: Reductions File
  • Webinar: Relations between failure detectors URL
  • Presentation: Relations between failure detectors File
• Quorums

  • Webinar: Quorums URL
  • Presentation: Quorums File
  • Webinar: Byzantine Quorums URL
  • Presentation: Byzantine Quorums File
  • Webinar: Byzantine Leader Election URL
  • Presentation: Byzantine Leader Election File
• Reliable broadcast

  • Webinar: Broadcast abstractions URL
  • Presentation: Broadcast abstractions File
  • Webinar: Specification of broadcast abstractions URL
  • Presentation: Specification of broadcast abstractions File
  • Webinar: Lazy reliable broadcast URL
  • Presentation: Lazy reliable broadcast File
  • Webinar: Performance of algorithms URL
  • Presentation: Performance of algorithms File
  • Webinar: Eager Reliable Broadcast URL
  • Presentation: Eager Reliable Broadcast File
  • Webinar: Uniform Reliable Broadcast URL
  • Presentation: Uniform Reliable Broadcast File
  • Webinar: Fail-Silent Uniform Broadcast URL
  • Presentation: Fail-Silent Uniform Broadcast File
• Causal broadcast

  • Webinar: Causal Broadcast URL
  • Presentation: Causal Broadcast File
  • Webinar: Specification of causal broadcast URL
  • Presentation: Specification of causal broadcast File
  • Webinar: No waiting algorithm URL
  • Presentation: No waiting algorithm File
  • Webinar: Vector-clock algorithms URL
  • Presentation: Vector-clock algorithms File
  • Webinar: Correctness for vector clock algorithms URL
  • Presentation: Correctness for vector clock algorithms File
  • Webinar: Orderings of broadcasts URL
  • Presentation: Orderings of broadcasts File
  • Exercise: Broadcast File
• Shared memory

  • Webinar: Replicated Shared Memory URL
  • Presentation: Replicated Shared Memory File
  • Webinar: Regular Register algorithms URL
  • Presentation: Regular Register algorithms File
  • Webinar: Stronger consistency models URL
  • Presentation: Stronger consistency models File
  • Webinar: Linearizable Registers URL
  • Presentation: Linearizable Registers File
  • Webinar: Linearizable single write multiple reader algorithm URL
  • Presentation: Linearizable single write multiple reader algorithm File
  • Webinar: Multiple Writers algorithm URL
  • Presentation: Multiple Writers algorithm File
  • Webinar: Formal Defintions of Consistency URL
  • Presentation: Formal Defintions of Consistency File
  • Exercise: Shared memory File
• Consensus with failure detectors

  • Webinar: Introduction to consensus URL
  • Presentation: Introduction to consensus File
  • Webinar: Regular Consensus Fail-Stop Algorithm URL
  • Presentation: Regular Consensus Fail-Stop Algorithm File
  • Webinar: Control oriented vs. event based, uniform consensus URL
  • Presentation: Control oriented vs. event based, uniform consensus File
  • Webinar: Uniform consensus URL
  • Presentation: Uniform consensus File
• Paxos consensus

  • Webinar: Introduction to Paxos URL
  • Webinar: Paxos algorithm URL
  • Webinar: Paxos proof URL
  • Webinar: Paxos examples and optimizations URL
  • Presentation: Paxos consensus File
  • Exercise: Paxos consensus File
• Sequence consensus and Multi-Paxos

  • Webinar: Sequence Consensus URL
  • Webinar: From Paxos to Multi-Paxos URL
  • Webinar: Sequence Paxos Correctness URL
  • Webinar: Prepare Once Pipeline Accepts URL
  • Webinar: Avoid sequence transfers URL
  • Webinar: Incremental Accepts, final algorithm URL
  • Presentation: Sequence consensus and Multi-Paxos File
• Reconfiguration in replicated state machines

  • Webinar: Total order broadcast URL
  • Webinar: Reconfiguration Part I URL
  • Webinar: Reconfiguration Part II URL
  • Presentation: Reconfiguration in replicated state machines File
  • Exercise: Total order broadcast File
• Time and clocks in distributed systems

  • Webinar: Introduction to time lease URL
  • Webinar: The lease algorithm URL
  • Webinar: Clock drift and the complete algorithm URL
  • Presentation: Time and clocks in distributed systems File
• Summary

  • Presentation: Course summary File
• Programming tutorials

  • Webinar: Kompics Part I URL
  • Webinar: Kompics Part II URL
  • Webinar: Kompics Part III URL
  • Presentation: Introduction to Kompics File
  • Kompics programming manual File