哲学家就餐问题的实验课程思路拓展

该文分析了操作系统实验课程项目现状,通过对哲学家就餐问题进行详细分解,引出了对K.Mani Chandy和J.Misra提出的一种解决大规模并发问题的算法的分析及研究。给出该算法使用互斥量的哲学家问题实现方案,展示了以3位哲学家交互的例子以演示算法规则。讨论了算法死锁产生的原因,对一种大幅度降低死锁概率的解决思路进行了分析及实现。实践表明,该实验课程的思路拓展帮助学生从多种角度理解操作系统的同步及死锁问题,锻炼了学生拓展实验思维及解决项目的能力。