Dining Philosophers Problem
Your solution to the Dining Philosophers Problem should have
specs for deadlock and starvation.
It should satisfy the following fairness conditions:
- All philosophers get hungry infinitely often.
- For all philosophers, if they are eating then they are eventually full.
And satisfy the following specs:
- No starvation.
- No deadlock.