低辐射空间环境下商用多核处理器层次化软件容错技术研究
基本信息
结项摘要
本课题对于将商用COTS多核处理器用于低辐射航天环境展开深入研究。空间环境除引发瞬时故障外，还使多核处理器间歇故障率明显增加。多核使得利用软件手段实现间歇故障容错成为可能，创新如下：.1、将瞬时故障与间歇故障分别在应用层和系统软件层解决。这保证了应用的可移植性，也使操作系统具有更强的通用性与灵活性；2、在编译器的支持下，深入研究软件签名控制流检错CFCSS；提出整数线性规划和启发式表算法对复制指令检错EDDI进行调度优化；3、实现支持EDDI与CFCSS的应用层商用多核处理器瞬时故障软件容错；4、通过对间歇故障特点的分析，建立了低辐射空间环境下间歇故障模型；5、提出基于资源监视器RMM的操作系统间歇故障容错方案，对RMM进行详细设计，对多种间歇故障容错方式进行优化。这将为基于many core众核处理器的操作系统设计提供宝贵经验。.本课题为突破外国军品和宇航级器件对我国的封锁意义重大。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Using single-molecule approach to visualize the nucleosome assembly in yeast nucleoplasmic extracts
Using single-molecule approach to visualize the nucleosome assembly in yeast nucleoplasmic extracts
Authentication of surveillance videos: Detecting frame duplication based on residual frame
Authentication of surveillance videos: Detecting frame duplication based on residual frame
Robust H-infinity Control for ICPT Process With Coil Misalignment and Time Delay: A Sojourn-Probability-Based Switching Case
Robust H-infinity Control for ICPT Process With Coil Misalignment and Time Delay: A Sojourn-Probability-Based Switching Case
SAIDE: Efficient application interference detection and elimination in SDN
SAIDE: Efficient application interference detection and elimination in SDN
Rapid screening and purification of potential inhibitors from Medicago sativa by ultrafiltration-liquid chromatography combined with stepwise flow rate counter-current chromatography
Rapid screening and purification of potential inhibitors from Medicago sativa by ultrafiltration-liquid chromatography combined with stepwise flow rate counter-current chromatography
傅忠传的其他基金
相似国自然基金
多核处理器容错关键技术研究
面向多核处理器的并行实时软件设计、分析与优化技术研究
针对多核系统存储层次增强数据并行性能的软件支撑技术研究
面向多核处理器的硬软件协作Transactional Memory系统结构