Problème des philosophes de la restauration

Définition - Que signifie le problème des philosophes de la restauration?

Le problème des philosophes de la restauration est un exemple classique en informatique souvent utilisé pour illustrer les problèmes de synchronisation et les solutions dans la conception d'algorithmes simultanés. Il illustre les défis d'éviter un état du système où le progrès n'est pas possible, une impasse. Le problème a été créé en 1965 par EW Dijkstra. Présenté comme un exercice d'examen d'étudiant, le problème illustre un certain nombre d'ordinateurs en concurrence pour l'accès aux périphériques de lecteur de bande. La formulation connue aujourd'hui était une révision ultérieure par Tony Hoare.

Definir Tech explique le problème des philosophes de la restauration

Le problème des philosophes de la restauration est une illustration d'une impasse, un état dans lequel plusieurs processus attendent une seule ressource actuellement utilisée par un autre processus, et les solutions à ces types de problèmes. La formulation actuelle du problème avec les philosophes a été créée par Tony Hoare, mais le problème a été formulé à l'origine par Edsger Dijkstra en 1965.

L'énoncé du problème de Tony Hoare concerne cinq philosophes qui doivent alternativement manger et réfléchir. Tous les cinq sont assis dans une table ronde avec une assiette de spaghettis et des fourchettes placées de manière adjacente entre les philosophes. Une fourchette ne peut être utilisée que par un philosophe à la fois. Cependant, pour manger, deux fourchettes sont nécessaires - une fourchette à gauche et à droite. Un philosophe peut prendre une fourchette disponible mais n'est pas autorisé à manger à moins que le philosophe n'ait ses deux fourchettes gauche et droite. Il est à noter que la consommation n'est pas limitée par la quantité possible de spaghettis ou d'espace gastrique. On suppose qu'il existe une offre et une demande infinies de spaghettis.