Diffusion causale : comprendre l'ordre des messages

Cette séance de cours introduit la diffusion causale, un protocole de communication qui garantit que les messages sont délivrés dans un ordre causal. Il couvre l'intuition derrière la diffusion causale, les spécifications et les algorithmes pour atteindre l'ordre causal. La séance de cours explique les concepts de causalité, d'ordre causal fiable et d'émission causale uniforme. Il présente des algorithmes pour une diffusion fiable de l'ordre causal en utilisant une diffusion fiable et en réalisant une diffusion causale uniforme en utilisant une diffusion fiable uniforme sous-jacente. La séance de cours traite également des détails de mise en œuvre de ces algorithmes, y compris l'utilisation d'horloges vectorielles et de collecte des déchets pour maintenir l'ordre causal.