多处理器单调速率任务分配算法性能评价 被引量：5

1

作者 王涛 刘大昕 《计算机科学》 CSCD 北大核心 2007年第1期272-277,共6页

多处理器任务分配调度算法是一类经典实时调度算法,然而目前研究在如何根据任务集特征选择任务分配算法方面少见指导性原则,不利于提高多处理器任务分配算法的可调度率及使用尽可能少的处理器达到最优调度结果。基于两种多处理器任务调... 多处理器任务分配调度算法是一类经典实时调度算法,然而目前研究在如何根据任务集特征选择任务分配算法方面少见指导性原则,不利于提高多处理器任务分配算法的可调度率及使用尽可能少的处理器达到最优调度结果。基于两种多处理器任务调度策略的比较,本文给出划分策略下的多处理器RM调度的可调度条件和任务分配算法及分析。仿真结果表明,各任务分配算法所需处理器数与任务集总利用率成正比。同时,分析总结出各算法适用范围及如何根据任务集利用率选择合适算法的指导原则。最后结果还表明,实际算法性能与理论性能界存在差异。 展开更多

关键词 多处理器 速率单调 划分 可调度性

在线阅读 下载PDF 职称材料

单调速率任务分配算法利用率的界限分析

2

作者 王涛 刘大昕 《计算机应用》 CSCD 北大核心 2006年第9期2217-2221,共5页

通过对单调速率任务分配算法调度策略和可调度条件的分析,在多处理器周期任务抢占调度模型基础上,细致刻画了任务分配算法如何分配任务的行为。依据Liu和Layland定理,给出多处理器下任务分配算法的最小RM利用率界的定理。仿真结果表明,... 通过对单调速率任务分配算法调度策略和可调度条件的分析,在多处理器周期任务抢占调度模型基础上,细致刻画了任务分配算法如何分配任务的行为。依据Liu和Layland定理,给出多处理器下任务分配算法的最小RM利用率界的定理。仿真结果表明,分配算法的利用率界是不同特征任务集选择不同分配算法进行任务划分的关键,通过对任务集总利用率与算法利用率界的比较,判断使用该算法对任务集是否可以产生可行分配。 展开更多

关键词 速率单调 任务分配 可调度性 利用率界

在线阅读 下载PDF 职称材料

基于树状线性规划搜索的单调速率优化设计 被引量：6

3

作者 陈力 王永吉 +1 位作者 吴敬征 吕荫润 《软件学报》 EI CSCD 北大核心 2015年第12期3223-3241,共19页

改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：... 改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。 展开更多

关键词 实时系统 单调速率 最优化 搜索算法 线性规划 可满足性模定理

在线阅读 下载PDF 职称材料

基于命题投影时序逻辑的单调速率调度算法模型检测 被引量：3

4

作者 田聪 段振华 《软件学报》 EI CSCD 北大核心 2011年第2期211-221,共11页

提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系... 提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系统期望的性质,通过SPIN验证系统模型是否满足性质,从而得知一个任务组在RMS下是否可调度.同时,RMS算法控制下的任务调度系统的其他性质也可以得到验证. 展开更多

关键词 时序逻辑 模型检测 单调速率调度算法 验证 实时系统

在线阅读 下载PDF 职称材料

混合实时事务的延期单调速率调度算法及其可调度性分析 被引量：2

5

作者 刘云生 何冰 冉龙波 《计算机学报》 EI CSCD 北大核心 2004年第3期289-294,共6页

对于含有实时和非实时两部分的混合实时应用 ,传统的单调速率调度算法 (RM)已不再适用 .为此 ,该文引入“混合实时事务”的概念 ,并针对这类事务提出一种延期单调速率调度算法 (DRM) ;着重分析了DRM算法对混合实时事务的可调度性 ;进行... 对于含有实时和非实时两部分的混合实时应用 ,传统的单调速率调度算法 (RM)已不再适用 .为此 ,该文引入“混合实时事务”的概念 ,并针对这类事务提出一种延期单调速率调度算法 (DRM) ;着重分析了DRM算法对混合实时事务的可调度性 ;进行了实验测试与性能分析比较 .结果表明 ,事务集中混合实时事务占的比例越高 ,混合事务中非实时子事务占的比例越大 ,该算法的CPU使用率阈值就越高 ,且在各种情况下 ,DRM算法与RM算法相比性能都更优 ,最低情况也与之一样 . 展开更多

关键词 实时数据库 事务处理 延期单调速率调度算法 可调度性分析 混合实时事务

在线阅读 下载PDF 职称材料

基于单调速率的可调度性判定改进算法 被引量：2

6

作者 徐建华 李允 《计算机工程》 CAS CSCD 北大核心 2011年第22期45-47,共3页

在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性... 在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性,从而确定任务集的可调度性。通过实例分析及与现有判定方法的比较,验证了该算法的正确性和高效性。 展开更多

关键词 实时调度 单调速率 任务集 可调度性判定 时钟变量

在线阅读 下载PDF 职称材料

单调速率调度算法的改进 被引量：3

7

作者 李学桥 梁爽 陈园 《郑州轻工业学院学报（自然科学版）》 CAS 2010年第6期29-32,共4页

针对经典的静态调度算法RM仅以任务的周期来决定优先级,容易导致某些周期较长且非常重要的任务错过截止期而无法调度的问题,提出一种新的静态调度算法——基于单调速率调度算法的改进算法(CPSS).该算法利用任务的运行时间和重要程度2个... 针对经典的静态调度算法RM仅以任务的周期来决定优先级,容易导致某些周期较长且非常重要的任务错过截止期而无法调度的问题,提出一种新的静态调度算法——基于单调速率调度算法的改进算法(CPSS).该算法利用任务的运行时间和重要程度2个参数计算得出任务的综合优先级,并将综合优先级通过分组的方式进行分类.理论分析和实验结果表明,该算法降低了任务的截止期错失率,可以更有效地调度实时任务. 展开更多

关键词 单调速率调度算法 静态调度 综合优先级 分组方式 实时任务调度

在线阅读 下载PDF 职称材料

基于单调速率调度算法的μC/OS-II多任务周期的设计 被引量：2

8

作者 石为人 欧国建 《计算机应用》 CSCD 北大核心 2007年第3期706-708,共3页

嵌入式实时操作系统μC/OS-II对于多任务调度采用让就绪表中优先级最高的任务总是处于运行状态,这种策略在周期性多任务的调度中存在着缺陷,可能使得任务的周期设计不当导致任务不能被调度。通过引入单调速率调度算法,在对多个任务设计... 嵌入式实时操作系统μC/OS-II对于多任务调度采用让就绪表中优先级最高的任务总是处于运行状态,这种策略在周期性多任务的调度中存在着缺陷,可能使得任务的周期设计不当导致任务不能被调度。通过引入单调速率调度算法,在对多个任务设计任务周期时予以分析,确定每个任务都能被调度。 展开更多

关键词 单调速率调度算法 μC/OS-Ⅱ 多任务周期 可调度性判定

在线阅读 下载PDF 职称材料

改进的单调速率调度算法 被引量：3

9

作者 刁承 虞慧群 《计算机科学与探索》 CSCD 2011年第6期562-568,共7页

实时系统中调度算法起着重要的作用。单调速率调度算法(rate monotonic algorithm,RM)是一种被广泛使用的调度算法,并且已被证明是一种最佳的静态优先级算法。传统的RM算法忽略上下文切换需要消耗的时间,针对此问题,提出了一种延迟抢占... 实时系统中调度算法起着重要的作用。单调速率调度算法(rate monotonic algorithm,RM)是一种被广泛使用的调度算法,并且已被证明是一种最佳的静态优先级算法。传统的RM算法忽略上下文切换需要消耗的时间,针对此问题,提出了一种延迟抢占的改进方法。该方法考虑了上下文切换消耗时间对调度算法的影响,可以减少低优先级任务不必要的频繁抢占。通过实验证明了该方法的有效性。 展开更多

关键词 实时系统 调度算法 单调速率调度算法 延迟抢占单调速率调度算法

在线阅读 下载PDF 职称材料

基于扩展单调速率算法的水下平台通信系统

10

作者 夏英凯 徐国华 +1 位作者 徐侃 曾志林 《海洋工程》 CSCD 北大核心 2014年第6期119-127,共9页

针对水下平台工作环境复杂、通信实时性和可靠性要求高的特点,设计了一套分布式冗余通信系统。该通信系统以西门子PLC S7-400H和工控机为主控制器,基于波分复用技术建立了冗余的光纤传输通路;同时提出了一种新型的扩展单调速率算法,对... 针对水下平台工作环境复杂、通信实时性和可靠性要求高的特点,设计了一套分布式冗余通信系统。该通信系统以西门子PLC S7-400H和工控机为主控制器,基于波分复用技术建立了冗余的光纤传输通路;同时提出了一种新型的扩展单调速率算法,对水下平台的任务进行了优先级分配,并基于此算法进行了通信系统软件设计。经过可靠性分析和半实物仿真试验验证,该通信系统的实时性、可靠性及冗余机制符合设计要求,可以成功应用于水下平台,效果良好。 展开更多

关键词 水下平台 分布式通信系统 冗余 扩展单调速率算法 半实物仿真

在线阅读 下载PDF 职称材料

1553B总线上消息的实时调度 被引量：21

11

作者 赵昶宇 颜昌翔 于平 《光学精密工程》 EI CAS CSCD 北大核心 2010年第3期732-740,共9页

为了优化1553B总线传输性能,降低总线上消息传输的延迟时间,讨论了周期消息和非周期消息混合传输情况下总线上的消息调度策略。首先,借鉴周期任务的调度模型对周期消息进行建模,提出了改进的速率单调消息调度算法。然后,利用排队论建立... 为了优化1553B总线传输性能,降低总线上消息传输的延迟时间,讨论了周期消息和非周期消息混合传输情况下总线上的消息调度策略。首先,借鉴周期任务的调度模型对周期消息进行建模,提出了改进的速率单调消息调度算法。然后,利用排队论建立非周期消息的M/M/1排队模型,定量分析了1553B总线的平均响应时间和总线利用率等时间性能参数,并对非周期消息的延迟时间进行优化,推导出总线最优服务率和最小平均延迟时间的计算公式,给出了非周期消息的调度算法。最后,对上述算法在消息混合传输下的可调度性进行了验证。实验结果表明,在总线利用率达96%时,混合消息的平均响应时间为0.713ms。在消息混合传输的情况下,非周期消息的平均响应时间和M/M/1排队模型下理想的非周期响应时间偏差不超过10%。上述算法时间响应特性良好,能够保证周期消息和非周期消息的实时调度。 展开更多

关键词 1553B总线 实时调度 周期消息 非周期消息 排队论 速率单调调度 M/M/1模型

在线阅读 下载PDF 职称材料

基于RMA方法的汽车车身CAN总线优化设计 被引量：12

12

作者 曹万科 张天侠 +1 位作者 刘应吉 杨京峰 《汽车工程》 EI CSCD 北大核心 2007年第12期1098-1101,共4页

针对汽车车身控制信息的高实时性和车身CAN系统扩充的高灵活性等特殊要求,介绍用于实时系统分析的速率单调分析(RMA)方法,在原总线利用率、信息最坏响应时间等实时性指标基础上引入总线扩展灵活性因子进行车身CAN总线方案的寻优设计,并... 针对汽车车身控制信息的高实时性和车身CAN系统扩充的高灵活性等特殊要求,介绍用于实时系统分析的速率单调分析(RMA)方法,在原总线利用率、信息最坏响应时间等实时性指标基础上引入总线扩展灵活性因子进行车身CAN总线方案的寻优设计,并以典型汽车车身控制系统为例,对单信号方案和信号组合方案进行实时性和扩展灵活性对比分析,在线试验结果验证了理论分析数据的正确性。 展开更多

关键词 车身CAN总线 速率单调分析 信号组合方案 优化设计 总线扩展灵活性

在线阅读 下载PDF 职称材料

两种经典实时调度算法的研究与实现 被引量：19

13

作者 邢群科 郝红卫 温天江 《计算机工程与设计》 CSCD 北大核心 2006年第1期117-119,123,共4页

速率单调(RM)调度和最早截止期限优先(EDF)调度在实时调度领域占有重要低位。基于一个x86体系结构的小系统上设计实现RM和EDF调度算法,并在不同的工作负载下,以任务截止期错失率作为衡量不同任务调度算法性能优劣的指标,对两种算法进行... 速率单调(RM)调度和最早截止期限优先(EDF)调度在实时调度领域占有重要低位。基于一个x86体系结构的小系统上设计实现RM和EDF调度算法,并在不同的工作负载下,以任务截止期错失率作为衡量不同任务调度算法性能优劣的指标,对两种算法进行了性能分析和比较。在通常情况下,RM和EDF都可以保证任务成功调度,EDF算法可承受较多的工作负载。但是随着负载的增加,EDF算法性能急剧下降,到一定过载程度,EDF算法性能低于RM算法。 展开更多

关键词 实时调度 速率单调调度 最早截止期限优先调度 截止期限 截止期错失率

在线阅读 下载PDF 职称材料

实时系统的多任务调度 被引量：25

14

作者 刘怀 胡继峰 《计算机工程》 CAS CSCD 北大核心 2002年第3期43-44,150,共3页

讨论了实时系统多任务的调度,对速率单调调度算法进行了改进,以便其能应用于具有非周期任务的实时系统,同时对系统的瞬时过载有一定的适应性。最后,给出了系统中任务可调度的条件。

关键词 实时系统 周期任务 非周期任务 速率单调调度算法 多任务调度 操作系统 计算机

在线阅读 下载PDF 职称材料

基于RMS调度周期、非周期混合任务集的一种新方法 被引量：5

15

作者 谢拴勤 牛云 林文 《计算机应用研究》 CSCD 北大核心 2006年第8期76-79,共4页

提出了一种利用速率单调(RMS)算法确定计算机实时系统中整个任务集优先级的新方法。该方法利用数理统计的规律克服了普通RMS算法只能对系统中周期任务进行有效调度而不能对系统中的非周期任务进行有效调度的局限,扩大了RMS算法的适用范... 提出了一种利用速率单调(RMS)算法确定计算机实时系统中整个任务集优先级的新方法。该方法利用数理统计的规律克服了普通RMS算法只能对系统中周期任务进行有效调度而不能对系统中的非周期任务进行有效调度的局限,扩大了RMS算法的适用范围,简化了非周期任务的处理过程,减小了系统开销。利用该方法在先进飞机电气综合控制与管理系统中进行了整个任务集的可调度性测试、验证,并给出了任务集的实际调度的验证实例。 展开更多

关键词 速率单调算法 周期任务 非周期任务 分布假设检验 可调度性测试与验证

在线阅读 下载PDF 职称材料

嵌入式实时操作系统任务调度算法的改进与应用 被引量：10

16

作者 董吉文 张阳 《计算机应用》 CSCD 北大核心 2009年第9期2516-2519,共4页

在嵌入式系统中,任务调度器的好坏很大程度上决定了系统的性能。针对经典的速率单调(RM)调度算法以任务的周期作为优先级的评测标准,容易导致某些周期长且重要的任务错过截止期限,而当任务数量趋于无穷时,CPU的利用率仅为69%的特点,提... 在嵌入式系统中,任务调度器的好坏很大程度上决定了系统的性能。针对经典的速率单调(RM)调度算法以任务的周期作为优先级的评测标准,容易导致某些周期长且重要的任务错过截止期限,而当任务数量趋于无穷时,CPU的利用率仅为69%的特点,提出一种新的静态调度算法—NSRL。该算法在任务控制块(TCB)中增加两个域,分别为任务的重要度和裕度为零的时刻。在高优先级任务优先执行的前提下,重要度较高且未执行的任务当且仅当裕度为零时,具有较高的优先权可以抢占当前任务运行。通过理论分析和具体实验,该方法降低了任务截止期错失率,提高了CPU利用率,可以更有效地调度实时任务,在无线宽带移动计算中得到了较好应用。 展开更多

关键词 嵌入式实时操作系统 速率单调 周期任务 实时调度 无线宽带移动计算

在线阅读 下载PDF 职称材料

嵌入式实时操作系统分析 被引量：22

17

作者 张克非 《计算机工程与设计》 CSCD 北大核心 2005年第8期2020-2022,2063,共4页

实时多任务操作系统(RTES)是嵌入式应用软件的基础和开发平台.在从功能、性能模型等角度对实时操作系统进行分析的基础上,描迷了抢占式任务调度和中断禁止时间与中断延迟事件的实现.对Linux的系统调用功能的分析,是研究Linux内核源码几... 实时多任务操作系统(RTES)是嵌入式应用软件的基础和开发平台.在从功能、性能模型等角度对实时操作系统进行分析的基础上,描迷了抢占式任务调度和中断禁止时间与中断延迟事件的实现.对Linux的系统调用功能的分析,是研究Linux内核源码几个很好的入口点之一。 展开更多

关键词 实时操作系统 任务切换 抢占式 系统调用 速率单调

在线阅读 下载PDF 职称材料

基于μC/OS-Ⅱ的嵌入式BACnet网关实时调度策略研究 被引量：1

18

作者 武树斌 刘贤德 +1 位作者 王中明 徐海峰 《小型微型计算机系统》 CSCD 北大核心 2006年第1期76-79,共4页

介绍了基于实时操作系统μC/OS-II的嵌入式BACnet网关的实时调度策略.通过扩展速率单调(ERM)算法的可调度性判定,证明BACnet网关是可以采用ERM算法进行多任务实时调度的.对嵌入式BACnet网关的实际测试验证了ERM算法的可行性.

关键词 实时操作系统 嵌入式BACnet网关 扩展速率单调(ERM) 可调度性判定

在线阅读 下载PDF 职称材料

分布式实时系统任务调度算法的设计和实现 被引量：2

19

作者 余科军 蒋毅 《中国测试技术》 2008年第6期69-72,共4页

针对分布式实时任务中容易引起的任务分配不合理及系统负载不平衡的情况,根据分布式实时任务多机执行的特点及分布式实时系统在同一结点上有多任务执行,提出了两级分布式系统结构下实时任务的调度策略:任务分配和任务调度。实验表明,在... 针对分布式实时任务中容易引起的任务分配不合理及系统负载不平衡的情况,根据分布式实时任务多机执行的特点及分布式实时系统在同一结点上有多任务执行,提出了两级分布式系统结构下实时任务的调度策略:任务分配和任务调度。实验表明,在任务分配阶段提出的算法可以更合理地平衡任务,在任务调度阶段采用的调度算法能够更好地完成任务的执行。 展开更多

关键词 分布式实时系统 任务分配 任务调度 加权轮转调度算法 速率单调调度算法

在线阅读 下载PDF 职称材料

混合关键度驱动的实时调度研究

20

作者 张奕 程小辉 +1 位作者 蔡皖东 詹涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2012年第4期617-621,共5页

针对当前运行于不可预测开放环境下的嵌入式多使命复杂关键型系统,需要减少运行成本和处理不可预测工作负载情况的问题,文章提出一种混合关键度驱动的非对称式过载保护最小空闲调度策略。系统过载时,为共享同一处理器的不同关键度任务... 针对当前运行于不可预测开放环境下的嵌入式多使命复杂关键型系统,需要减少运行成本和处理不可预测工作负载情况的问题,文章提出一种混合关键度驱动的非对称式过载保护最小空闲调度策略。系统过载时,为共享同一处理器的不同关键度任务提供非对称式保护,禁止低关键度任务干扰高关键度任务,完全避免了传统的"关键度反转"问题。在恢复暂时阻塞的不同关键度任务时,在速率单调调度的基础上,引入关键度主导的截止期驱动动态调度策略,可使潜在处理器利用率达到100%。实验结果表明,这种新算法的综合性能优于当前已有的混合关键度任务调度算法。 展开更多

关键词 算法 关键度 计算机体系结构 分布式计算系统 反转问题 数学模型 实时系统 调度 混合关键度 速率单调调度 截止期驱动调度

在线阅读 下载PDF 职称材料