信号量(Semaphore)哲学家进餐问题(thediningphilosophersproblem)---------------------------程序