Diffusion totale des commandes : notions de base et équivalences consensuelles

Cette séance de cours couvre les concepts de diffusion de l'ordre total, où les processus doivent délivrer des messages dans le même ordre, et l'équivalence entre le consensus et la diffusion de l'ordre total. Il explique les propriétés et les spécifications de la diffusion de l'ordre total, y compris la validité, l'absence de duplication et l'accord. La séance de cours se penche également sur le problème du consensus (uniforme), où les processus proposent des valeurs et doivent s’entendre sur une valeur. Il traite des propriétés du consensus, telles que la validité, l'accord, la résiliation et l'intégrité. L'algorithme présenté dans la séance de cours met en œuvre la commande totale et utilise la diffusion fiable et le consensus. Les équivalences entre consensus et ordre total de diffusion sont explorées, mettant en évidence leur interchangeabilité dans des systèmes avec des canaux fiables.