I was in class today and the professor was giving examples of systems with semaphores, and he kept using examples where the semaphore calls were properly nested. So I asked him if it was necessary for ...