  ::Yes, much better.  Personally I'd like to have a clear understanding of what happens when you don't implement a valid solution.  For example, with the dining philosophers, it's clear that deadlock occurs when they all take, say, their left forks and then wait for the other – it is then easy to work out the solution for yourself.  With this article, the solution is outlined well, but I don't think that it is immediately clear why it is correct to someone who is only vaguely familiar with semaphores.  Thanks.  –  