| 您现在的位置：首页 > 技术资料 |  上载库存 |
|
嵌入式Linux操作系统实时性的分析与研究 一、引言 Linux本身为分时操作系统，其系统目标为较好的平均响应时间和较高的吞吐量，而实时系统则主要考虑任务的按时完成、尽量减少进程运行的不可预测性等。但与商业嵌入式操作系统相比Linux遵循GPL，具有源代码开放、定制方便、支持广泛的计算机硬件等优点，所以，近年来嵌入式Linux成为嵌入式系统方向上的一个研究热点。本文首先分析了实时系统的特点和Linux内核在实时应用方面的不足，然后针对影响操作系统实时性能的若干方面进行研究，提出解决方案，最后总结全文。 二、实时系统的分类 实时系统最重要的特点就是实时性，即系统的正确性不仅仅依赖于计算的逻辑结果的正确性，还取决于输出结果时间的及时性。从这个角度看，实时系统是“一个能够在指定或者确定的时间内完成系统功能和对外部环境做出响应的系统”。按对实时性能要求的程度，实时系统可分为两
(1) 硬实时系统：要求可确定性强，具有明确的实时约束，在某个限定的时刻之前不能完成任务将造成灾难性的后果。 (2) 软实时系统：也对时间敏感，但偶尔发生不能满足严格实时要求的情况也是允许的。 三、Linux在实时方面存在的不足 Linux虽然符合POSIX1003.1b关于实时扩展部分的标准，例如：支持SCHED_FIFO和SCHED_RR实时调度策略，锁内存机制(memorylocking)，实时信号等功能，但是由于其最初的设计目标为通用分时操作系统，因此作为一个实时操作系统，Linux仍然存在如下缺陷： (1) Linux的内核本身是非抢占的。Linux下分用户态和核心态两种模式，当进程运行在用户态时，可被优先级更高的进程抢占，但当它进入核心态时，其他用户态进程优先级再高也不能抢占它。 (2) Linux虽然给实时进程提供了较高的优先级，但是没有加入时间限制。例如：完成的最后期限、应在多长时间内完成、执行周期等等。同时，其他大量的非实时进程也可能对实时进程造成阻塞，无法确保实时进程的响应时间。 (3) 时钟粒度粗糙。时钟管理是操作系统的脉搏，任务的执行和中止在很多情况下都是由时钟直接或间接唤起的，它还是进程调度的重要依据。Linux的周期模式定时器频率仅为100Hz，远不能满足实时应用的要求。 四、改进内核实时性的分析与研究 从中断软件模拟、可抢占式内核体系结构、实时任务的调度策略这三个方面对嵌入式Linux内核进行研究，并给出了相应的提高实时性的方法。 1. 响应时间的分析及解决方法 任务的响应时间被定义为一个事件的发生和任务响应这一事件开始执行之间的间隔时间，通常有以下几个因素影响任务的响应时间。 (1) 中断分配时间IDT（interruptdispatchtime）：当一个中断产生时，在调用中断处理程序占用CPU以前，操作系统用来保存所有的寄存器中的内容和系统中其他的关于这一任务状态的时间。 (2) 中断服务时间：IST（interruptservicetime）：中断服务程序用来从硬件设备读取信息或从操作系统收集信息所用的时间。 (3) 内核抢占时间KPT（kernelpreemptiontime）：在操作系统意欲抢占当前进程与抢占实际上发生之间的时间间隔。 (4) 调度延迟SD（scheduledelay）：调度程序用来调度另一个线程投入运行的时间。 (5) 进程切换时间CST（contestswitchingtime）：当前线程用来保存寄存器和系统状态的时间与将要运行的线程恢复寄存器中的内容和系统状态的时间总和。 (6) 系统调用返回时间RST（returnfromsystemcall）：处于内核态的线程在它返回用户态之前检查一些状态所用的时间。 以上这些时间中，SD、CST和RST总是固定不变的，如果Linux内核设计得当的话，IDT、IST和KPT可以有效的减少。在实时应用的环境中，若干个中断同时发生的情况是完全可能存在的。这时任务的响应时间最多将包含N(IDT+IST)，N为中断数。 中断软件模拟被用来解决多个中断同
采用这个方法，可以减少当多个中断同时发生时任务的响应时间，最长的延迟时间为N*IST’，其中N为中断数。在这里之所以是IST’，而不是IST，是因为采用软中断软件模拟的方法使得在IST时间段内只执行一些简单的操作。 2. 抢占式内核体系结构的设计 为了解决Linux实现硬实时的最大障碍，使Linux内核成为完全可被抢占实时内核，典型的实现方案是双核结构。使用实时核来运行实时任务，Linux内核来运行非实时任务。例如：对于实时数据采样分析而言，利用实时内核运行一个实时任务来完成数据采集，另一个实时任务完成数据分析和控制输出功能；同时利用Linux内核上运行的界面来进行数据显示。如图1所示。
图1 双内核结构
(2) 动态优先级调度算法：这种算法根据任务的资源需求来动态的分配任务的优先级。EDF（earliestdeadlinefirst）算法是一种典型的动态优先级调度算法，该算法根据就绪队列中各个任务的截止期限来分配优先级，具有最近截止期限的任的优先级最高。 基于时间驱动的调度算法 该算法本质上是一种设计时就确定下来的离线的静态调度方法。在系统的设计阶段，在明确系统中所有处理的情况下，对于各个任务的开始、切换以及结束时间等事先组出明确的安排和设计。 基于比例共享的调度算法 这是一种越来越受到关注的实时调度模式，基于GPS（generalprocessorscheduling）的算法，其基本思想就是按照一定的权重（CPU使用的比例）对一组需要调度的任务进行调度，使其执行时间与权重完全成正比。可以通过两种方法来实现比例共享调度算法：(1)是调节各个就绪进程出现在当前调度队列队首的频率，并调度队首的进程执行；(2)是逐次调度就绪队列中的各个进程投入运行，但根据分配的权重调节分配给每个进程的运行时间片。比例共享算法包括轮转法、公平共享法、公平队列法和彩票调度法等几类。 每一种调度策略都有自己的优越性和不足。在这里我们提出了一种宏观调度结构，通过设计和构造多属性和多调度器的选择机制，使三种实时调度策略的应用都得到支持，相对于只对单种调度策略提供支持的方案，拓展了系统的可使用范围。宏观调度结构如图2所示。
我们给每一个实时任务定义了4个调度属性：priority（优先级：限制该任务比相关联的其他任务的优先权）、starttime（起始时间：任务开始执行时间）、finishtime（截止时间：任务停止时间）和budget（预设值：任务允许执行时间），不同属性的数据对应不同的调度策略。宏观调度结构分为两个模块：属性分配模块和调度器选择模块。属性分配模块给每一个实时任务分配多个属性值，并通过其中的一两个属性值决定哪个属性优先，这样调度器选择模块就可以根据属性的优先级别选择不同的调度器。例如：如果优先级属性优先，则调度器就变成了一个纯粹的PD调度器；如果截止时间优先，那么调度器就作为EDF调度器来工作。
五、结论与展望 Linux虽然为分时操作系统，但由于其功能强大、源代码开放以及可移植性强等优势，已成为日益流行的嵌入式实时操作系统的解决方案。本文从软中断模拟技术、可抢占式内核和实时调度策略三个方面给出了改善系统实时性能的方法，并提出了通过采用宏观调度结构实现的混合调度，拓展了实时系统的应用范围。Linux实时性能的逐步完善，必将大大促进嵌入式Linux在工业控制、后PC时代信息电器等领域的广泛应用，应用的需要也会进一步促进大量新型控制算法的出现。 图2 宏观调度结构
| ||||||||||||||||||
