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

• 作者: 杨金彪 陈香兰
• 来源期刊: 计算机系统应用
• 关键词: 空间嵌入式实时系统 容错调度 两级容错设计 服务体/执行流模型
• 年，卷（期）: 2016,（3）
• 页码范围: 43-49
• 页数: 7页
• 字数: 6139字
• 语种: 中文

摘要

空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统MiniCore中进行.加入两级容错机制后,内存数据准确性得到保证,MiniCore内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈香兰	中国科学技术大学计算机科学与技术学院	48	235	8.0	12.0
2	杨金彪	中国科学技术大学软件学院	1	0	0.0	0.0