机载嵌入式实时操作系统时间性能测试

在机载嵌入式实时操作系统中,时间性能是一个非常重要的参数.为了评估机载嵌入式实时操作系统的实时性,同时为用户提供操作系统的时间性能参数,本文介绍了支持分区的机载嵌入式实时操作系统中特有的影响时间性能的关键因素--错误响应时间,分区间数据交换时间,进程上下文切换时间,分区上下文切换时间;给出了操作系统时间性能测试的方法,着重分析了计时工具,测试用例的设计,测试点的选取,以及排除影响测试准确行的因素.     

分区内进程管理的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区(Partition)的概念。分区是运行于一个处理机模块上的一个或多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响。分区由一个或多个进程组成,每个进程隶属于特定的分区,各进程之间按照一定的调度策略并发执行。依据微内核的体系结构,本文着重讨论了分区内进程管理方法,涉及进程优先级调度实现、虚中断响应、进程截止期处理和周期进程管理。     

时间分区的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区（Partition）的概念。分区是运行于一个处理机模块上的一个或多个应用程序（或子系统）,这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。     

基于对称多处理架构的软件调试技术研究和实现

为了满足计算机领域用户对高性能及低功耗的双重需求,在深入研究多核现状的基础上,结合核间中断技术,提出了一种对称多处理架构下的软件调试器设计和实现方案。方案不仅成本低,而且不需要特殊调试硬件的支持,可为多核系统的故障诊断和分析提供参考借鉴。     

基于多分区操作系统的多核确定性调度方法设计

为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。