引言
嵌入式实时操作系统(RTOS,Real Time Operating System)为嵌入式应用的开发者提供了系统级的支撑环境,极大地简化了嵌入式软件系统的设计过程,成为操作系统中一个非常重要的分支。随着RTOS在嵌入式系统中的大量应用,RTOS的选择与评价成为了一个重要的问题。一个RTOS的评价要从很多角度进行,如体系结构、API的丰富程度、网络支持、可靠性等。其中,实时性是RTOS评价的最重要的指标之一,实时性的优劣是用户选择操作系统的一个重要参考。评价一个操作系统的实时性应该着重考察它的哪些指标,以及如何进行测试,是本文着重讨论的问题。
1 操作系统实时性的主要指标
严格地说,影响嵌入式操作系统实时性的因素有很多。限于篇幅,本文只列出影响操作系统实时性的6个主要因素。
(1)常用系统调用平均运行时间
即系统调用效率,是指内核执行常用的系统调用所需的平均时间。可以参考POSIX标准,按照进程、线程、同步原语(信号量和互斥体等)、文件、内存、中断处理、时钟、时间分类,选取部分常用的系统调用进行测试,如建立/删除进程与线程、建立/删除文件、读/写文件、设置/得到优先级、创建/释放信号量、分配/释放内存空间、加载/卸载中断处理模块等。选取的样本不可能十分完整,在这里只是作为一种方法提出,仅供参考。
(2)任务切换时间
任务切换时间是指事件引发切换后,从当前任务停止运行、保存运行状态(CPU寄存器内容),到装入下一个将要运行的任务状态、开始运行的时间间隔,如图1所示。
图1 任务切换时间
需要注意的是,要使任务进行切换,需要一定的事件触发。通常,这个事件是同步原语,使任务切换,并且过程可被监控。但是,同步原语的操作会带来一定的系统开销,而且不同操作系统的各种同步原语操作效率不同。因此,对被测操作系统使用其支持的各种同步原语进行任务切换测试,选取各自用时最少者——这里称为“最佳原语”,作为测量值,以使误差最小。经过对Mutex、Semaphore、Critical Section、SVR5 Semaphore、POSIX Semaphore、pthread_mutex的测试之后,测得WinCE的最佳原语为Critical Section,而Linux的最佳原语为pthread_mutex。
(3)线程切换时间
线程是可被调度的最小单位。在嵌入式系统的应用系统中,很多功能是以线程的方式执行的,所以线程切换时间同样是考察的一个要点。测试方法及原理与任务切换类似,不再介绍。
(4)任务抢占时间
任务抢占时间是高优先级的任务从正在运行的低优先级任务中获得系统控制权所消耗的时间,如图2所示。
图2 任务抢占时间
(5)信号量混洗时间
信号量混洗时间指从一个任务释放信号量到另一个等待该信号量的任务被激活的时间延迟,如图3所示。
图3 信号量混洗时间
在嵌入式系统中,通常有许多任务同时竞争某一共享资源,基于信号量的互斥访问保证了任一时刻只有一个任务能够访问公共资源。信号量混洗时间反映了与互斥有关的时间开销,是RTOS实时性的一个重要指标。
(6)中断响应时间
中断响应时间是指从中断发生到开始执行用户的中断服务程序代码来处理该中断的时间。中断处理时间通常不仅由RTOS决定,而且还由用户的中断处理程序决定,所以不应包括在测试框架之内。
针对这些指标的部分或全部,已经有了为数不少的测试方法和测试程序,例如Rhealstone方法,大量的benchmark(lmbench、HbenchOS等)。但这些测试方法及程序或者是由于计时方法的不足导致计时精度不够,或者是由于需要过多的专业硬件设备(如逻辑分析仪、示波器,等),使得测试要求过高,测试条件不易达到,均存在着一定的缺陷。针对这些问题,本文中提出了一种基于CPLD与目标系统结合的测试方法,较好地解决了这些问题。