欢迎访问《上海师范大学学报（自然科学版）》编辑部网站

期刊社

引用本文:

本文已被：浏览 596次下载 1843次
分享到：微信更多字体:加大+\|默认\|缩小-
求解哲学家就餐问题的两个Petri网模型
马德云[1];;俞时权[2] 等^1,2
1.[1]上海电视大学计算机系，上海200092;2.[2]上海师范大学数理信息学院，上海200234

摘要:

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子，一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具。本文提出了用Petri网避免死锁的一种模型，并进一步讨论了用另一种扩充了的Petri网模型避免无限等待情况发生的方法。

关键词: Petri网模型哲学家就餐问题并发操作死锁操作系统无限等待解决方法

DOI：

分类号:

基金项目:

Abstract:

Key words: