Programme détaillé
Chapitre 01 : Introduction aux systèmes distribués
- Qu’est-ce qu’un système distribué ?
- Pourquoi des systèmes distribués ?
- Caractéristiques des systèmes distribués
- Voies d’étude des systèmes distribués
- Exemples des problèmes fondamentaux
Chapitre 02 : Le temps logique
- Notion du temps logique
- Les horloges virtuelles
Chapitre 03 : L’exclusion mutuelle en réparti
- Problème d’exclusion mutuelle
- Algorithmes fondés sur des permissions
- Algorithme de Ricart et Agrawala
- Algorithme de Carvalho et Roucairol
- Algorithme de Chandy et Misra
- Algorithme mixte
- Algorithmes fondés sur l’unicité d’un jeton
- Algorithme de Le Lann
- Algorithme à diffusion
- Algorithme de Naim et Trehel
Chapitre 04 : Allocation répartie de ressources
- Section critique à entrées multiples (Algorithme de Raymond)
- Le problème K parmi M (Algorithme de Raynal)
- Plusieurs types de ressources en exemplaire unique
- Plusieurs types de ressources en plusieurs exemplaires
Chapitre 05 : Coordination par rendez-vous
- Le concept des rendez-vous
- Non-déterminisme
- La spécification de Bagrodia
- Une famille de protocoles
Chapitre 06 : L’observation répartie
- Problème de terminaison
- Problème d’interblocage
Chapitre 07 : Construction d’un temps virtuelle
- Le concept de temps virtuel
- Le problème de mise en œuvre
Modifié le: dimanche 29 mars 2020, 16:40