Compiling for resilience: The performance gap

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelParallel Computing
Redakteure/-innenFrans Peters, Mark Parsons, Mark Sawyer, Hugh Leather, Gerhard R. Joubert
Herausgeber (Verlag)Elsevier Science B.V.
Seiten721-730
Seitenumfang10
ISBN (elektronisch)9781614996200
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Publikationsreihe

ReiheAdvances in Parallel Computing
Band27
ISSN0927-5452

Externe IDs

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

Schlagworte

Forschungsprofillinien der TU Dresden

ASJC Scopus Sachgebiete

Schlagwörter

  • AN enoding, LLVM, Optimization, Resilient code generation