Problema dei filosofi a cena

Problema classico di sincronizzazione formulato da Dijkstra che illustra deadlock e starvation: più filosofi attorno a un tavolo condividono forchette e devono acquisirne due per mangiare, richiedendo un protocollo che eviti il blocco reciproco.