共查询到10条相似文献,搜索用时 31 毫秒
1.
2.
当弱硬实时系统约束规范中μ-patterns首个字符为0时,弱硬实时约束规范(-m,P)就失去作用.针对该问题,通过改变截止期满足率的计算方法,提出一个弱硬实时约束规范(-m,P1),在保持(-m,p)优点的同时,扩大了其使用范围,并通过偏序证明来保证其优良性能. 相似文献
3.
4.
对至少连续满足弱硬实时限制的性质进行了扩充,提出并证明了任务不满足子序列长度与任务连续满足的截止期限数之间的关系.在此基础上提出了改进的弱硬实时限制调度算法:MRA.MRA用于在弱硬实时系统中保证任务满足至少连续满足限制,是一种高效、易于实现的调度算法,仿真实验的结果表明,MRA调度算法在提高任务对限制的满足率和保证任务实时性方面优于同类算法. 相似文献
5.
针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。 相似文献
6.
针对硬实时系统中多种类型任务并存的特点,提出一种三级实时调度模型--TLRtS(three-level real-time scheduling).该模型将整个系统空间划分为硬实时、软实时和非实时空间,分别用来处理硬实时、软实时和非实时任务.TLRtS模型不仅可以动态加载多种实时调度算法,还可以集成相应的资源访问控制协议,解决了任务之间存在资源竞争的问题.实验结果表明,此方法既保证了所有硬实时任务严格按照其时间约束在截止期前完成,又尽可能地提高了软实时和非实时任务的服务质量. 相似文献
7.
基于裁剪的弱硬实时调度算法 总被引:6,自引:0,他引:6
针对当前弱硬实时调度算法无法保证超过窗口长度的执行序列的满足率达到一定比例的问题,基于(m~-,p)弱硬实时约束,提出了一种基于裁剪的调度算法(cut-down based scheduling,简称CDBS).由于判断(m~-,p)约束是否满足需要遍历任务的整个执行序列,因此判断复杂度很大.为此,提出一种高效的裁剪执行序列的算法,同时证明其正确性,并利用适当的数据结构,使得计算复杂度与序列长度无关,通过实验说明其降低计算复杂度的有效性.进一步与其他经典实时调度算法(EDF(earliest deadline first),DBP(distance-based priority),DWCS(dynamic window constraint schedule))进行比较,验证该算法与其他算法具有相当的性能. 相似文献
8.
随着嵌入式系统的发展,实时操作系统越来越受到人们的重视,实时操作系统的一个关键问题是实时调度问题,在研究弱硬实时系统的基础上提出了一种受弱硬实时限制的帧间相关周期模型.首先对该模型的调度性进行了分析与研究,得出了一些结论,然后提出了相应的基于双距离的优先级调度算法,该算法充分利用了帧间相关的特点来提高实时任务的可调度性,最后进行了总结与展望. 相似文献
9.