一种检测程序控制流故障的方法  

A Control-Flow Error Checking Approach in Fault-Tolerant Processor

作　　者：李红兵[1] 尚利宏[1] 周密[1] 金惠华[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100191

出　　处：《微计算机信息》2010年第16期1-3,共3页Control & Automation

摘　　要：本文介绍一种在容错处理器中实现控制流故障检测的方法。处理器的容错机制是通过修改超标量体系结构,利用时间冗余技术实现的。处理器支持两个指令流并发执行,本文提出的控制流检测算法是通过比较两个时间冗余的指令流的执行结果实现的,与同类实现方案相比,此方法可以进一步节省硬件资源以及额外的处理器执行时间。To tolerate single event upset （SEU） induced soft errors, a redundant stream execution decoupled micro-architecture of fault-tolerant processors is proposed. The proposed micro-architecture implements a CFE checking algorithm by comparing the con- trol-flow of two temporal redundant instruction streams so that any soft error can be detected and indicated during execution. Com- pared with the previous work, the proposed micro-architecture can reduce redundant hardware costs and also reduce time costs for executing the redundant instructions.

关 键 词：容错机制 时间冗余技术 超标量处理器 控制流故障 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]