Investigating the Impact of High-Level Software Design on Low-Level Hardware Fault Resilience

被引：1
|
作者：
Zhang, Bohan [1 ]
Yang, Lishan [2 ]
Li, Guanpeng [1 ]
Xu, Hui [3 ]
机构：
[1] Univ Iowa, Dept Comp Sci, Iowa City, IA 52242 USA
[2] George Mason Univ, Dept Comp Sci, Fairfax, VA USA
[3] Fudan Univ, Sch Comp Sci, Shanghai, Peoples R China
来源：
2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S | 2023年
关键词：
Silent Data Corruption; Error Resilience; Fault Injection; SDC; Program Analysis; Software Testing;
D O I：
10.1109/DSN-S58398.2023.00044
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Silent Data Corruptions (SDCs) have become an insurmountable issue that threatens the system reliability. General strategies for protecting programs from SDCs, such as dual modular redundancy, incur intolerable overheads. Another strategy is Algorithm-Based Fault Tolerance which is highly bounded to the specific algorithm and hard to generalize. In this study, we find different implementations of the same algorithm may lead to very different SDC probabilities. We conduct a characterization study to quantify the differences and investigate the root causes. The insights we derive could help and guide the developers in software engineering domain to design programs that is naturally resilient.
引用
收藏
页码：163 / 167
页数：5
相关论文
共 50 条
  • [31] Reconciling High-Level Optimizations and Low-Level Code in LLVM
    Lee, Juneyoung
    Hur, Chung-Kil
    Jung, Ralf
    Liu, Zhengyang
    Regehr, John
    Lopes, Nuno P.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [32] High-level estimation techniques for usage in hardware/software co-design
    NEC USA, Princeton, United States
    Proc Asia South Pac Des Autom Conf, (353-360):
  • [33] LOW-LEVEL RADIOACTIVE-WASTES, HIGH-LEVEL RISK
    NEWMAN, A
    ENVIRONMENTAL SCIENCE & TECHNOLOGY, 1994, 28 (11) : A488 - A491
  • [34] Drawing the boundary between low-level and high-level mindreading
    de Vignemont, Frederique
    PHILOSOPHICAL STUDIES, 2009, 144 (03) : 457 - 466
  • [35] Music Genre Prediction by Low-Level and High-Level Characteristics
    Vatolkin, Igor
    Roetter, Guenther
    Weihs, Claus
    DATA ANALYSIS, MACHINE LEARNING AND KNOWLEDGE DISCOVERY, 2014, : 427 - 434
  • [36] High-level soccer indexing on low-level feature space
    Sugano, M
    Uemura, K
    Nakajima, Y
    Yanagihara, H
    ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5, 2004, : 1625 - 1628
  • [37] Drawing the boundary between low-level and high-level mindreading
    Frédérique de Vignemont
    Philosophical Studies, 2009, 144 : 457 - 466
  • [38] Reconciling High-Level Optimizations and Low-Level Code in LLVM
    Lee, Juneyoung
    Hur, Chung-Kil
    Jung, Ralf
    Liu, Zhengyang
    Regehr, John
    Lopes, Nuno P.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [39] CBIR: From low-level features to high-level semantics
    Zhou, XS
    Huang, TS
    IMAGE AND VIDEO COMMUNICATIONS AND PROCESSING 2000, 2000, 3974 : 426 - 431
  • [40] High-level to Low-level in Unity with GPU Shader Programming
    Hmeljak, Dimitrij
    PROCEEDINGS OF THE 53RD ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION (SIGCSE 2022), VOL 2, 2022, : 1140 - 1140
12345