改进的端到端实时CORBA调度模型可调度性分析算法

端到端实时CORBA系统调度模型的可调度性分析算法存在着一些缺陷和局限．针对其局限性，提出了改进的可调度性分析算法，采用时间需求分析方法，增加考虑了同一处理器上兄弟子任务对时间需求的影响，以及一个端到端任务在同一处理器上存在着2个以上子任务的情形。通过计算任务影响函数，分别推导出2类子任务的时间需求函数。新的可调度性分析算法不仅具有良好的通用性，而且提高了原有算法的判定能力。可适用于含有递归调用的实时CORBA任务集的可调度性分析和判定。     

考虑缓存预热时间的多核调度系统验证

随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时间.为此基于调度理论的测试方法比较悲观,在作可调度性判定时,引入模型检测.考虑缓存预热时间的抽象模型仅局限在双核,提出一种建模方法,能够在更多核的条件下,验证调度系统的正确性和可调度性.     

混合实时任务的两级调度策略

面向混合实时任务应用,提出一种两级结构调度策略:对周期性实时任务采用时间触发,非周期性实时任务则采用事件触发.先建立任务模型并定义相关概念,然后给出调度策略的架构,并对调度算法、可调度性、抖动、时标间隔及调度策略优化等进行研究.结合windows CE.NET进行的调度策略实验验证结果表明,该方法能提高混合实时任务的确定性,减小抖动.文中最后讨论了时标间隔对处理器利用率和周期分辨率的影响.     

基于时间触发和事件触发的混合实时任务两级调度策略研究

针对混合实时任务应用, 提出一种两级结构调度策略：对周期性实时任务采用时间触发, 非周期性实时任务则采用事件触发．先建立任务模型并定义相关概念, 然后给出调度策略的架构, 并对调度算法、可调度性、抖动、时标间隔及调度策略优化等进行深入研究．结合Windows CE.NET进行了调度策略实验验证, 结果表明, 该方法能提高混合实时任务的确定性, 减小抖动．最后, 讨论了时标间隔与处理器利用率及时标间隔与周期分辨率的关系．     

支持指令预取和缓存划分的多核实时系统缓存WCRT最小化

对嵌入式多核实时系统,为了保证任务的可调度性和可靠性,最坏情况下的性能是一个优先考虑的问题.顺序指令预取可以提高实时任务的最坏情况下的性能,但对于实时系统中不同的子任务,在不同预取度下,指令预取获得的最坏情况下性能效率也不同,因此会影响整个实时系统的最坏情况下响应时间WCRT(Worst-Case Response Time).本文利用缓存划分技术消除多核实时系统中多个子任务在共享缓存上的干扰,然后提出了多核实时系统的WCRT优化方法.该方法建立ILP(Integer-Linear Programming)方程,通过调整共享缓存划分因子和系统中子任务的指令预取度来最小化系统的WCRT.实验对多核上的DEBIE系统进行实例分析,结果表明优化算法在保证DEBIE系统满足时间截止期的情况下,使得优化后的WCRT比不同预取度下的WCRT平均减少12.2%.     

基于协同环境的混合实时任务调度模型

针对协同处理应用的混合实时任务调度需求,提出了基于预取时间的虚拟服务器调度模型,给出了模型调度中的相关算法,论证了算法的可调度性.该算法基于资源划分补给策略,可以实现多种调度算法在同一个实时调度系统中的并发工作.实验结果表明该模型具有很好的调度效果.     

基于RMA的雷达数据处理任务可调度性判定

实时系统中任务的可调度性是系统正确的关键.单调速率调度算法RMA是任务调度的重要算法，通过对雷达数据处理任务的时间需求模型的分析，使用RMA对该任务进行了可调度性判定.在分析任务两种不同的实现方法及相应时间开销的基础上，给出了这两种实现方法在RMA下可调度性判定的充分必要条件.     

双参数模糊调度在实时控制系统中的应用

针对嵌入式多任务实时控制系统,提出模糊调度设计(FSD)算法.该算法基于任务重要性和空闲时间2个特征参数,动态调整任务优先级,使得空闲时间越短且越重要的任务,其优先级越高.FSD算法在资源有限时可以提高关键任务的可调度性和控制性能,在不同系统负载下,通过灵活的模糊调度规则获得满意的系统可调度性能.为评估调度算法,定义性能指标IVR为任务价值总和与任务重要性之和的比值,若IVR越大,则系统可调度性越好.仿真结果表明:在正常负载下,FSD算法在保证关键任务可调度性的同时,对非关键任务的可调度性影响较小,任务调度成功率比MIX(加权组合)算法的高;超载时,FSD算法优先保证关键任务在其截止期内完成,避免EDF(截止期优先)算法中易出现的多米诺现象发生,有效提高系统的整体性能.     

一个基于RM的弱硬实时调度算法

在定义弱硬实时系统周期任务模型的基础上,提出基于RM调度策略的弱硬实时调度算法PV-RM.PV-RM调度算法在对任务的未来行为进行预测的基础上,通过将任务在抢占段和让步段之间切换,动态调整任务的优先级以反映紧迫程度.在系统过载时,PV-RM调度算法按照任务的初始优先级,为重要的任务提供满足其弱硬实时约束的服务,为其他任务提供尽力而为的服务.给出了PV-RM调度算法的可调度性分析及可调度判定不等式,并通过示例分析说明了该算法的有效性.     

一种高效的节能动态调度算法

研究了可调度性测试条件及考虑处理器模式切换的时间和能量开销,从多个方面改进了ES-RHS算法.首先,给出了新的可调度性测试条件,大大降低了其悲观性;其次,通过任务合并消除了处理器的空闲模式,大大减少模式切换次数,从而降低功耗;最后,放松了对处理器在每个协周期内休眠时间的限制.模拟实验结果表明,与ES-RHS相比,提出的算法节约17%～65%功耗,并且适用于更多类型的处理器.     

多核系统上任意2序列公共元素的并行查找

文章依据多核系统共享二级缓存和私有一级缓存的容量,采用数据多级分块技术、数据局部性原理和循环并行优化方法,设计了多核系统上存储高效、线程级并行、扩展性好的任意2序列公共元素的并行查找算法。结果表明,该文所给算法充分发挥了多核系统的软硬件特性,获得了良好的加速比和可扩展性。     

一种无线网络控制系统概率性任务实时调度算法

传统无线网络控制系统中概率性任务调度算法存在效率低下、延迟时间长的问题．利用概率模型来解决时间和优先级问题,并提出了一种高效的任务调度算法,即通过判断队列的可调度性,提高调度的成功率．仿真实验表明,该算法适用于实时系统调度问题,且较已有的传统算法在性能上有一定的提高．     

一种基于时间片的抢占控制模型

针对实时系统中任务调度问题,提出了一种基于时间片的抢占控制模型.该模型以抢占次数上限为特征参数,在满足任务集可调度的前提下,由该特征参数计算出任务时间片并按片内不可抢占的限制条件优化任务抢占次数.采用遗传算法对该抢占控制模型进行了离线实现,同时使用惩罚函数来保证整个任务集的可调度性.通过仿真实验,验证了该模型的有效性.     

Schedulability Analysis Method of Timing Constraint Petri Nets

IntroductionTiming constraint Petri nets[1] (TCPNs) are a classof Petri nets that have general time constraints.They synthesize the common characteristics of timePetri nets[2 ,3] and timed Petri nets[4 ] with thetheoretical foundation of classical Petri nets (PNs)and the representation of timing constraints.TCPNs use weak firing rules,which means thatanenabled transition can either fire or not firedepending on the job scheduler. The schedulabilityanalysis of TCPNs was analyzed by Tsai …     

多核平台的并行实时调度与内存分配算法

多核处理器凭借着低功耗高性能的优势占据了市场.针对多核平台上并行实时任务,提出局部与全局EDF相结合的调度算法,其中任务的截止期划分、执行预算以及迁移时机由所设计的处理器带宽预留服务器决定.同时,提出了内存分配算法,该算法能够更好地为并行实时任务管理内存资源.实验结果表明新的调度算法具有更高的调度成功率.另外,在内存资源竞争的前提下,内存分配算法可以保证并行任务的实时性与系统稳定性.     

基于多核处理器的动态共享缓存分配算法

对于具有共享缓存结构的多核处理器,存在并行应用对共享缓存冲突访问导致性能下降的现象.为合理地分配共享缓存以有效地解决这类问题,提出了一种共享缓存分配方法,通过将并行应用对共享缓存访问未命中的情况进行分类与追踪,并根据建立的性能增益模型在行的粒度上进行动态地分配共享缓存,使系统的整体性能得到改善.实验结果表明,新算法能合...     

基于任务映射与缓存划分的WCRT优化方法

为了降低系统最坏响应时间（WCRT）,提出了一种基于任务映射与缓存划分的WCRT优化方法.该方法分为两个阶段,第一阶段采用任务在最佳缓存容量下的最坏情况执行时间（WCET）进行任务映射;第二阶段以满足系统的缓存容量约束为原则对映射后的任务进行缓存容量回收及任务映射的再调整,同时在两个阶段均兼顾系统的负载均衡.实验结果表明,该方法在降低系统最坏响应时间及执行效率方面都能获得良好的效果,系统最坏响应时间相比GCP算法平均降低了6.7%,相比ILP方法有更快的执行效率.      

基于物化策略的异构数据集成的动态查询调度

主要是引入了物化策略来优化异构数据集成调度算法,从总体上介绍了异构数据集成系统的查询处理流程.为了解决传统查询调度存在的几个问题:成本估计不正确,运行时可用的内存不足和数据传输率无法预测,提出了满足内存限制的一种查询调度的动态策略,主要包括调度条件、监察临界值、物化策略.最后根据动态调度优化对子查询结果进行整合,通过实验证明本文中动态查询调度的优越性.     

An Efficient Real-Time Fault-Tolerant Scheduling Algorithm Based on Multiprocessor Systems

In the context of real-time fault-tolerant scheduling in multiprocessor systems, Primary-backup scheme plays an important role. A backup copy is always preferred to be executed as passive backup copy whenever possible because it can take the advantages of backup copy de-allocation technique and overloading technique to improve schedulability. In this paper, we propose a novel efficient fault-tolerant ratemonotonic best-fit algorithm efficient fault-tolerant rate-monotonic best-fit （ERMBF） based on multiprocessors systems to enhance the schedulability. Unlike existing scheduling algorithms that start scheduling tasks with only one processor. ERMBF pre-allocates a certain amount of processors before starting scheduling tasks, which enlarge the searching spaces for tasks. Besides, when a new processor is allocated, we reassign the task copies that have already been assigned to the existing processors in order to find a superior tasks assignment configuration. These two strategies are all aiming at making as many backup copies as possible to be executed as passive status. As a result, ERMBF can use fewer processors to schedule a set of tasks without losing real-time and fault-tolerant capabilities of the system. Simulation results reveal that ERMBF significantly improves the schedulability over existing, comparable algorithms in literature.