低辐射空间环境下商用多核处理器层次化软件容错技术研究

本课题对于将商用COTS多核处理器用于低辐射航天环境展开深入研究。空间环境除引发瞬时故障外，还使多核处理器间歇故障率明显增加。多核使得利用软件手段实现间歇故障容错成为可能，创新如下：.1、将瞬时故障与间歇故障分别在应用层和系统软件层解决。这保证了应用的可移植性，也使操作系统具有更强的通用性与灵活性；2、在编译器的支持下，深入研究软件签名控制流检错CFCSS；提出整数线性规划和启发式表算法对复制指令检错EDDI进行调度优化；3、实现支持EDDI与CFCSS的应用层商用多核处理器瞬时故障软件容错；4、通过对间歇故障特点的分析，建立了低辐射空间环境下间歇故障模型；5、提出基于资源监视器RMM的操作系统间歇故障容错方案，对RMM进行详细设计，对多种间歇故障容错方式进行优化。这将为基于many core众核处理器的操作系统设计提供宝贵经验。.本课题为突破外国军品和宇航级器件对我国的封锁意义重大。