Par exemple, un dîner à trois philosophes est obtenu avec la composition parallèle suivante: par TAKE_0, RELEASE_0, TAKE_1, RELEASE_1, TAKE_2, RELEASE_2 in par PHILO [TAKE_0, RELEASE_0] | | PHILO [TAKE_1, RELEASE_1] | | PHILO [TAKE_2, RELEASE_2] end par | | TAKE_0, RELEASE_0, TAKE_1, RELEASE_1− > FORK [TAKE_0, RELEASE_0, TAKE_1, RELEASE_1] | | TAKE_1, RELEASE_1, TAKE_2, RELEASE_2− > 6. Le dîner des philosophes 133 | | TAKE_2, RELEASE_2, TAKE_0, RELEASE_0− > FORK [TAKE_2, RELEASE_2, TAKE_0, RELEASE_0] Le rendez-vous multiple facilite l'implémentation du dîner des philosophes: nous n'avons pas besoin de construction de mutex, ni d'avoir à préciser un ordre sur les fourchettes. Le rendez-vous multiple permet d'assurer directement l'exclusion mutuelle des philosophes voisins, et le choix non déterministe au niveau d'une fourchette la rend accessible aux deux philosophes l'entourant. Au niveau de l'implémentation générée, le rendez-vous multiple se traduit effectivement par un protocole de synchronisation entre processus.
Le problème du « dîner des philosophes » est un cas d'école classique sur le partage de ressources en informatique système. 14 relations: Acta Informatica, Algorithme du banquier, Edsger Dijkstra, Famine (informatique), Grande ciguë, Informatique, Interblocage, Ordonnancement, Processus (informatique), Réseau de Petri, Relation d'ordre, Sémaphore (informatique), Voltaire, 1971. Acta Informatica Acta Informatica est une revue scientifique évaluée par des pairs qui publie des articles de recherche originale en informatique La revue est surtout connue pour ses publications en informatique théorique. Nouveau!! : Dîner des philosophes et Acta Informatica · Voir plus » Algorithme du banquier L'algorithme du banquier est un algorithme qui a été mis au point par Edsger Dijkstra en 1965 pour éviter les problèmes interblocages et gérer l'allocation des ressources. Nouveau!! : Dîner des philosophes et Algorithme du banquier · Voir plus » Edsger Dijkstra Edsger Wybe Dijkstra (prononciation), né à Rotterdam le et mort à Nuenen le, est un mathématicien et informaticien néerlandais du.
Cette méthode permet-elle d'éviter l'interblocage? Justifier On reprend la méthode précédente. On rajoute du parmesan à table, de numéro 0. Les philosophes ont maintenant besoin de 3 ressources: les deux fourchettes et le parmesan. Supposons que le parmesan soit libre, et qu'un philosophe ait les fourchettes 1 et 4. Que doit-il faire pour manger? Conclure sur un des défauts de cette méthode. Une méthode générale est proposée, pour un nombre quelconque de philosophes nécessitant un nombre quelconque de ressources. Les fourchettes sont soit propres, soit sales. Pour chaque paire de philosophes pouvant accéder à la même fourchette, on commence par la donner à celui qui est en premier dans l'ordre alphabétique. Un philosophe qui veut manger doit obtenir les fourchettes de ses deux voisins. Pour chaque fourchette qui 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.