skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Towards Resiliency Evaluation of Vector Programs

Abstract

The systems resilience research community has developed methods to manually insert additional source-program level assertions to trap errors, and also devised tools to conduct fault injection studies for scalar program codes. In this work, we contribute the first vector oriented LLVM-level fault injector VULFI to help study the effects of faults in vector architectures that are of growing importance, especially for vectorizing loops. Using VULFI, we conduct a resiliency study of nine real-world vector benchmarks using Intel’s AVX and SSE extensions as the target vector instruction sets, and offer the first reported understanding of how faults affect vector instruction sets. We take this work further toward automating the insertion of resilience assertions during compilation. This is based on our observation that during intermediate (e.g., LLVM-level) code generation to handle full and partial vectorization, modern compilers exploit (and explicate in their code-documentation) critical invariants. These invariants are turned into error-checking code. We confirm the efficacy of these automatically inserted low-overhead error detectors for vectorized for-loops.

Authors:
; ;
Publication Date:
Research Org.:
Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1355121
Report Number(s):
PNNL-SA-117059
KJ0402000
DOE Contract Number:  
AC05-76RL01830
Resource Type:
Conference
Resource Relation:
Conference: IEEE International Parallel and Distributed Processing Symposium Workshops, May 23-27, 2016, Chicago,Illinois
Country of Publication:
United States
Language:
English
Subject:
resilience; vector programs; fault injection

Citation Formats

Sharma, Vishal C., Gopalakrishnan, Ganesh, and Krishnamoorthy, Sriram. Towards Resiliency Evaluation of Vector Programs. United States: N. p., 2016. Web. doi:10.1109/IPDPSW.2016.187.
Sharma, Vishal C., Gopalakrishnan, Ganesh, & Krishnamoorthy, Sriram. Towards Resiliency Evaluation of Vector Programs. United States. doi:10.1109/IPDPSW.2016.187.
Sharma, Vishal C., Gopalakrishnan, Ganesh, and Krishnamoorthy, Sriram. Thu . "Towards Resiliency Evaluation of Vector Programs". United States. doi:10.1109/IPDPSW.2016.187.
@article{osti_1355121,
title = {Towards Resiliency Evaluation of Vector Programs},
author = {Sharma, Vishal C. and Gopalakrishnan, Ganesh and Krishnamoorthy, Sriram},
abstractNote = {The systems resilience research community has developed methods to manually insert additional source-program level assertions to trap errors, and also devised tools to conduct fault injection studies for scalar program codes. In this work, we contribute the first vector oriented LLVM-level fault injector VULFI to help study the effects of faults in vector architectures that are of growing importance, especially for vectorizing loops. Using VULFI, we conduct a resiliency study of nine real-world vector benchmarks using Intel’s AVX and SSE extensions as the target vector instruction sets, and offer the first reported understanding of how faults affect vector instruction sets. We take this work further toward automating the insertion of resilience assertions during compilation. This is based on our observation that during intermediate (e.g., LLVM-level) code generation to handle full and partial vectorization, modern compilers exploit (and explicate in their code-documentation) critical invariants. These invariants are turned into error-checking code. We confirm the efficacy of these automatically inserted low-overhead error detectors for vectorized for-loops.},
doi = {10.1109/IPDPSW.2016.187},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Thu Aug 04 00:00:00 EDT 2016},
month = {Thu Aug 04 00:00:00 EDT 2016}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: