@inproceedings{0e95cc6879d04ccb919bae3ef71c503e,
title = "FITL: Extending LLVM for the translation of fault-injection directives",
abstract = "The frequency of hardware errors in HPC systems continues to grow as system designs evolve toward exascale. Tolerating these errors efficiently and effectively will require software-based resilience solutions. With this requirement in mind, recent research has increasingly employed LLVM-based tools to simulate transient hardware faults in order to study the resilience characteristics of specific applications. However, such tools require researchers to configure their experiments at the level of the LLVM intermediate representation (LLVM IR) rather than at the source level of the applications under study. In this paper, we present FITL1 (Fault-Injection Toolkit for LLVM), a set of LLVM extensions to which it is straightforward to translate source-level pragmas that specify fault injection. While we have designed FITL not to be tied to any particular compiler front end or high-level language, we also describe how we have extended our OpenARC compiler to translate a novel set of fault-injection pragmas for C to FITL. Finally, we present several resilience studies we have conducted using FITL, including a comparison with a source-level fault injector we have built as part of OpenARC.",
keywords = "C pragma, Compiler intermediate representation, Directive-based programming, Fault injection, LLVM, Ope-nARC, Resiliency",
author = "Denny, {Joel E.} and Seyong Lee and Vetter, {Jeffrey S.}",
note = "Publisher Copyright: {\textcopyright} 2015 ACM.; 2nd Workshop on the LLVM Compiler Infrastructure in HPC, LLVM-HPC 2015 ; Conference date: 15-11-2015",
year = "2015",
month = nov,
day = "15",
doi = "10.1145/2833157.2833160",
language = "English",
series = "Proceedings of LLVM-HPC 2015: 2nd Workshop on the LLVM Compiler Infrastructure in HPC - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis",
publisher = "Association for Computing Machinery, Inc",
booktitle = "Proceedings of LLVM-HPC 2015",
}