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 条
  • [1] A Dynamic Continuous Signature Monitoring Technique for Reliable Microprocessors
    Sugihara, Makoto
    IEICE TRANSACTIONS ON ELECTRONICS, 2011, E94C (04) : 477 - 486
  • [2] Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors
    Mohammadi, Hassan Ghasemzadeh
    Miremadi, Seyed Ghassem
    Ejlali, Alireza
    IEEE 15TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2009, : 252 - 255
  • [3] CHECKING MICROPROCESSORS?
    Hnatek, Eugene R.
    Electronic Design, 1975, 23 (22): : 102 - 105
  • [4] Design of a portable control-flow checking technique
    Alkhalifa, Z
    Nair, VSS
    1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 120 - 123
  • [5] A Control Flow Integrity Checking Technique Based on Hardware Support
    Li, Yang
    Dai, Zibin
    Li, Junwei
    PROCEEDINGS OF 2018 IEEE 3RD ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC 2018), 2018, : 2617 - 2621
  • [6] Reconfigurable Dynamic Trusted Platform Module for Control Flow Checking
    Das, Sanjeev
    Zhang, Wei
    Liu, Yang
    2014 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2014, : 167 - 172
  • [7] A software control flow checking technique in multi-core processors
    Iman, Mohammad Reza Heidari
    Yaghmaie, Pejman
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2020, 13 (02) : 136 - 147
  • [8] A dynamic label checking approach for information flow control in web services
    Tari, Zahir
    Bertok, Peter
    Simic, Dusan
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2006, 3 (01) : 1 - 28
  • [9] Priority-Based Flow Control for Dynamic and Reliable Flow Management in SDN
    Oh, Bong-Hwan
    Vural, Serdar
    Wang, Ning
    Tafazolli, Rahim
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2018, 15 (04): : 1720 - 1732
  • [10] A self-tuning reliable dynamic scheme for multicast flow control
    Xiong, Naixue
    He, Yanxiang
    Yang, Laurence T.
    Yang, Yan
    UBIQUITOUS INTELLIGENCE AND COMPUTING, PROCEEDINGS, 2006, 4159 : 351 - 360