Linux在实时方面存在哪些不足？ 如何去改进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为中断数。
　　中断软件模拟被用来解决多个中断同时发生的情形。当一个硬件中断发生时，系统只是简单的在时间表中报告这一时间的发生，然后立即将CPU的控制权返回给操作系统，完全略过了查中断向量表并执行相应的中断服务程序。系统在Linux内核之前截获了所有应中断信号，并根据当前实时任务的需要，由软中断模拟机制处理或挂起该中断（例如：IBMPC中的8259中断控制器）。
　　采用这个方法，可以减少当多个中断同时发生时任务的响应时间，最长的延迟时间为N*IST’，其中N为中断数。在这里之所以是IST’，而不是IST，是因为采用软中断软件模拟的方法使得在IST时间段内只执行一些简单的操作。
　　2. 抢占式内核体系结构的设计
　　为了解决Linux实现硬实时的最大障碍，使Linux内核成为完全可被抢占实时内核，典型的实现方案是双核结构。使用实时核来运行实时任务，Linux内核来运行非实时任务。例如：对于实时数据采样分析而言，利用实时内核运行一个实时任务来完成数据采集，另一个实时任务完成数据分析和控制输出功能；同时利用Linux内核上运行的界面来进行数据显示。如图1所示。
　　
　　图1 双内核结构
　　在Linux内核和硬件之间加个小的实时核，由它管理中断，提供一些必要的功能，如底层任务创建、中断服务程序，并且为底层任务、ISR和Linux进程之间进行通信排队；而Linux内核本身则成为优先级最低的Idletask。
　　对实时性要求强的应用编写成实时任务，在实时内核上直接运行。Linux内核可以被优先级更高的实时任务抢占。对于Linux内核的修改主要集中在三方面：（1） 在Linux内核中影响实时性的地方增加控制点，使内核在控制点可以被抢占，减少内核抢占延迟；（2） 将执行时间较长的系统划分为几个甚至是十几个较小的块分别执行，使实时任务随时中断非实时任务；（3） 根据实际需要，增加部分功能。
　　随着嵌入式应用的深入，特别是在数字通信和网络中的应用，多核结构的处理器也陆续上市。如：Motorola公司研发的MPC8260PowerQUICC||融合了两个CPU-嵌入式PowerPC内核和通信处理模块（CPM）；Infineon公司推出的TC10GP和增强型TC1130都是三核（TriCore）结构的微处理器，这些处理器的产生对于Linux应用中的实时性都大有帮助。 3. 实时调度的算法研究
　　常用的实时调度算法有：基于优先级的调度算法（priority-drivenscheduling，PD）；基于时间驱动的调度算法（time-drivenscheduling，TD）；基于比例共享的调度算法（share-drivensched2uling，SD）。基于优先级的调度算法 调度器以优先级作为寻求下一个任务执行的依据。可分为如下两种类型：
　　（1） 静态优先级调度算法：该算法给系统中所有进程都静态的分配一个优先级。静态优先级的分配可以根据应用的属性来进行，例如任务的周期、用户优先级或者其他预先确定的策略。RM（RateMonotonic）是一种典型的静态优先级调度算法，它根据任务执行周期的长短来决定调度优先级，执行周期小的任务具有较高的优先级。
　　（2） 动态优先级调度算法：这种算法根据任务的资源需求来动态的分配任务的优先级。EDF（earliestdeadlinefirst）算法是一种典型的动态优先级调度算法，该算法根据就绪队列中各个任务的截止期限来分配优先级，具有最近截止期限的任的优先级最高。
　　基于时间驱动的调度算法
　　该算法本质上是一种设计时就确定下来的离线的静态调度方法。在系统的设计阶段，在明确系统中所有处理的情况下，对于各个任务的开始、切换以及结束时间等事先组出明确的安排和设计。
　　基于比例共享的调度算法
　　这是一种越来越受到关注的实时调度模式，基于GPS（generalprocessorscheduling）的算法，其基本思想就是按照一定的权重（CPU使用的比例）对一组需要调度的任务进行调度，使其执行时间与权重完全成正比。可以通过两种方法来实现比例共享调度算法：（1）是调节各个就绪进程出现在当前调度队列队首的频率，并调度队首的进程执行；（2）是逐次调度就绪队列中的各个进程投入运行，但根据分配的权重调节分配给每个进程的运行时间片。比例共享算法包括轮转法、公平共享法、公平队列法和彩票调度法等几类。
　　每一种调度策略都有自己的优越性和不足。在这里我们提出了一种宏观调度结构，通过设计和构造多属性和多调度器的选择机制，使三种实时调度策略的应用都得到支持，相对于只对单种调度策略提供支持的方案，拓展了系统的可使用范围。宏观调度结构如图2所示。
　　
　　图2 宏观调度结构
　　我们给每一个实时任务定义了4个调度属性：priority（优先级：限制该任务比相关联的其他任务的优先权）、starttime（起始时间：任务开始执行时间）、finishtime（截止时间：任务停止时间）和budget（预设值：任务允许执行时间），不同属性的数据对应不同的调度策略。宏观调度结构分为两个模块：属性分配模块和调度器选择模块。属性分配模块给每一个实时任务分配多个属性值，并通过其中的一两个属性值决定哪个属性优先，这样调度器选择模块就可以根据属性的优先级别选择不同的调度器。例如：如果优先级属性优先，则调度器就变成了一个纯粹的PD调度器；如果截止时间优先，那么调度器就作为EDF调度器来工作。
　　实验时采用Pentium-||400处理器，128MB内存，运行环境Linux2.0.35（以RED-Linux0.5为补丁），以RM调度策略为例，分别测量每一次系统请求消耗的时间。数据整理如下：宏观调度结构下属性分配模块消耗的时间大部分不到40Ls，平均约35Ls，调度器选择模块平均消耗时间约85Ls，消耗时间总计为118Ls，约占0.118%的CPU时间；单一调度策略的情况平均消耗时间约为25Ls，约占0.025%的CPU时间。宏观调度结构的延迟时间为传统调度方式的5倍，对于大多数的嵌入式系统来讲内核的灵活性和可配置性比调度的延时更为重要，而宏观结构和单一调度结构的CPU可用时间分别为99.88%和99.97%，差别极小，符合嵌入式系统实时性要求。
　　五、结论与展望
　　Linux虽然为分时操作系统，但由于其功能强大、源代码开放以及可移植性强等优势，已成为日益流行的嵌入式实时操作系统的解决方案。本文从软中断模拟技术、可抢占式内核和实时调度策略三个方面给出了改善系统实时性能的方法，并提出了通过采用宏观调度结构实现的混合调度，拓展了实时系统的应用范围。Linux实时性能的逐步完善，必将大大促进嵌入式Linux在工业控制、后PC时代信息电器等领域的广泛应用，应用的需要也会进一步促进大量新型控制算法的出现。