Dîner des philosophes
Un article de Wikipédia, l'encyclopédie libre.
Le problème des philosophes et des spaghettis est un problème classique en informatique système. Il concerne l'ordonnancement des processus et l'allocation des ressources à ces derniers. Ce problème a été énoncé par Edsger Dijkstra[1].
Sommaire |
[modifier] Le problème
La situation est la suivante :
- cinq philosophes (initialement mais il peut y en avoir beaucoup plus) se trouvent autour d'une table ;
- chacun des philosophes a devant lui un plat de spaghetti ;
- à gauche de chaque assiette se trouve une fourchette.
Un philosophe n'a que trois états possibles :
- penser pendant un temps indéterminé ;
- être affamé (pendant un temps déterminé et fini sinon il y a famine) ;
- manger pendant un temps déterminé et fini.
Des contraintes extérieures s'imposent à cette situation :
- quand un philosophe a faim, il va se mettre dans l'état « affamé » et attendre que les fourchettes soient libres ;
- pour manger, un philosophe a besoin de deux fourchettes : celle qui se trouve à gauche de sa propre assiette, et celle qui se trouve à gauche de celle de son voisin de droite (c'est-à-dire les deux fourchettes qui entourent sa propre assiette) ;
- si un philosophe n'arrive pas à s'emparer d'une fourchette, il reste affamé pendant un temps déterminé, en attendant de renouveler sa tentative.
Le problème consiste à trouver un ordonnancement des philosophes tel qu'ils puissent tous manger, chacun à leur tour. Cet ordre est imposé par la solution que l'on considère comme celle de Dijkstra avec sémaphores ou Courtois avec des compteurs.
[modifier] Remarques
- Les philosophes, s'ils agissent tous de façons naïves et identiques, risquent fort de se retrouver en situation d'interblocage. En effet, il suffit que chacun saisisse sa fourchette de gauche et, qu'ensuite, chacun attende que sa fourchette de droite se libère pour qu'aucun d'entre eux ne puisse manger, et ce pour l'éternité.
- On considère qu'un philosophe qui meurt (crash du processus) reste dans une phase « penser » infiniment. Il en résulte donc un problème : quid d'un philosophe qui meurt avec ses fourchettes en main ?
- Ce problème beaucoup plus complexe qu'il n'en a l'air est l'un des plus intéressants parmi les problèmes de systèmes distribués.
[modifier] Solutions
- L'une des principales solutions à ce problème est celle du sémaphore, proposée également par Dijkstra.
- Une autre solution consiste à attribuer à chaque philosophe un temps de réflexion aléatoire en cas d'échec.
- Il existe des compromis qui permettent de limiter le nombre de philosophes embêtés par une telle situation. Notamment une toute simple se basant sur la technique hiérarchique de Havender limite le nombre de philosophes touchés à un d'un côté et deux de l'autre.
[modifier] La solution de Chandy/Misra
En 1984, K. M. Chandy et J. Misra proposèrent une nouvelle solution permettant à un nombre arbitraire n d'agents identifiés par un nom quelconque d'utiliser un nombre m de ressources. Le protocole élégant et générique est le suivant :
- Pour chaque paire de philosophes pouvant accéder à la même fourchette, on commence par la donner à celui des deux qui a le plus petit nom (selon une certaine relation d'ordre). Toute fourchette est soit propre soit sale. Au début, toutes les fourchettes sont sales.
- Lorsqu'un philosophe veut manger, il doit obtenir les fourchettes de ses deux voisins. Pour chaque fourchette qu'il lui manque, il émet poliment une requête.
- Lorsqu'un philosophe qui a une fourchette en main entend une requête pour celle-ci,
- soit la fourchette est propre et il la garde.
- soit la fourchette est sale, alors il la nettoie et il la donne.
- Après qu'un philosophe a fini de manger, ses deux fourchettes sont devenues sales. Si un autre philosophe avait émis une requête pour obtenir une de ses fourchettes, il la nettoie et la donne.
[modifier] Notes et références
- ↑ Edsger W. Dijkstra, « Hierarchical ordering of sequential processes », dans Acta Informatica, 1971, 1, p. 115-138 [texte intégral]. Consulté le 2007-11-10
