用多线程同步方法解决哲学家就餐问题 Dining-Philosophers Problem 操作系统课程设计 武汉理工大学