检索结果-内蒙古大学图书馆

计算机科学 2012年第11期39卷 301-304,F0003页

作者：李召妮雷丽晖李永明陕西师范大学计算机科学学院西安710062

在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多... 详细信息

在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理器任务调度算法TDS(Task Duplication based Scheduling);用线性时序逻辑描述出算法TDS期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性,保证了多处理器任务调度的可靠性。

关键词：多处理器调度算法线性时序逻辑模型检测扩展Büchi自动机

来源：评论

学校读者我要写书评

暂无评论

多处理器实时调度算法实现及模拟框架研究

多处理器实时调度算法实现及模拟框架研究

引用

作者：王异奇辽宁师范大学

学位级别：硕士

实时操作系统具有对重要性各不相同的任务进行统筹兼顾、合理调度的特点,因此近些年被大量用于嵌入式开发中。在整个实时系统中实时调度算法往往担负着关键控制系统的角色,实时系统的任务调度的研究成果对于提高我国关键系统领域具有十... 详细信息

实时操作系统具有对重要性各不相同的任务进行统筹兼顾、合理调度的特点,因此近些年被大量用于嵌入式开发中。在整个实时系统中实时调度算法往往担负着关键控制系统的角色,实时系统的任务调度的研究成果对于提高我国关键系统领域具有十分实际的意义。本文在基于实时操作系统的任务调度理论的基础上,研究分析了目前常见的实时操作系统,并实现优化了多处理器实时调度算法及其模拟框架,最后将其改进算法应用到企业原材料检验过程中,得到了较好的效果。本文研究的主要问题有以下几个方面: 本文首先介绍了当前常见的实时操作系统:RTLinux,QNX,LynxOS,RTEMS,VxWorks。分别主要介绍了其实时内核的实现方式,并分析其操作系统在此架构上实时性能的优劣。本文在此基础上,分析了现有实时调度算法检测方法的缺陷,并结合实时调度算法理论,提出了一种新的基于高级颜色时间Petri网实时调度算法模拟框架—PSch。该模拟框架不仅弥补了基本Petri网的状态空间爆炸的缺陷,而且解决了先前检测方法实时监控能力弱、通用性不强、模拟测试参数不全面等问题。实验结果表明,PSch能够较好的对实时调度算法进行模拟和验证,达到了实时调度算法模拟框架的基本需求。论文以典型的实时操作系统RTLinux为例,通过分析其内核源码,在研究其内核实时调度的实现机制及其调度算法的基础上,本文根据多处理器的特点,提出了一种实时多处理器动态分割并行调度算法SPara。该算法解决了此前多处理器算法Myopic,EDPF等仅依据截止期对任务调度时产生的问题,实现了增加任务紧迫度限制的调度策略,以及针对执行时间长且截止期紧迫任务的有效调度方法。同时算法结合高级颜色时间Petri网理论进行建模并仿真。测试结果表明,新算法SPara在处理器利用率以及调度成功率方面较Myopic等算法有较大提高。最后,将SPara算法应用到原材料检验系统中,实验结果表明,该算法提高了原材料检验的成功率和检验人员效率。

关键词：实时操作系统高级Petri网模拟框架多处理器调度算法任务分割

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：