A fail-silent reconfigurable superscalar processor

被引:0
作者
Kottke, Thomas
Steininger, Andreas
机构
来源
13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS | 2007年
关键词
D O I
10.1109/PRDC.2007.16
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We propose a reconfigurable superscalar processor with two modes of operation: In safety mode the two pipelines run in lock step, executing the same instruction sequence, thus allowing to detect hardware failures. In performance mode different instruction streams are executed in parallel, just like in a standard superscalar processor Considering that many embedded applications comprise a mixture of safety-critical and non safety-critical functions, the ability to dynamically switch between the two modes allows an efficient utilization of the duplicated pipeline. To complement the error detection enabled by the duplicated pipeline, non-duplicated components such as the register file are secured by parity. A systematic failure analysis shows that the proposed implementation can indeed detect all single faults in safety mode and that the ability to switch modes does not compromise the fail safe property. These encouraging results are finally confirmed by extensive fault injection experiments.
引用
收藏
页码:232 / 239
页数:8
相关论文
共 50 条
  • [1] Implementing fail-silent nodes for distributed systems
    Brasileiro, FV
    Ezhilchelvan, PD
    Shrivastava, SK
    Speirs, NA
    Tao, S
    IEEE TRANSACTIONS ON COMPUTERS, 1996, 45 (11) : 1226 - 1238
  • [2] How to tune the MTTF of a fail-silent system
    Steininger, A
    Scherrer, C
    2001 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2001, : 418 - 423
  • [3] Spyder: a SURE (SUperscalar and REconfigurable) processor
    Swiss Federal Inst of Technology, Lausanne, Switzerland
    J Supercomput, 3 (231-252):
  • [4] SPYDER - A SURE (SUPERSCALAR AND RECONFIGURABLE) PROCESSOR
    ISELI, C
    SANCHEZ, E
    JOURNAL OF SUPERCOMPUTING, 1995, 9 (03) : 231 - 252
  • [5] Experimental evaluation of the fail-silent behaviour in programs with consistency checks
    Rela, MZ
    Madeira, H
    Silva, JG
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1996, : 394 - 403
  • [6] Implementation strategy for a fail-silent processing node for distributed computer control
    Levin, L.S.
    MacLeod, I.M.
    Transactions of the South African Institute of Electrical Engineers, 1994, 85 (03):
  • [7] SWSN: A Safe Wireless Sensor Network module for Fail-Silent Systems
    Selvatici, Michele
    Dariz, Luca
    Ruggeri, Massimiliano
    2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2017, : 1372 - 1377
  • [8] A Superscalar Processor for a Medium-Grain Reconfigurable Hardware
    Van Dyken, Jason
    Delgado-Frias, Jose G.
    2012 IEEE 55TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2012, : 426 - 429
  • [9] Components to enforce fail-silent behavior in dynamic master-slave systems
    Ferreira, J
    Almeida, L
    Martins, E
    Pedreiras, P
    Fonseca, JA
    INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 2003, 2003, : 143 - 150
  • [10] The Vortex: A superscalar asynchronous processor
    Lines, Andrew
    ASYNC 2007: 13TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, 2007, : 39 - 48