哲学家问题的模拟实现