论文部分内容阅读
为了解决操作系统中的进程间同等互斥问题,研究了以Petri网为系统描述工具来分析经典的哲学家进餐问题,提出了避免死锁问题的轮流就餐方案,讨论了不同进餐次数之比时的Petri网模型,给出了两种模型的程序实现.此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广.
求解哲学家进餐问题的Petri网模型及实现
【摘 要】
：
为了解决操作系统中的进程间同等互斥问题,研究了以Petri网为系统描述工具来分析经典的哲学家进餐问题,提出了避免死锁问题的轮流就餐方案,讨论了不同进餐次数之比时的Petri
【机 构】
：
信阳师范学院
【出 处】
：
电脑开发与应用
【发表日期】
：
2005年1期
其他文献
目的 观察二甲基甲酰胺（DMF）急性中毒对小鼠肝组织氧化酶／抗氧化酶系统的影响及不同巯基化合物对肝脏的保护作用。方法 采用DMF灌胃制备小鼠急性中毒模型；于中毒后6、12、24、48
目的 对双侧额颞平衡改良大骨瓣减压术治疗外伤后弥漫性脑肿胀的临床疗效进行深入分析和研究。方法 选择某院收治的80例外伤后弥漫性脑肿胀患者随机分为A组和B组,A组患者进行
新环境：从乐山市长、市委书记到四川省环保厅长，身份转换，您感受的最大变化是什么？姜晓亭：感受到的最大变化是从“官”变成了“吏”。市委书记的角色主要是决策者，工作的内容主要是
为了解决电信公司在电信卡发行过程中存在人工管理手续繁杂,工作效率低,用户查询困难等问题,实现由微机系统进行电信卡全面管理,开发了电信卡管理系统.该系统采用ORACLE关系
在网络上传输音视频等多媒体信息，目前主要有下载和流式传输两种方式。对于采用下载的方式而言，由于音视频文件一般都较大，所以需要的存储空间也较大，同时由于受到网络带宽的限制
<正>新环境:恭喜博安达1月9日正式挂牌上市。您为什么选择这个时间点?您怎样看待资本市场的作用?王恒俭:新三板挂牌是公司战略规划的一部分。首先,这几年公司发展不断壮大,研
介绍了信任模型的评价和PKI多级信任模型分析,给出了信任模型的技术指标比较,针对信任模型的技术指标和性能指标,分析了不同信任模型的特征,给出了建立多级信任模型的建立选