摘要
本发明是一种基于编译层的多线程并行冗余容错方法。本发明涉及嵌入式处理器设计技术领域,本发明确定线程分工与SoR区域核心;封装SoR区域相关容错功能库,将核心容错功能封装为头文件,确保库文件包含与SoR区域强关联的工具函数;进行编译器与工具链适配;对源程序进行标注与自动识别;对ROSE编译器自动识别与补充;对SoR区域编译与双线程代码生成;双线程并行执行与检查点交互;进行冗余容错处理与流程续行。本发明不依赖于具体的硬件平台,有效避免了传统硬件冗余技术或依赖特定硬件架构的容错技术所存在的可移植性差的问题。