###
DOI:
计算机系统应用英文版:2016,25(3):43-49
本文二维码信息
码上扫一扫!
基于服务体/执行流模型的MiniCore系统的容错设计
(1.中国科学技术大学 软件学院, 合肥 230027;2.中国科学技术大学 计算机科学与技术学院, 合肥 230027)
Fault-Tolerant Design of MiniCore Operating System Based on Servent/Exe-Flow Model
(1.Department of Software Engineering, University of Science and Technology of China, Hefei 230027, China;2.Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China)
摘要
图/表
参考文献
相似文献
本文已被:浏览 1157次   下载 1725
Received:April 20, 2015    Revised:September 09, 2015
中文摘要: 空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统MiniCore中进行.加入两级容错机制后,内存数据准确性得到保证,MiniCore内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.
Abstract: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 MiniCore which based on a service body/execution flow model(SEFM). The introduction of fault-tolerant mechanism increases the code size of MiniCore 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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家"核心电子器件、高端通用芯片及基础软件产品"重大专项(2012ZX01034001-001);国家自然科学基金(61379040,61272131)
引用文本:
杨金彪,陈香兰.基于服务体/执行流模型的MiniCore系统的容错设计.计算机系统应用,2016,25(3):43-49
YANG Jin-Biao,CHEN Xiang-Lan.Fault-Tolerant Design of MiniCore Operating System Based on Servent/Exe-Flow Model.COMPUTER SYSTEMS APPLICATIONS,2016,25(3):43-49