Re: Dinning-philosphers problem, solution using counting semaphore and fair scheduling