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 条
  • [21] A methodology for validation of microprocessors using equivalence checking
    Mishra, P
    Dutt, N
    4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 83 - 88
  • [22] ON RELIABLE SOFTWARE-DEVELOPMENT FOR MICROPROCESSORS
    SOI, IM
    AGGARWAL, KK
    MICROELECTRONICS AND RELIABILITY, 1980, 20 (03): : 273 - 279
  • [23] An efficient control-flow checking technique for the detection of soft-errors in embedded software
    Boroomandnezhad, Tahereh
    Azgomi, Mohammad Abdollahi
    COMPUTERS & ELECTRICAL ENGINEERING, 2013, 39 (04) : 1320 - 1332
  • [24] A Performance Counter-based Control Flow Checking Technique for Multi-core Processors
    Ahmad, Hussien Al-haj
    Sedaghat, Yasser
    Rezaei, Mohammadreza
    PROCEEDINGS OF THE 2017 7TH INTERNATIONAL CONFERENCE ON COMPUTER AND KNOWLEDGE ENGINEERING (ICCKE), 2017, : 461 - 466
  • [25] CO-ORDINATION AND DYNAMIC CONTROL OF ROBOTS BY MICROPROCESSORS.
    Al Mouhamed, M.
    Al Mohammad, H.
    Csakvary, E.
    Dupeyrat, B.
    1983, : 235 - 244
  • [26] Conformance Checking of Dynamic Access Control Policies
    Power, David
    Slaymaker, Mark
    Simpson, Andrew
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 227 - 242
  • [27] DCFI-Checker: Checking Kernel Dynamic Control Flow Integrity with Performance Monitoring Counter
    Shi Wenchang
    Zhou Hongwei
    Yuan Jinhui
    Liang Bin
    CHINA COMMUNICATIONS, 2014, 11 (09) : 31 - 46
  • [28] Implementing Dynamic Information Flow Tracking on Microprocessors with Integrated FPGA Fabric
    Schneider, Skyler
    Deng, Daniel Y.
    Lo, Daniel
    Malysa, Greg
    Suh, G. Edward
    FPGA 10, 2010, : 285 - 285
  • [29] An improved CFCSS Control Flow Checking Algorithm
    Wu, Yan-Xia
    Gu, Guo-Chang
    Wang, Ke-Hui
    2007 INTERNATIONAL WORKSHOP ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION, 2007, : 284 - +
  • [30] Algebraic techniques for the optimisation of control flow checking
    Noubir, G
    Choueiry, BY
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, : 128 - 137