进程同步模拟设计 - 哲学家就餐问题 -