Mini-course on reliable distributed programming


On Oct. 12-13, 2006 at the Zuse Institut in Berlin, Seif Haridi gave a mini-course based on the book "Introduction to Reliable Distributed Programming" by Rachid Guerraoui (EPFL Switzerland) and Luis Rodrigues (Universidade Lisboa, Portugal) (published by Springer, 2006). This is an excellent book that presents distributed algorithms in a modular way by composing concurrent components using event-based communication. The algorithms are presented in their simplest form to maximize ease of understanding. The optimizations needed for practical implementation are factored out so that they do not obscure the working of the algorithms, yet they can be easily added.

The course transparencies:

 Lecture 1: Overview

 Lecture 2: Reliable Broadcast

 Lecture 3: Causal Broadcast

 Lecture 4: Shared Registers

 Lecture 5: Consensus

 Lecture 6: Total Order Broadcast + TRB

 Lecture 7: Group Communication + View Synchrony

--Selfman 06:35, 3 Nov 2006 (CET)Seif Haridi