改进的哲学家进餐问题无饥饿解的Petri网模型

摘要：

哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求.基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型.此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去；当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁.针对这两种情况,对原模型作了修改,提高了系统的效率。

关键词： 哲学家进餐问题 Petri网模型 抑止弧Petri网 无饥饿解 并发操作 资源共享

作者: 刘关俊 吴哲辉

作者单位: 山东科技大学计算机系 青岛 266510

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 26-28,61

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）