Starvation
Suppose we fix the deadlock problem by giving Philosopher 0 first crack at the chopsticks, then Philosopher 1, etc.
Philosopher 2 must give up the chopstick if philosopher 1 wants to eat
- This is actually tricky with semaphores
Now our solution is starvation-prone: there is no guarantee that Philosopher 4 ever gets to eat