L’interblocage et la synchronisation - le problème des philosophes

Résumé du document

Cinq philosophes sont assis autour d'une table ronde sur laquelle se trouvent cinq plats de spaghetti et cinq fourchettes. Chaque philosophe a devant lui un plat de spaghetti tellement glissant qu'il lui faut deux fourchettes pour manger. Un philosophe passe son temps à manger et à penser. Quand il a faim, il tente de se procurer deux fourchettes, l'une à sa gauche et l'autre à sa droite. S'il obtient les deux fourchettes, il mange pendant un temps puis repose les fourchettes et ensuite se remet à penser. Comment permettre à chaque philosophe de se donner à ses activités (manger et penser) sans jamais être bloqué ou privé ?

Le problème des philosophes est un exemple typique du modèle producteur/consommateur dans le mode de communication entre les processus de la vie interne des processeurs. Cette communication est caractérisée par l'accès à des variables communes avec synchronisation.

La synchronisation se déduit des réponses à la question suivante : comment permettre à chaque philosophe de se donner à ses activités (manger et penser) sans jamais être bloqué ou privé ? L'accès à des variables communes est ici le fait de prendre à la fois les fourchettes de gauche et de droite par un philosophe P[i] alors que les philosophes P[i-1] et P[i+1] sollicitent respectivement ces fourchettes.

Extraits

[...] Solution juste Sorties graphiques Symboles utilisés Philosophe en train de penser. Philosophe en train de manger. Philosophe a faim Cas 1 : Synchronisation 2 philosophes mangent et 3 pensent Cas 2 : Interblocage des 5 philosophes Cas 3 : Interblocage de 3 philosophes Captures d'ecran Lancement Pour lancer le problème des philosophes : lancer index.htm Synchronisation Inter blocage des 5 philosophes Inter blocage des 3 philosophes Conclusion A l'issue de ces travaux pratiques de l'UV de Système d'Exploitation, nous avons retenu deux phénomènes observables tout de même à travers les images interactives de l'environnement Flash Macro média MX : l'inter blocage et la synchronisation sous l'angle implicite de l'opérationnalisation des variables de synchronisation. [...]

[...] Question 2 : Pouvez-vous écrire un programme qui permet à chaque philosophe de se donner à ses activités sans jamais être bloqué. Illustrations Plat de spaghetti Fourchette du philosophe Table ronde symbolisant les 5 philosophes Problématique Le problème des philosophes est un exemple typique du modèle producteur/consommateur dans le mode de communication entre les processus de la vie interne des processeurs. Cette communication est caractérisée par l'accès à des variables communes avec synchronisation. La synchronisation se déduit des réponses à la question suivante : Comment permettre à chaque philosophe de se donner à ses activités (manger et penser) sans jamais être bloqué ou privé ? [...]

[...] Chaque philosophe a devant lui un plat de spaghetti tellement glissant qu'il lui faut deux fourchettes pour manger. 1ère hypothèse : Un philosophe passe son temps à manger et à penser. 2e hypothèse : Quand un philosophe a faim, il tente de se procurer de deux fourchettes l'une à gauche et l'autre à sa droite. S'il obtient les deux fourchettes, il mange pendant un temps puis repose les fourchettes et ensuite se remet à penser. Questions Question 1 : Que se passera-t-il si les cinq philosophes décident de prendre leur fourchette de gauche en même temps ? [...]