I can't see where the problem is in the following pseudo-code.
I recall from class that the problem is based on the signal calls and wait call in pickup() and putdown()
class Monitor R()
bool forks; // all true
I have a question about theory of multi-processes competing for resources.
Basically, I want to know a semi-formal way to prove liveness, which informally it means that "something good must eventually happen".
For example, some process may eventually enter a critical...