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 条
  • [41] Seis. A program control flow graph encoding algorithm for control flow checking
    Majzik, I.
    Technical Report: Ser. Electrical Engineering, 1994, (EE14): : 1 - 66
  • [42] Dynamic model checking for concurrent programs in control system
    Liang, Hao
    Ai, Yunfeng
    Shen, Huairong
    Zhao, Yongchao
    Computer Modelling and New Technologies, 2014, 18 (12): : 275 - 281
  • [43] Reliable power flow technique for meshed distribution networks
    Suonan, Jiale
    Li, Huaiqiang
    Shan, Yazhou
    Luo, Yunzhao
    Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2003, 37 (12): : 1272 - 1275
  • [44] Verification of pipelined microprocessors by correspondence checking in symbolic ternary simulation
    Velev, MN
    Bryant, RE
    1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 200 - 212
  • [45] Control-flow checking via regular expressions
    Benso, A
    Di Carlo, S
    Di Natale, G
    Prinetto, P
    Tagliaferri, L
    10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 299 - 303
  • [46] Control Flow Checking and Recovering based on 8051 Architecture
    Gong Rui
    Chen Wei
    Liu Fang
    Dai Kui
    Wang Zhiying
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1550 - 1551
  • [47] Dynamic retransmission control for reliable mobile multicast
    Yu Lin
    HaiTao Wu
    ChongGang Wang
    Cheng ShiDuan
    Journal of Computer Science and Technology, 2003, 18 : 369 - 377
  • [48] Dynamic retransmission control for reliable mobile multicast
    Lin, Y
    Wu, HT
    Wang, CG
    Cheng, SD
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 18 (03) : 369 - 377
  • [49] Control-Flow Checking Using Branch Instructions
    Jafari-Nodoushan, Mostafa
    Miremadi, Seyed Ghassem
    Ejlali, Afireza
    EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 66 - 72
  • [50] Concepts for autonomous control flow checking for embedded CPUs
    Ziener, Daniel
    Teich, Juergen
    AUTONOMIC AND TRUSTED COMPUTING, PROCEEDINGS, 2008, 5060 : 234 - 248