Definição – o que significa o problema dos filósofos gastronômicos?
O problema dos jantares filósofos é um exemplo clássico em ciência da computação frequentemente usado para ilustrar problemas de sincronização e soluções em projetos de algoritmos concorrentes. Ele ilustra os desafios de evitar um estado do sistema onde o progresso não é possível, um impasse. O problema foi criado em 1965 por EW Dijkstra. Apresentado como um exercício de exame do aluno, o problema ilustra vários computadores competindo pelo acesso a periféricos de unidade de fita. A formulação conhecida hoje foi uma revisão posterior de Tony Hoare.
Definirtec explica o problema dos filósofos de jantar
O problema dos jantares filósofos é uma ilustração de um impasse, um estado no qual vários processos estão esperando por um único recurso que está sendo usado por outro processo, e as soluções para esses tipos de problemas. A formulação atual do problema com os filósofos foi criada por Tony Hoare, mas o problema foi originalmente formulado por Edsger Dijkstra em 1965.
A declaração do problema de Tony Hoare é sobre cinco filósofos que devem, alternativamente, comer e pensar. Todos os cinco estão situados em uma mesa redonda com um prato de espaguete e garfos colocados adjacentemente entre os filósofos. Um garfo só pode ser usado por um filósofo de cada vez. No entanto, para comer, são necessários dois garfos – garfo à esquerda e à direita. Um filósofo pode pegar um garfo disponível, mas não pode comer a menos que tenha os garfos direito e esquerdo. Deve-se notar que comer não é limitado pela possível quantidade de espaguete restante ou espaço do estômago. Supõe-se que haja uma oferta infinita de espaguete e demanda.