并发系统中基于优先级的调度分析

发布时间：2017-08-16 10:39

  本文关键词：并发系统中基于优先级的调度分析

  更多相关文章： 优先级 调度策略 分解 正确性

【摘要】：当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的。
【作者单位】： 福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室;
【关键词】： 优先级 调度策略 分解 正确性
【基金】：国家高技术研究发展计划(863)(2012AA011205) 国家自然科学基金(61175123) 上海知识服务平台项目(ZF1213) 上海高可信计算重点实验室开放课题(07dz22304201401) 福建省自然科学基金(2014J01221) 福建师范大学优秀骨干教师基金(fjsdjk2012047)资助
【分类号】：TP277
【正文快照】： 本文受国家高技术研究发展计划(863)(2012AA011205),国家自然科学基金(61175123),上海知识服务平台项目(ZF1213),上海高可信计算重点实验室开放课题(07dz22304201401),福建省自然科学基金(2014J01221),福建师范大学优秀骨干教师基金(fjsdjk2012047)资助。1引言随着并发系统功

【相似文献】

中国期刊全文数据库 前10条

1 刘爱珍;王嘉祯;彭德云;文家福;;一种高效的基于拍卖背包机制的移动Agent调度策略[J];计算机应用研究;2007年06期

2 乔非;李莉;王遵彤;过纯中;;面向半导体生产的改进的混合重调度策略研究[J];计算机集成制造系统;2007年03期

3 陈琳,胡泽新,邵惠鹤;多段多品种间歇过程混合型生产调度策略及应用研究[J];信息与控制;1992年01期

4 朱海平;邵新宇;张国军;;不确定信息条件下的车间调度策略研究[J];计算机集成制造系统;2006年10期

5 胡国珍;王文君;;基于μC/OS-II的无线调度策略分析与实现[J];微计算机信息;2008年17期

6 于华;王雷;;作业车间批量调度策略研究[J];井冈山大学学报(自然科学版);2013年01期

7 程鹏;高庆;金磊;;地物模型调度策略技术浅析[J];中国新技术新产品;2010年22期

8 王遵彤,乔非,吴启迪;基于CBR的半导体生产线组合调度策略研究[J];计算机工程;2005年07期

9 宫琳;孙厚芳;胥骞;;数字化生产车间动态生产环境复杂调度策略[J];航空制造技术;2007年09期

10 伦永亮;程良伦;;一种基于反馈的CPS上层资源动态分配与优化调度策略[J];科技通报;2012年12期

中国重要会议论文全文数据库 前4条

1 王冰;谷寒雨;席裕庚;;大规模单机静态调度的终端约束滚动策略[A];第二十二届中国控制会议论文集（下）[C];2003年

2 赵千川;郑大钟;;一类HDS的事件反馈型最优调度策略[A];1996年中国控制会议论文集[C];1996年

3 赵千川;郑大钟;;CLB调度策略的性能估计[A];1998年中国控制会议论文集[C];1998年

4 方剑;席裕庚;;动态环境下的Job Shop周期性滚动调度策略[A];1996中国控制与决策学术年会论文集[C];1996年

中国博士学位论文全文数据库 前2条

1 周浏阳;网络控制系统中调度策略的设计与延时的处理[D];哈尔滨工业大学;2015年

2 何忠贺;切换服务网络的稳定性及交通信号控制应用[D];北京工业大学;2013年

中国硕士学位论文全文数据库 前3条

1 修俊侨;云计算资源调度策略的研究[D];长春工业大学;2015年

2 殷洪海;云环境下基于改进蚁群算法的资源调度策略[D];电子科技大学;2014年

3 张浩荣;云环境下基于蚁群算法的资源调度策略研究[D];广东工业大学;2014年

，

本文编号：682840