Taula de continguts:
- Definició: què vol dir el problema dels menjadors de filòsofs?
- Techopedia explica el problema dels menjadors dels filòsofs
Definició: què vol dir el problema dels menjadors de filòsofs?
El problema dels filòsofs menjadors és un exemple clàssic de la informàtica que sovint s’utilitza per il·lustrar problemes i solucions de sincronització en el disseny d’algoritmes concurrents. Il·lustra els desafiaments d’evitar un estat del sistema on el progrés no sigui possible, un punt mort. El problema va ser creat el 1965 per EW Dijkstra. Es presenta com a exercici d’un examen d’estudiants, el problema il·lustra diversos ordinadors que competeixen per l’accés als perifèrics d’unitat de cinta. Tony Hoare ha revisat posteriorment la formulació coneguda.
Techopedia explica el problema dels menjadors dels filòsofs
El problema dels filòsofs menesters és una il·lustració d’un punt mort, un estat en què diversos processos esperen que un altre recurs s’utilitzi actualment per un altre procés i les solucions a aquests tipus de problemes. La formulació actual del problema amb els filòsofs va ser creada per Tony Hoare, però el problema va ser originalment formulat per Edsger Dijkstra el 1965.
La declaració del problema de Tony Hoare tracta de cinc filòsofs que alternativament han de menjar i pensar. Els cinc estan situats en una taula rodona amb un plat d’espaguetis i forquilles col·locats de manera ajustada entre els filòsofs. Un filòsof només el pot fer servir una forquilla alhora. No obstant això, per menjar, es necessiten dues forquilles: bifurcació a l'esquerra ia la dreta. Un filòsof pot agafar una forquilla disponible, però no se li permet menjar a menys que el filòsof tingui les seves forquilles esquerra i dreta. Cal destacar que menjar no està limitat per la possible quantitat d’espaguetis a l’esquerra o l’espai estomacal. Se suposa que hi ha una oferta infinita d’espaguetis i demanda.
