Mort le 6 aout 2002 à Nuenen Né le 11 mai 1930 à Rotterdam

25 ans Il excella Et inventa l’algorithme du moindre chemin (algorithme de Dijkstra)

-Il se faisait connaitre en matière de systèmes d’exploitation THE operating system, THE :Technische Hogeschool Eindhoven

En « GO TO is harmful », 4 ans plus tard… prix Turing et qualifié du « Humble programmer » 2 ans plus tard … -Publie l’article fondateur de l’auto-stabilisation 28 ans plus tard… -Reçoit le prix PoDC pour l’article influent Peut après… -Meurt d’un cancer

Présentation de l’algorithme Ses applications

Chemin le plus court jusqu’à Grez… Nancy (0) Metz (58) Strasbourg (∞) Langres (141) Troyes (∞) Sens (∞) Grez sur Loing (∞) Châlons (∞) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (∞) 188 km 80 km

58 < 141donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (∞) Sens (∞) Grez sur Loing (∞) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (∞) 188 km 80 km

141 < 216 et 141 < 220donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265) Sens (∞) Grez sur Loing (∞) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (∞) 188 km 80 km

216 < 265 et 216 < 220donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265) Sens (∞) Grez sur Loing (∞) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (404) 188 km 80 km

265 < 304 et 220 < 265donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265 /304 ) Sens (∞) Grez sur Loing (∞) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (404) 188 km 80 km

Cul-de-sac et 265 < 404 donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265) Sens (338) Grez sur Loing (∞) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (404) 188 km 80 km

338 < 404donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265) Sens (338) Grez sur Loing (415) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (404) 188 km 80 km

404 < 415donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265) Sens (338) Grez sur Loing (415) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (404) 188 km 80 km

Finalement 415 < 484donc… Nancy (0) Metz (58) Strasbourg (220) Langres (141) Troyes (265) Sens (338) Grez sur Loing (415 /484 ) Châlons (216) 1 58 km 141 km 162 km 158 km 88 km 124 km 73 km 77 km Paris (404) 188 km 80 km

Ses défauts : Trouver un chemin préférentiel Protocol OSPF Ses applications : Algorithme « gourmand » Pas nécessairement le plus rapide Sources : Wikipedia.org

Le dîner de philosophes Structure du système d’exploitation

De la difficulté de la multiprogrammation Chaque philosophe doit : Réfléchir Avoir deux fourchettes pour manger © Benjamin D. Esham Problème : Dès qu’il a faim, il ramasse une fourchette Exclusion mutuelle!

Utilisation de sémaphores © Benjamin D. Esham Sémaphore : serveur Connaît nombre de fourchettes disponibles Peut dire d’attendre ou d’y aller Fonctions P et V

THE Multiprogramming System Allocation d’un processus au processeur Allocation mémoire Communication SE/console E/S Programmes utilisateur User Sémaphores Compilation/ exécution/ impression « Not implemented by us » E. Dijkstra

Bibliographie sardes.inrialpes.fr (cours sur la multiprogrammation) mramzi.net (cours sur les systèmes d’exploitation) Wikipedia.org (dîner de philosophes, …)

Principe de fonctionnement Exemples d’utilisation

Principe de fonctionnement

Exemples d’utilisation

Questions?