Leçon 1 : Ce module enseigne comment le problème du multicast est résolu en utilisant des protocoles épidémiques/gossip. Il enseigne également l'analyse de ces protocoles. Leçon 2 : Ce module couvre la conception des détecteurs de défaillance, un composant clé dans tout système distribué. Les protocoles d'adhésion, qui utilisent des détecteurs de défaillance comme composants, sont également abordés. Leçon 3 : Ce module couvre l'informatique en grille, un précurseur important de l'informatique en nuage.

Systèmes P2P : Ce module enseigne la conception détaillée de deux classes de systèmes peer to peer : (a) les systèmes populaires tels que Napster, Gnutella, FastTrack, et BitTorrent ; et (b) les systèmes efficaces tels que les tables de hachage distribuées (Chord, Pastry, et Kelips). En plus de se concentrer sur la conception, le module analyse également ces systèmes en détail.

Leçon 1 : Ce module motive et enseigne la conception de systèmes de base de données et de stockage clé-valeur/NoSQL. Nous couvrons la conception de deux systèmes majeurs de l'industrie : Apache Cassandra et HBase. Nous abordons également le célèbre théorème CAP. Leçon 2 : Les systèmes distribués sont asynchrones, ce qui rend les horloges des différentes machines difficiles à synchroniser. Ce module présente d'abord divers algorithmes de synchronisation des horloges, puis des méthodes d'étiquetage des événements avec des horodatages causaux qui évitent la synchronisation des horloges. Ces algorithmes classiques ont été inventés il y a plusieurs dizaines d'années, mais sont largement utilisés dans les systèmes en nuage d'aujourd'hui.

Leçon 1 : Ce module explique comment calculer un instantané distribué, en tirant parti de la causalité pour contourner le problème de la synchronisation. Leçon 2 : Cette leçon enseigne comment ordonner les multidiffusions dans n'importe quel système distribué. Des algorithmes pour assigner des étiquettes d'horodatage aux multidiffusions en utilisant différents types d'ordre - FIFO, Causal, et Total - sont couverts. Le module couvre également la synchronisation virtuelle, un paradigme qui combine des multidiffusions fiables avec des vues d'appartenance. Leçon 3 : Le consensus est l'un des problèmes les plus importants dans un système distribué, permettant à plusieurs machines de se mettre d'accord. Ce module utilise Paxos, l'une des solutions de consensus les plus populaires utilisées dans l'industrie aujourd'hui. Paxos n'est pas parfait car le consensus ne peut pas être résolu complètement - une conférence optionnelle présente la fameuse preuve FLP de l'impossibilité du consensus.