Compiling for resilience: The performance gap

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Abstract

In order to perform reliable computations on unreliable hardware, software-based protection mechanisms have been proposed. In this paper we present a compiler infrastructure for software-based code hardening based on encoding. We analyze the trade-off between performance and fault coverage. We look at different code generation strategies that improve the performance of hardened programs by up to 2x while incurring little fault coverage degradation.

Details

Original languageEnglish
Title of host publicationParallel Computing
EditorsFrans Peters, Mark Parsons, Mark Sawyer, Hugh Leather, Gerhard R. Joubert
PublisherElsevier Science B.V.
Pages721-730
Number of pages10
ISBN (electronic)9781614996200
Publication statusPublished - 2016
Peer-reviewedYes

Publication series

SeriesAdvances in Parallel Computing
Volume27
ISSN0927-5452

External IDs

ORCID /0000-0002-5007-445X/work/141545577

Keywords

Research priority areas of TU Dresden

ASJC Scopus subject areas

Keywords

  • AN enoding, LLVM, Optimization, Resilient code generation