Algorithmes distribués

Chapitre 01 : Introduction aux systèmes distribués

1. Qu’est-ce qu’un système distribué ?
2. Pourquoi des systèmes distribués ?
3. Caractéristiques des systèmes distribués
4. Voies d’étude des systèmes distribués
5. Exemples des problèmes fondamentaux

Chapitre 02 : Le temps logique

1. Notion du temps logique
2. Les horloges virtuelles

Chapitre 03 : L’exclusion mutuelle en réparti

1. Problème d’exclusion mutuelle
2. Algorithmes fondés sur des permissions

-       Algorithme de Ricart et Agrawala

-       Algorithme de Carvalho et Roucairol

-       Algorithme de Chandy et Misra

-       Algorithme mixte

3. 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

1. Section critique à entrées multiples (Algorithme de Raymond)
2. Le problème K parmi M (Algorithme de Raynal)
3. Plusieurs types de ressources en exemplaire unique
4. Plusieurs types de ressources en plusieurs exemplaires

Chapitre 05 : Coordination par rendez-vous

1. Le concept des rendez-vous
2. Non-déterminisme
3. La spécification de Bagrodia
4. Une famille de protocoles

Chapitre 06 : L’observation répartie

1. Problème de terminaison
2. Problème d’interblocage

Chapitre 07 : Construction d’un temps virtuelle

1. Le concept de temps virtuel
2. Le problème de mise en œuvre

      3. Le temps virtuel global