Programme détaillé

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

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

Modifié le: dimanche 29 mars 2020, 16:40