| 求解哲学家就餐问题的两个Petri网模型 |
| |
| 引用本文： | 马德云[],,俞时权[] 等.求解哲学家就餐问题的两个Petri网模型[J].上海师范大学学报(自然科学版),2002,31(3):37-40. |
| |
| 作者姓名： | 马德云[] 俞时权[] |
| |
| 作者单位： | 1. 上海电视大学,计算机系,上海,200092
2. 上海师范大学,数理信息学院,上海,200234 |
| |
| 摘 要： | 哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具。本文提出了用Petri网避免死锁的一种模型,并进一步讨论了用另一种扩充了的Petri网模型避免无限等待情况发生的方法。
|
| 关 键 词： | Petri网模型 哲学家就餐问题 并发操作 死锁 操作系统 无限等待 解决方法 |
| 文章编号： | 1000-5137(2002)03-0037-04 |
| 修稿时间： | 2002年6月28日 |
Two Petri Nets Models to approach the Dining Philosophers Problem |
| |
| MA De-yun ,YU Shi-quan ,HU Hao-min.Two Petri Nets Models to approach the Dining Philosophers Problem[J].Journal of Shanghai Normal University(Natural Sciences),2002,31(3):37-40. |
| |
| Authors: | MA De-yun YU Shi-quan HU Hao-min |
| |
| Institution: | MA De-yun 1,YU Shi-quan 2,HU Hao-min 2 |
| |
| Abstract: | The Dining Philosophers Problem is a classic example of describing "Concurrency operation" in operating system, and generally such methods as Monitor, PV operation, etc, are used to avoid the deadlock problem. With the Petri nets as a good tool of describing and analyzing concurrent problem, the paper proposes one Petri nets model to avoid deadlock, and further discusses the method of using another expend Petri nets model to prevent the infinite waiting situation occurring. |
| |
| Keywords: | petri nets dining philosophers problem concurrency dead lock operating system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《上海师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《上海师范大学学报(自然科学版)》下载免费的PDF全文 |
