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 条
  • [21] From Low-Level Pointers to High-Level Containers
    Dudka, Kamil
    Holik, Lukas
    Peringer, Petr
    Trtik, Marek
    Vojnar, Tomas
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 431 - 452
  • [22] High-Level Separation Logic for Low-Level Code
    Jensen, Jonas B.
    Benton, Nick
    Kennedy, Andrew
    ACM SIGPLAN NOTICES, 2013, 48 (01) : 301 - 313
  • [23] INVESTIGATING DICHOPTIC MOTION PERCEPTION - DO HIGH-LEVEL AND LOW-LEVEL MOTION MECHANISMS DIFFER
    COX, MJ
    DERRINGTON, AM
    INVESTIGATIVE OPHTHALMOLOGY & VISUAL SCIENCE, 1994, 35 (04) : 1267 - 1267
  • [24] SOFTWARE TECHNIQUES IN ADA FOR HIGH-LEVEL HARDWARE DESCRIPTIONS
    GHOSH, S
    IEEE CIRCUITS & DEVICES, 1986, 2 (02): : 32 - 47
  • [25] An integrated high-level hardware/software partitioning methodology
    Abdelhalim, M. B.
    Habib, S. E-D.
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2011, 15 (01) : 19 - 50
  • [26] An integrated high-level hardware/software partitioning methodology
    M. B. Abdelhalim
    S. E.-D. Habib
    Design Automation for Embedded Systems, 2011, 15 : 19 - 50
  • [27] High-level estimation techniques for usage in hardware/software co-design
    Henkel, J
    Ernst, R
    PROCEEDINGS OF THE ASP-DAC '98 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1998 WITH EDA TECHNO FAIR '98, 1998, : 353 - 360
  • [28] High-level model of sensor architecture for hardware and software design space exploration
    Serna, Nicolas
    Verdier, Francois
    2012 7TH INTERNATIONAL WORKSHOP ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), 2012,
  • [29] Inferring high-level behavior from low-level sensors
    Patterson, DJ
    Lin, LA
    Fox, D
    Kautz, H
    UBICOMP 2003: UBIQUITOUS COMPUTING, 2003, 2864 : 73 - 89
  • [30] THE EFFECTS OF HIGH-LEVEL VS LOW-LEVEL RADIATION EXPOSURE
    BOND, VP
    BULLETIN OF THE NEW YORK ACADEMY OF MEDICINE, 1983, 59 (10) : 918 - 946
12345