论文部分内容阅读
本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式OS,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。更多还原
死锁的PETRI NETS模型
【摘 要】
：
本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正
【机 构】
：
云南软件中心,中科院数学所
【出 处】
：
软件学报
【发表日期】
：
1991年3期
【基金项目】
：
中国科学院自然科学基金
其他文献
结合生产实际，分析了影响磨具用酚醛树脂结合剂粘度的几个因素。结果表明：苯酚与甲醛比为1：1．1～1．2，氨水占苯酚的4．5％-5％，0分钟后处理温度不高于75℃时，所得到的磨具用酚醛树脂结合剂的粘
本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应
如何将并行推理任务分配到并行推理部件上去是解决并行推理系统的执行功效的一个重要问题。本文对已提出的三种分配策略进行实验分析并对我们提出的一个新的策略进行理论和实
现代化图书馆强调以人为本.在图书馆的构成要素中,图书馆工作人员(以下称'馆员')是最活跃、最有生气的要素,决定图书馆工作的质量,影响图书馆的效益,是图书馆事业的&
学者刘海涵为访求、收藏、汇辑、编著、校勘、刊刻信阳地方文献,付出了艰辛的劳动与巨资,对当地的文化发展起过推动作用.
金融创新的“瓶颈”在于金融制度的创新,要正确处理与把握二者存在互动的辩证关系,加大制度创新力度,促进金融创新质量与效率的提高。本文就如何实现金融创新与金融制度稳定
纯函数式语言缺乏处理非确定性功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中加入了非确定性处理功能，描述卫个基于非确定性Ｍｏｎａｄ的纯函数式树搜索算法，并证明了一些有用的代数性