基于排队论和时间需求分析法实时系统时间行为分析.docVIP

基于排队论和时间需求分析法实时系统时间行为分析 　　摘要：针对目前广泛使用的固态优先级RMS调度策略，利用时间需求分析算法对系统中所有周期任务进行可调度性分析测试，保证其在临界点仍可以满足时限。利用排队论中的M/M/1/K排队系统，根据非周期事件接收缓冲和可延期服务器定量分析非周期事件的平均响应时间和系统异步事件丢失率，使之符合系统要求。 　　关键词：实时任务模型； 可延期服务器； 时间需求分析法； M/M/1/K排队模型；可调度性 　　中图分类号：TP316．2文献标志码：A 　　文章编号：1001-3695(2007)12-0106-03 　　 　　实时系统不仅要保证逻辑的正确性，而且要在确定的时间内提供正确的结果。如果某个实时任务没有在要求的时限内完成，就会导致严重后果，对于强实时系统甚至会导致整个系统崩溃。许多实时应用系统涉及混合任务集的调度处理。其中任务可能具有硬截止期和软截止期。硬截止期任务用于保证系统正确运行，通常是周期性的任务；软截止期任务用于实现相对不太关键的系统活动，这类任务通常是非周期的，具有不确定的到达时间。任务的时间需求不同，导致了调度的策略和目标也不同。一般来说，混合任务集的调度目标是保证硬截止期的任务满足其截止期。在上述前提下，在规定的平均响应时间内，使非周期事件的丢失率最小。本文以先进飞机配电系统主处理机为例，利用时间需求分析方法和M/M/1/K排队模型分析系统中强实时任务的可调度性、非周期事件的响应时间和响应数量之间的关系。 　　 　　1先进飞机配电系统主处理机实时任务模型 　　 　　1．1先进飞机配电系统主处理机任务划分 　　先进飞机电气综合控制与管理系统采用分布式计算机系统和负载智能管理技术。该系统是由电气系统处理机(PSP)、电气负载管理中心(ELMC)和汇流条控制器(BPCU)组成的智能化的分布控制网络。其中电气系统主处理机是先进飞机电气综合控制与管理系统的核心部分。其功能示意图如图1所示。该系统是典型的实时系统，本执行软件以实时操作系统VxWorks作为系统软件，由它进行实时任务调度和资源分配管理。VxWorks是以任务为基本运行单位，并以优先级驱动算法来调度任务，所以将PSP的功能合理划分成若干任务并为每个任务赋予合适的优先级是保证系统实时性的关键。 　　 　　根据PSP的功能，PSP实时任务模型包括如下七个任务： 　　a）初始化任务。进行系统初始化，开机自检，建立并启动多任务，完成系统初始操作后，退出执行。 　　b）电网状态采集任务。周期访问ELMC和BPCU等智能终端，获得电网状态数据。 　　c）实时数据库管理任务。更新实时数据时间戳，剥离过期数据，保证实时数据库中数据的时间、逻辑一致性。 　　d）电网状态分析任务。根据实时数据库中各种终端的状态数据判断系统的运行情况，进行故障诊断，并产生相应的故障恢复操作序列。 　　e）负载方程解算任务。根据实时数据库中的当前电网状态解算负载供电请求方程和负载控制方程，产生对负载的控制指令。 　　f）飞机电网状况上传任务。接收公共设备管理系统的指令上传当前飞机电网状态、故障以及恢复的时间、位置和可能的原因。 　　g）机内自检测任务。周期性地进行PSP系统自检，向公共设备管理系统报告工作状况。 　　由于接收公共设备管理系统指令的时刻对于PSP来说是随机发生的，且对于保证飞机电网正常供电来说，上传状态数据相对于其他任务是次要的。上述任务集中飞机电网状况上传任务是非周期执行的弱实时任务，其余任务皆为周期执行的强实时任务。 　　1．2先进飞机配电系统主处理机实时任务模型建立 　　为便于定量分析该混合任务系统的可调度性等实时性能指标，先对任务的时间参数进行建模： 　　 　　为了获得更好的任务时间行为可预测性，减小系统调度开销，PSP采用固定优先级的静态调度算法――RMS算法调度周期任务。该算法主要是解决单一处理器上的多任务调度问题。其基本思想是：基于任务的周期设置其优先级，周期越短，任务的优先级越高；再根据任务优先级高低调度执行。 　　对于非周期任务，为降低非周期任务的平均响应时间，改进非周期任务时间行为的可预测性。PSP采用的处理方法是使用延期服务器。该方法用一个或几个专用的具有较高优先级的周期任务执行所有非周期任务，这种周期任务称为可延期服务器。根据周期大小，服务器有固定优先级，服务器的执行时间被称为预算，它在每个服务器周期就绪时补充。如果此时没有挂起的非周期任务，则在本周期内保持这些分配的执行预算。当有非周期任务就绪时，只要服务器有充足的预算，就可在其周期内执行非周期任务。其执行预算就按照每单位时间一个的速率消耗。延期服务器可用如下模型来描述： 　　 　　4PSP任务集的实际调度测试结果