基于服务体/执行流模型的MiniCore系统的容错设计  

Fault-Tolerant Design of Mini Core Operating System Based on Servent/Exe-Flow Model

作　　者：杨金彪[1] 陈香兰[2] 

机构地区：[1]中国科学技术大学软件学院,合肥230027 [2]中国科学技术大学计算机科学与技术学院,合肥230027

出　　处：《计算机系统应用》2016年第3期43-49,共7页Computer Systems & Applications

基　　金：国家"核心电子器件;高端通用芯片及基础软件产品"重大专项(2012ZX01034001-001);国家自然科学基金(61379040;61272131)

摘　　要：空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统Mini Core中进行.加入两级容错机制后,内存数据准确性得到保证,Mini Core内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.Computer systems require high reliability in space environment. Contrary to limited storage space for embedded real-time systems, considering the memory reliability and Fault-tolerant task, we propose a two level of fault-tolerant solution. The program consists of a periodic memory detecting and an error correcting mechanism of system-level and an improved master/slave version scheduling mechanisms of task-level. The experimental verification of the program is carried out in an embedded operating system named Mini Core which based on a service body/execution flow model（SEFM）. The introduction of fault-tolerant mechanism increases the code size of Mini Core kernel by 33% and ensures the accuracy of the memory data, with the system＇s time performance declining slightly and the success rate and scheduling performance of task execution improving significantly.

关 键 词：空间嵌入式实时系统 容错调度 两级容错设计 服务体/执行流模型 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]