用Petri网描述进程的死锁

来源 :张家口师专学报 | 被引量 : 0次 | 上传用户:csdncsdn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
死锁是操作系统的一个重要概念,本文提出用库所/变迁网直观,动态地描述并发进程的死锁,本人将这一方法用于操作系统有关死锁内容的教学取得了非常好的效果。
其他文献
江泽民在党的十六大报告中指出,“民族精神是一个民族赖以生存和发展的精神支撑。”大力培育和弘扬新时期的中华民族精神,是建设先进文化的重要内容。准确把握新时期中华民族
期刊
准确获取井筒中各相持率是生产测井产出剖面精确解释的关键步骤之一,水平管中因普遍存在层流导致常规居中测量的持率仪器响应产生纵向片面性。电容阵列仪是一种采用多探头覆盖
中共中央、国务院《关于进一步加强和改进大学生思想政治教育的意见》(中发[2004]16号)颁布实施,充分体现了党中央、国务院对青年大学生的亲切关怀和对加强和改进大学生思想
期刊
针对目前合成地震记录质量不高导致层位标定解释、构造解释、储层反演精度低的问题.基于模型正演研究认为合成地震记录质量不高的原因主要是地震子波主频与实际地震子波主频不
以教学为中心强化教学改革提高办学水平要明确办学指导思想,找准自身位置。坚持以教学为中心,把教学放在学校工作的首位;坚持走内涵发展为主的道路,正确处理规模、质量、结构
期刊
2005年1月1日,《纺织品和服装协议》正式终止,宣言告纺织业将融入GATT规则中,配额限制最终取消,世界纺织品服装贸易将步入后配额时代。我国的纺织品服装生产能量得到空前的释
“入世”后我国批发业的生存环境发生了根本性变化。一是实行WTO规则及外企大举进入带来严峻挑战:二是社会技术进步的巨大冲击和影响。然而.环境虽然变化,供求矛盾却依然存在.批
不同性质流体的核磁共振试验研究是了解岩石弛豫机理的最基础工作。设计了轻油、稠油、水样等7个样品在不同极化时间下的核磁共振试验,展示了试验结果,并进行了纵向弛豫方程
伴随着科学技术和经济全球化的迅猛发展,我国的改革开放进一步深化,社会主义市场经济体制的进一步完善,我国在经济、政治和文化等诸多方面都在发生深刻变化。高校作为培养社
期刊
【正】“书画留青史:艺坛-怪雄”这是书画 界艺术家们对我国著名书画家,南京国际 梅花书画院院长蒋义海精湛书画艺术的高 度评价。前不久在南京市举办的蒋义海66 书画展开幕式