基于SDL的硬实时调度可执行分析模型

1引言 在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V＆V)及代码的自动生成同步进行.

硬实时环境下固定优先级调度的离线优化

RM调度算法具有简单的实现机制和较低的调度开销,被广泛应用于硬实时调度领域.然而这类算法的固定优先级特征使其在高任务负载环境下具有极高的抢占次数,从而导致了较大的系统开销,因此提出一种方法来减少RM调度的抢占次数.该方法通过离线计算任务集的最优属性来减少基于RM调度的系统在运行时的抢占次数,进而降低系统的抢占开销.仿真结果表明,该方法可以在不付出额外调度开销的前提下有效减少RM调度的抢占次数,降低实时系统的抢占开销.

一种移动终端最优节能实时任务调度算法

讨论在移动终端设备下硬实时任务调度的原理、机制、策略。在硬实时任务对时效性的要求与现时任务对能耗管理的要求这2个约束条件下对任务进行调度,实现最优节能与任务尽可能及时完成2个主要目标。研究在这2个约束条件下调度的规律性,提出按最近截止时间进行分组调度算法,每组调度采用动态最优化策略进行决策。实验结果表明,该算法在任务可调度的情况下能够确保实时调度且能耗最小。

Web服务器基于不精确响应的Web服务机制(英文)

传统Web服务器对于到达的请求使用先来先服务机制。但是,先来先服务机制无法为到达的请求提供区分服务和服务质量保证。在不精确计算和弱-硬实时调度策略基础上,提出了一种Web服务质量机制(简称WQS)为到达Web服务器的请求提供区分服务与服务质量保证。WQS不同于先来先服务机制在于:它首先利用一个请求分类器分类到达的请求到不同级别的队列。其次,借助不精确调度器与内容自适应器,WQS能够使优先级高的队列中请求具有好的响应率和短的响应延迟,使优先级低的队列中请求具有满意的响应率和可接受的响应延迟。最后,本论文描述了一系列在ApacheWeb服务器上针对.WQS的仿真实验,实验表明:WQS是一种能够提供区分服务与服务质量保证,达到改进传统Web服务器或Web服务的可行和有效的方法。