哲学家进餐问题的课程设计,附加代码与论文