Consensus : Hypothèses de timing

Cette séance de cours couvre la mise en œuvre du consensus sans attente par le biais du consensus et des registres sans verrouillage, menant au consensus sans obstruction et au concept de leader. Il explique les propriétés du consensus, de l'algorithme O-Consensus et le rôle de Leader dans la prise de décision éventuelle. La séance de cours explore également la mise en œuvre de L-Consensus à l'aide de l'algorithme Leader et O-Consensus, en passant de L-Consensus à Consensus. Il détaille les étapes algorithmiques impliquées dans la proposition de valeurs, le maintien des horodatages et la réalisation d'un accord entre les processus. En outre, il explore le rôle du leader dans le processus électoral, les hypothèses de synchronisation et les exigences minimales pour atteindre le consensus dans les systèmes distribués.