Séance de cours
Cette séance de cours couvre les concepts de causalité et d'ordre total diffusés dans des algorithmes distribués. Il comprend des exercices sur l'ajout d'une propriété d'ordre total, le tri déterministe des messages et la diffusion d'ordre total basée sur le consensus. Les solutions démontrent des scénarios avec des processus défectueux et corrects, assurant une commande totale. La transformation entre le consensus et les abstractions de diffusion d'ordre total est discutée, ainsi que les détails de mise en œuvre. Les objets séquentiels et leurs opérations sont expliqués, avec un exercice guidé sur les objets de transfert d'actifs. Un exercice bonus met les étudiants au défi d'utiliser la diffusion totale des commandes pour mettre en œuvre un objet de transfert d'actifs.