REFINE realistic fault injection via compiler-based instrumentation for accuracy, portability and speed

Compiler-based fault injection (FI) has become a popular technique for resilience studies to understand the impact of soft errors in supercomputing systems. Compiler-based FI frameworks inject faults at a high intermediate-representation level. However, they are less accurate than machine code, bina...

Full description

Saved in:
Bibliographic Details
Published in:International Conference for High Performance Computing, Networking, Storage and Analysis (Online) pp. 1 - 14
Main Authors: Georgakoudis, Giorgis, Laguna, Ignacio, Nikolopoulos, Dimitrios S., Schulz, Martin
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 12.11.2017
Series:ACM Conferences
Subjects:
Analytical models
Codes
Compiler-based Instrumentation
Computational modeling
Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation
Computing methodologies > Modeling and simulation > Simulation support systems > Simulation tools
Fault Injection
Hardware > Emerging technologies > Analysis and design of emerging devices and systems
High-Performance Computing
Instruments
Performance evaluation
Program processors
Resilience
Runtime
Software and its engineering > Software notations and tools > Compilers
fault injection
compiler-based instrumentation
resilience
high-performance computing
ISBN:9781450351140, 145035114X
ISSN:2167-4337
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Compiler-based fault injection (FI) has become a popular technique for resilience studies to understand the impact of soft errors in supercomputing systems. Compiler-based FI frameworks inject faults at a high intermediate-representation level. However, they are less accurate than machine code, binary-level FI because they lack access to all dynamic instructions, thus they fail to mimic certain fault manifestations. In this paper, we study the limitations of current practices in compiler-based FI and how they impact the interpretation of results in resilience studies. We propose REFINE, a novel framework that addresses these limitations, performing FI in a compiler backend. Our approach provides the portability and efficiency of compiler-based FI, while keeping accuracy comparable to binary-level FI methods. We demonstrate our approach in 14 HPC programs and show that, due to our unique design, its runtime overhead is significantly smaller than state-of-the-art compiler-based FI frameworks, reducing the time for large FI experiments.
ISBN:9781450351140
145035114X
ISSN:2167-4337
DOI:10.1145/3126908.3126972