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