一种面向多核安全关键系统的错误检测架构设计方法

本发明提供一种面向多核安全关键系统的错误检测架构设计方法，用软硬件协同设计的方法，包括基于RCPs的支持异步线程级错误检测的可配置微架构，自定义RISCV指令集架构和为OS调度算法提供的控制接口，以及为检查核心开发的专用检查线程；本发明该架构中任意的处理器核心都可以被配置为正常运行应用线程的主核心、进行正确性验证的检查核心以及不参与错误检测的普通计算核心，这允许运行在任意核心上的线程在不同的核心上进行重现和验证，验证模式可以被配置为一对一、一对二或者更多的模式，来匹配不同安全关键需求的任务场景。