• DocumentCode
    2347308
  • Title

    Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis

  • Author

    Xu, Jianjun ; Tan, Qingping ; Liu, Wanwei

  • Author_Institution
    Sch. of Comput., Nat. Univ. of Defense Technol., Changsha, China
  • fYear
    2010
  • fDate
    25-27 Aug. 2010
  • Firstpage
    201
  • Lastpage
    208
  • Abstract
    Subsequently to the wall of performance and power consumption, the dependability of computing, caused by soft errors, has become a growing design concern. Since Register Files (RFs) are accessed very frequently and cannot be well protected, soft errors occurred in them is one of the top reasons for affecting the reliability of programs. To access the soft errors vulnerability of RFs, this paper presents a static estimating method via interprocedural data flow analysis. Adopting a previous method, the vulnerability of a register is firstly decomposed into intrinsic and conditional basic block vulnerabilities. Under the prerequisite of context sensitivity, we focus on the computation the post conditions of basic blocks, which can be viewed as the living probability of the target register in the future usage. Finally, the program reliability can be calculated quantitatively under the occurrence of soft errors in RFs. Experimental results from the MiBench benchmarks indicate that our method is more accurate, and compatible with the AVF methods. We also reveal that the reliability of a program has a connection with its structure, such as the RVF factors, which suggests adopting the application specified protected mechanisms for tolerating soft errors occurred in RFs.
  • Keywords
    data flow analysis; error handling; software reliability; RVF factor; computing dependability; context sensitivity; interprocedural data flow analysis; power consumption; program reliability; register file; register vulnerability; soft error vulnerability estimation; static estimating method; target register; Accuracy; Context; Equations; Mathematical model; Registers; Reliability; Runtime; interprocedural analysis; liveness analysis; program reliability; register file; soft error;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Theoretical Aspects of Software Engineering (TASE), 2010 4th IEEE International Symposium on
  • Conference_Location
    Taipei
  • Print_ISBN
    978-1-4244-7847-7
  • Type

    conf

  • DOI
    10.1109/TASE.2010.20
  • Filename
    5587743