Jantar dos Filósofos

$\includegraphics [width=0.8\textwidth]{filosofos.eps}$

Provavelmente o mais famoso dos problemas clássicos de sincronização:

Cinco filósofos estão em uma mesa; no centro desta mesa está um prato de espaguete.
Existem cinco garfos, dispostos na mesa de forma a que cada filósofo compartilha um garfo com cada um de seus dois vizinhos
Cada filósofo tem um comportamento cíclico:
- pensa;
- tem fome;
- come;
- volta a pensar.
Um filósofo faminto precisa dos dois garfos que compartilha com seus vizinhos para se servir.
Uma solução deve implementar a exclusão mútua no uso dos garfos e impedir a formação de ciclos de espera gerando deadlocks.