文献类型：期刊文章

作　　者：牛欣源[1]

机构地区：[1]北京信息科技大学计算机学院计算机科学与技术系,北京100101

出　　处：《计算机技术与发展》

基　　金：北京市特色专业建设项目(PXM2009-014224-073641);北京信息科技大学2008年校教学改革立项项目(2008年12号)

年　　份：2010

卷　　号：20

期　　号：6

起止页码：9-12

语　　种：中文

收录情况：JST、RCCSE、ZGKJHX、普通刊

摘　　要：针对进程同步算法的设计实现要求,运用模型化的研究思路,依据资源定义、资源申请、资源释放的资源控制模式,结合信号量及其P、V操作,为计算机软件设计中常见的进程同步问题构建一个较通用的设计实现模型,提供一个算法设计实现的解决方案,并给出进程同步实例的应用实现。研究由问题分析、模型框架定义、内部算法设计、实例应用几个部分构成。结果表明,该研究采用的技术方案和结果具有一定通用性,可适用于解决一般难度的同步问题。同时,模型化的设计思路和研究方法,也可应用于解决系统与应用软件开发的相关问题,用以辅助在教学和科研工作初期,快速建立正确的设计实现的框架和思路。

关 键 词：模型  模型化 资源  资源管理 同步  同步模型  算法设计  

分 类 号：TP316]