Explore les compromis dans un système de file d'attente à l'échelle planétaire, en soulignant l'importance de la sémantique relaxante pour gérer la complexité.
Couvre la mise en œuvre et l'évaluation d'un projet pratique dans les algorithmes distribués, en mettant l'accent sur la construction de liens parfaits, la diffusion FIFO et la diffusion causale localisée.
Couvre les déclarations conditionnelles et la théorie des graphes, y compris les techniques de preuve et les concepts liés aux graphes, aux chemins, à la connectivité et aux protocoles de commérage.
Explore des algorithmes de diffusion fiables, en se concentrant sur l'ordre causal et la fiabilité uniforme, avec des exercices sur les propriétés des détecteurs de défaillance et l'optimisation de la mémoire.
Explore la transmission causale et l'ordre total dans des algorithmes distribués, y compris des exercices sur la propriété d'ordre total et la transformation de consensus.
Explore l'algorithme FloodSet pour parvenir à un consensus dans les systèmes distribués grâce à des preuves guidées et à une analyse de la complexité de la communication.
Explore l'algorithme FloodSet pour un accord synchrone en cas de panne et sa complexité de communication, ainsi que des exercices bonus sur les protocoles de consensus.