Résumé
Ce cours a motivé l’importance du fameux problème du consensus, avant d’expliquer en quoi ce concept est central au numérique aujourd’hui. Le cours a ensuite présenté le théorème d’impossibilité du consensus ainsi que sa démonstration dans le cas, relativement simple, de la mémoire partagée. La notion de bivalence a été introduite, tout comme le concept fondamental en algorithmique répartie d’adversaire. Plusieurs corollaires de l’impossibilité du consensus ont ensuite été présentés. Le cours a souligné aussi le lien avec la topologie algébrique pour introduire le séminaire invité sur le consensus ensembliste et la topologie algébrique.
Voici les principaux thèmes abordés pendant ce cours :
- « Mise en œuvre d’un compteur fort » ;
- « Le théorème d’impossibilité du consensus » ;
- « Adversaire, valence et exécution » ;
- « Corollaires de l’impossibilité » ;
- « Consensus ensembliste ».
