• DocumentCode
    2256927
  • Title

    Instruction precomputation with memoization for fault detection

  • Author

    Borodin, Demid ; Juurlink, B.H.H.

  • Author_Institution
    Delft Univ. of Technol., Delft, Netherlands
  • fYear
    2010
  • fDate
    8-12 March 2010
  • Firstpage
    1665
  • Lastpage
    1668
  • Abstract
    Fault tolerance (FT) has become a major concern in computing systems. Instruction duplication has been proposed to verify application execution at run time. Two techniques, instruction memoization and precomputation, have been shown to improve the performance and fault coverage of duplication. This work shows that the combination of these two techniques is much more powerful than either one in isolation. In addition to performance, it improves the long-lasting transient and permanent fault coverage upon the memoization scheme. Compared to the precomputation scheme, it reduces the long-lasting transient and permanent fault coverage of 10.6% of the instructions, but covers 2.6 times as many instructions against shorter transient faults. On a system with 2 integer ALUs, the combined scheme reduces the performance degradation due to duplication by on average 27.3% and 22.2% compared to the precomputation and memoization-based techniques, respectively, with similar hardware requirements.
  • Keywords
    fault diagnosis; fault tolerant computing; computing systems; fault detection; fault tolerance; instruction duplication; instruction memoization; instruction precomputation; permanent fault coverage; transient fault coverage; Buffer storage; Computer aided instruction; Decoding; Degradation; Dynamic scheduling; Fault detection; Fault tolerance; Hardware; Processor scheduling; Redundancy;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010
  • Conference_Location
    Dresden
  • ISSN
    1530-1591
  • Print_ISBN
    978-1-4244-7054-9
  • Type

    conf

  • DOI
    10.1109/DATE.2010.5457081
  • Filename
    5457081