哲学家问题的三种解决方法代码