论文部分内容阅读
为了解决操作系统中的进程间同等互斥问题,研究了以Petri网为系统描述工具来分析经典的哲学家进餐问题,提出了避免死锁问题的轮流就餐方案,讨论了不同进餐次数之比时的Petri网模型,给出了两种模型的程序实现.此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广.
求解哲学家进餐问题的Petri网模型及实现
【摘 要】
：
为了解决操作系统中的进程间同等互斥问题,研究了以Petri网为系统描述工具来分析经典的哲学家进餐问题,提出了避免死锁问题的轮流就餐方案,讨论了不同进餐次数之比时的Petri
【机 构】
：
信阳师范学院
【出 处】
：
电脑开发与应用
【发表日期】
：
2005年1期
其他文献
目的 观察二甲基甲酰胺（DMF）急性中毒对小鼠肝组织氧化酶／抗氧化酶系统的影响及不同巯基化合物对肝脏的保护作用。方法 采用DMF灌胃制备小鼠急性中毒模型；于中毒后6、12、24、48
为了解决电信公司在电信卡发行过程中存在人工管理手续繁杂,工作效率低,用户查询困难等问题,实现由微机系统进行电信卡全面管理,开发了电信卡管理系统.该系统采用ORACLE关系
介绍了信任模型的评价和PKI多级信任模型分析,给出了信任模型的技术指标比较,针对信任模型的技术指标和性能指标,分析了不同信任模型的特征,给出了建立多级信任模型的建立选