How do I prove whether or not a dining philosophers suffers from deadlock or starvation possibilitie
- by Marvin Tenegard
Hi,
I have a homework task to prove whether or not a particular variation on the dining philosophers problem suffers from deadlock or starvation. I suspect that the situation does not suffer at all from either but I'm finding this tricky to prove and I don't really know where to start. Is there a general strategy for attacking this sort of problem?