基于MiniCore系统的容错设计与实现-软件工程专业论文.docxVIP

摘要摘 摘要 摘 要 空间环境中的计算机系统受环境影响可能会发生单粒子翻转，同时也会遇到 一些软硬件错误，如部件故障、软件缺陷等，因此必须采取一些措施来提高系 统的可靠性。容错是提高计算机系统可靠性的有效手段，而软件容错作为容错技 术的重要方面，为提高系统可靠性提供了灵活有效的方法。 针对存储受限的空间嵌入式实时系统，本文致力于在软件层面为计算机系统 提供一个安全可靠的容错机制。目标是在不影响系统实时性的情况下，在系统 级提供一个容错保护机制，保障系统内存数据的正确性和提高系统服务执行的 成功率；同时在用户级提供一个可配置的容错机制，用户可以根据应用程序特 点的不同，按需选择容错策略。针对以上目标，本文主要完成了三方面的工作： 一是介绍容错实时系统的当前研究现状，阐述运用在操作系统中的软、硬件容 错技术；二是在系统级和用户任务级提出了一个两级容错设计方案。其中，系 统级容错设计由基于内存的信息冗余容错策略和基于服务的三模冗余容错策略， 任务级容错设计由主偈0版本容错调度策略和N版本程序容错调度策略组成；三 是提出了一个改进型的容错任务调度算法。 最后，为了验证本文所提出的软件容错方案的有效性，实验在一款基于服务 体／执行流模型(SEFM)设计的嵌入式操作系统MiniCore中进行。通过实验结 果表明，加入两级容错机制后，系统的内核代码空间增加了约33％，时间性能 指标略微下降，取得的成果是在模拟单粒子翻转(SEU)的影响下，系统内存数 据正确性得到了保证，并且任务的执行成功率显著增加，提高了计算机系统的 可靠性。 关键词：单粒子翻转；可靠性；容错技术；服务体／执行流模型 万方数据 摘要 摘要 万方数据 ABSTRACTl ABSTRACT l he computer system in space environment may occur single event upset by the influence of environment，at the same time also will encounter some hardware and software errors，such as component failure，software bugs，SO some measures must be taken to improve the reliability of the system．Fault tolerance is effective means to improve the reliability of computer systems，as important aspect of fauIt-toierant technology，software fault tolerance to improve the system provides a flexible and effective way to reliability． Contrary to limited storage space for embedded real．time systems，this paper was aimed to provide a safe and reliable mechanism for the fault-tolerant tomputer systems in the software level．The Target is to provide fault tolerant protection mechanisms at the system level which wil l guarantee the system data’S accuracy and Improve the Success rate of service execution system and to provide a configurable fault tolerance mechanisms in level which users can selecting fault．toIerant strategies depending on the application characteristics at the same time．For the above objective，this paper mainly completed the work in three foilows：First introduced real—time fault—tolerant system’S current research status，and describes the use of software and ha