-
题名描述与求解哲学家就餐问题的Petri网模型研究
被引量:1
- 1
-
-
作者
王淑礼
袁俊红
江祥奎
-
机构
信阳师范学院计算机科学系
-
出处
《信阳师范学院学报(自然科学版)》
CAS
2004年第4期468-469,498,共3页
-
文摘
研究了用 Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题 ,并构造了不同的 Petri网模型解决死锁和无限等待问题 ,最后讨论了轮流进餐时不同进餐次数情况下的
-
关键词
petri网
并发
锁死
操作系统
哲学家就餐问题
-
Keywords
petri nets
concurrency
deadlock
operating system
dining philosophers problem
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名求解哲学家进餐问题的Petri网模型及实现
- 2
-
-
作者
王淑礼
江祥奎
-
机构
信阳师范学院
-
出处
《电脑开发与应用》
2005年第1期40-42,共3页
-
文摘
为了解决操作系统中的进程间同等互斥问题 ,研究了以 Petri网为系统描述工具来分析经典的哲学家进餐问题 ,提出了避免死锁问题的轮流就餐方案 ,讨论了不同进餐次数之比时的 Petri网模型 ,给出了两种模型的程序实现。此法简洁高效 。
-
关键词
操作系统
petri网模型
互斥
死锁问题
进程调度
程序实现
系统描述
进餐次数
就餐
经典
-
Keywords
philosopher's dining problem,dining by turns,deadlock,petri net
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
TP301
[自动化与计算机技术—计算机系统结构]
-