Résumé
Ce cours a présenté comment des processeurs communiquant à travers une mémoire partagée, avec comme seules opérations possibles la lecture et l’écriture, pouvaient résoudre des problèmes de coordination sophistiqués comme la mise en œuvre d’un compteur réparti ainsi que la prise d’un état global atomique. Le cours a permis, à travers ces exemples, d’illustrer les concepts fondamentaux de l’algorithmique répartie, et en particulier les notions d’atomicité et d’absence d’attente.
Voici les principaux thèmes abordés pendant ce second cours :
- « Mise en œuvre d’un compteur faible » ;
- « État global d’un système réparti » ;
- « Exemple de preuve d’atomicité ».