进程同步的资源管理模型构建与应用.pdfVIP

第 20 期 计 算 机 技 术 与 发 展 Vo1．20 No．6 2010年 6月 c0MPUTER TECHNoL，0GY AND Jun． 2010 进程同步的资源管理模型构建与应用 牛欣源 (北京信息科技大学计算机学院计算机科学与技术系，北京 100101) 摘 要：针对进程同步算法的设计实现要求，运用模型化的研究思路，依据资源定义、资源 申请、资源释放的资源控制模 式，结合信号量及其P、v操作，为计算机软件设计中常见的进程同步问题构建一个较通用的设计实现模型，提供一个算法 设计实现的解决方案 ，并给出进程同步实例的应用实现。研究 由问题分析、模型框架定义、内部算法设计、实例应用几个 部分构成 。结果表明，该研究采用的技术方案和结果具有一定通用性，可适用于解决一般难度的同步问题。同时，模型化 的设计思路和研究方法，也可应用于解决系统与应用软件开发的相关问题 ，用以辅助在教学和科研工作初期，快速建立正 确的设计实现的框架和思路。 关键词：模型；模型化；资源；资源管理；同步；同步模型；算法设计 中图分类号 ：1]P3l6 文献标识码：A 文章编号：1673—629X(2010)06—0009—04 ResourceM anagementModelConstruction andApplication for ProcessSynchrOnizati0n NIU Xin-yuan (Dept．ofComputerSci．andTech．，ComputerSchool，BeijingInformationScien~ nadTechnologyUniversity，Beijing100101，China) Abstract：Acocrdingtotherequirementoftheprocesssynchronizationdesignandimple~anetatoin，applyingtothemodelizationresearching methods，byresearching the esDurcecontrolmechanism，includingresourcedefinition，TeSODIO~rqeuestnadrelease，making useofthe semaphoreandP，V operationmechna ism，constructsaprocesssynchronizationconlEflonmodelnadtheapplicationinstancesofthismodel forsoftwarearithmeticdesign．Theresearchincludes problneaanalysis，modelframedefinition，algorithm designandinstanceapplicatoin． Theresultpr0vedthatthesolutionwasocmr~nalitynadcanhe usedto∞lvegeneralsynchronizationpmblem．Atthe sametime，the modelresearchingmethodscansupporttobuildcorrectdesignanddevelopmnetrapidlyinearlyofteaching andresearching ． Keywords．model；modelization；resource；rP~ourcemanagement；synchronization；synchronizatoinmodel；arithmeticdesign O 引 言 握操作系统设计 ，乃至其它计算机软件的设计实现思