Dynamic Control Flow Checking Technique for Reliable Microprocessors

被引:0
|
作者
Sugihara, Makoto [1 ]
机构
[1] Toyohashi Univ Technol, Dept Informat & Comp Sci, 1-1 Hibarigaoka,Tempakucho, Toyohashi, Aichi 4418580, Japan
基金
日本科学技术振兴机构;
关键词
Soft Error; NBTI; SEU; SET; Control Flow Checking; Reliability; Vulnerability; CPU; MULTIPROCESSOR SYSTEMS; CACHE ARCHITECTURES;
D O I
10.1109/DSD.2010.81
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Reliability issues such as a soft error and NBTI (negative bias temperature instability) have become a matter of concern as integrated circuits continue to shrink. It is getting more and more important to take reliability requirements into account even for consumer products. This paper presents a dynamic control flow checking (DCFC) technique for high reliable computer systems. The DCFC technique dynamically generates reference signatures as well as runtime signatures during executing a program. The dynamic generation of reference and runtime signatures contributes to saving program or data memory space that stores the signatures. Our DCFC technique stores signatures in a signature table unlike the conventional static control flow checking techniques. Our experiments showed that our DCFC technique protected 1.4-100.0% of executed instructions depending on the size of signature tables.
引用
收藏
页码:232 / 239
页数:8
相关论文
共 50 条
  • [31] Control-flow checking by software signatures
    Oh, N
    Shirvani, PP
    McCluskey, EJ
    IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
  • [32] Error Diagnosis in Equivalence Checking of High Performance Microprocessors
    Verification Tools Research and Development, Design Technology Organization, Freescale Semiconductor Inc., Austin, TX, United States
    Electron. Notes Theor. Comput. Sci., 2007, 4 (9-18):
  • [33] On-Line Instruction-checking in Pipelined Microprocessors
    Di Carlo, Stefano
    Natale, Giorgio D.
    Mariani, Riccardo
    PROCEEDINGS OF THE 17TH ASIAN TEST SYMPOSIUM, 2008, : 377 - +
  • [34] Survey of control flow checking using software
    School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
    不详
    Harbin Gongye Daxue Xuebao, 2008, 3 (407-412+482):
  • [35] Error Diagnosis in Equivalence Checking of High Performance Microprocessors
    sen, Alper
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (04) : 9 - 18
  • [36] CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing
    Rajabzadeh, A
    Miremadi, SG
    MICROELECTRONICS RELIABILITY, 2006, 46 (5-6) : 959 - 972
  • [37] A model checking technique for the verification of fuzzy control systems
    Intrigila, Benedetto
    Magazzeni, Daniele
    Tofani, Alberto
    Melatti, Igor
    Tronci, Enrico
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 536 - +
  • [38] Reliable microprocessors for FPGAs: State of the Art and Trends
    Morillo, Aitor
    Astarloa, Armando
    Lazaro, Jesus
    Bidarte, Unai
    Jimenez, Jaime
    2010 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS, 2010, : 225 - 230
  • [39] Type Checking for Reliable APIs
    Kechagia, Maria
    Spinellis, Diomidis
    2017 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON API USAGE AND EVOLUTION (WAPI), 2017, : 15 - 18
  • [40] Using fan speed control method for microprocessors dynamic thermal management
    Electrical Engineering College, Salahaddin University - Erbil, Zanco St., 25 Mant. Q, Erbil, Iraq
    WSEAS Trans. Circuits Syst., 2006, 1 (142-147):