防止死锁的一种方法

来源 :南京大学学报(自然科学版) | 被引量 : 0次 | 上传用户:sk_chin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 一、引言近几年来,计算机的程序系统发展得很快。它的规模和作用都在日益增大。因此,程序系统的正确性问题就愈来愈重要了。“死锁”是保证操作系统正确所必须考虑的一个问题。过去,由于对这个问题没有足够的认识,有些操作系统,例如ExecⅡ,把好些死锁都搞进系统去了。这样的系统在运行时就难免要发生故障。所谓死锁是指两个或两个以上的进程因为竞争资源而使得它们都不能继续进行下去的那种现象。例如在时刻t两个进程P1和P2各自占有资源ra和rb。到时刻t1>t时,P1申请
其他文献
一、根据意念原则编写 语法教材的编写通常有两种方法,一种方法是一项项地研究词类和句子的各种成分变化。这叫作语法现象的形式分类法,这种语法的特点是从外部形式到内部意
日前,笔者从烟台市质监局获悉,2014年度全市质量水平明显提高,全市10家企业的13个产品被认定为“山东名牌产品”,9家企业的9个项目被认定为“山东省服务名牌”,万华化学股份有限公
对员工个人来说,解决企业不给加班费、不执行带薪休假制度等侵害权利的问题最直接也是最快捷的办法是跳槽——到一个这些权利有保证的企业。问题在于,在当前就业形势紧张的情况
中国船舶燃料供应总公司(以下简称“中燃”)是1972经国务院批准的水上供油企业,注册资金5100万元,作为全国最大的水上供油企业,中燃享有国家给予的唯一可从事水上免税油供应
目的探讨农民工未成年子女父母教养方式的影响因素。方法采用分层整群随机抽样的方法在广东省内抽取2940名农民工未成年子女,对其施测一般资料问卷和父母教养方式评价量表。
每逢节假日,北京的故宫等地就会成为游客聚集地。如果你曾在节假日里去过故宫的话,首先映入你眼帘的不是文物珍品和古代建筑,而是黑压压的人群。
为建立虾夷扇贝Patinopecten yessoensis活品的品质评价指标,以探讨捕后干露贮藏过程中闭壳肌能量物质和糖代谢关键酶活性的变化规律,将鲜活的虾夷扇贝在冰箱(4℃)中进行干露
本文简要地叙述了分布式计算技术发展的三个阶段,论述了90年代分布式计算技术的几个研究方向.
中国人民大学出版社多年来始终秉承质量是品牌生命的信念,通过高度重视质量管理工作,强化流程管理,搭建起完备的质量保障体系,为出版社实施品牌战略保驾护航。 Renmin Unive
本文叙述了分布式系统资源管理的两种方式:集中管理方式和分散管理方式。采用集中管理方式时,需要一个搜索算法,而采用分散管理方式时,需要一个分布同步算法。本文讨论了这两