Low-Cost Control Flow Protection via Available Redundancies in the Microprocessor Pipeline

被引:3
作者
Rouf, Mohammad Abdur [1 ]
Kim, Soontae [1 ,2 ]
机构
[1] Korea Adv Inst Sci & Technol, Dept Informat & Commun Engn, Taejon 305701, South Korea
[2] Korea Adv Inst Sci & Technol, Dept Comp Sci, Taejon 305701, South Korea
基金
新加坡国家研究基金会;
关键词
Branch target buffer (BTB); control flow errors; embedded systems; low power; reliability; short backward branch (SBB); soft errors; ERROR-DETECTION; FAULT INJECTION; DESIGN; CHALLENGES; CHECKING;
D O I
10.1109/TVLSI.2013.2297573
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Miniaturization of very large scale integration circuits, higher frequencies and reduction of supply voltages make embedded systems more susceptible to soft errors (or transient errors). Soft errors affect the processor's pipeline and hence its data and control flows. Specifically, errors in control flows can change program's execution sequence, which might be catastrophic for safety-critical applications. Several state-of-the-art techniques are available for control flow error checking (CFEC). Software-based techniques suffer from increased code size overhead and can have a negative impact on energy consumption. On the other hand, hardware-based schemes incur high hardware and area costs. In this paper, a low-cost CFEC scheme is proposed that exploits available redundancies in the processor's pipeline; a branch target buffer stores the target addresses of taken branches, a short backward branch detector stores short loop branch targets and an arithmetic logic unit generates branch target addresses using the low-order branch displacement bits of branch instructions. The proposed CFEC scheme uses these redundancies to detect and recover from control flow errors in the pipeline with low energy overhead of 0.9% and performance overhead of 0.8%, while its error coverage ranges from 86% to 99%.
引用
收藏
页码:131 / 141
页数:11
相关论文
共 40 条
[1]   Design and evaluation of system-level checks for on-line control flow error detection [J].
Alkhalifa, Z ;
Nair, VSS ;
Krishnamurthy, N ;
Abraham, JA .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1999, 10 (06) :627-641
[2]  
[Anonymous], P AUPEC C CHRISTCH N
[3]  
[Anonymous], 2010, ARM WHIT PAP ARM COR
[4]  
BORIN E., 2005, COMPUTER ARCHITECTUR, P15
[5]   Design challenges of technology scaling [J].
Borkar, S .
IEEE MICRO, 1999, 19 (04) :23-29
[6]   Power, thermal, and reliability modeling in nanometer-scale microprocessors [J].
Brooks, David ;
Dick, Robert P. ;
Joseph, Russ ;
Shang, Li .
IEEE MICRO, 2007, 27 (03) :49-62
[7]  
Cho Hyungmin., 2013, Design Automation Conference (DAC), 2013 50th ACM/EDAC/IEEE, P1
[8]   FAULT INJECTION - A METHOD FOR VALIDATING COMPUTER-SYSTEM DEPENDABILITY [J].
CLARK, JA ;
PRADHAN, DK .
COMPUTER, 1995, 28 (06) :47-56
[9]   Trends and challenges in VLSI circuit reliability [J].
Constantinescu, C .
IEEE MICRO, 2003, 23 (04) :14-19
[10]   The XTREM power and performance simulator for the Intel XScale core: Design and experiences [J].
Contreras, Gilberto ;
Martonosi, Margaret ;
Peng, Jinzhang ;
Lueh, Guei-Yuan ;
Ju, Roy .
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2007, 6 (01) :4