Logo des Repositoriums

Auflistung nach Schlagwort "LLVM"

1 - 2 von 2
  • Konferenzbeitrag
    Extending a Compiler Backend for Complete Memory Error Detection
    (Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2017) Rink, Norman; Castrillon, Jeronimo
    Technological advances drive hardware to ever smaller feature sizes, causing devices to become more vulnerable to faults. Applications can be protected against errors resulting from faults by adding error detection and recovery measures in software. This is popularly achieved by apply- ing automatic program transformations. However, transformations applied to intermediate program representations are fundamentally incapable of protecting against vulnerabilities that are introduced during compilation. In particular, the compiler backend may introduce additional memory accesses. This report presents an extended compiler backend that protects these accesses against faults in the memory system. It is demonstrated that this enables the detection of all single bit flips in memory. On a subset of SPEC CINT2006 the runtime overhead caused by the extended backend amounts to 1.50x for the 32-bit processor architecture i386, and 1.13x for the 64-bit architecture x86 64.
  • Konferenzbeitrag
    Prädiktive, statische Energieverbrauchsanalyse basierend auf experimentell ermittelten Energiemodellen
    (SE 2024 - Companion, 2024) Krebs, Maximillian
    Die Bestimmung des Energieverbrauchs moderner Rechensysteme stellt Entwickler:innen vor neue Herausforderungen. Bisherige Verfahren verlangen komplizierte Messaufbauten und lassen sich schwer in bestehende Workflows einbetten. Im Rahmen meiner Bachelorarbeit wurde daher ein Tool entwickelt, dass den Energieverbrauch eines Eingabeprogramms statisch approximiert und für die ausführende CPU beschreibt. Der Prozessor wird dazu mithilfe von Intel RAPL und LLVM auf seinen charakteristischen Energieverbrauch untersucht. Eine Analyse berechnet anschließend näherungsweise auf Grundlage der charakteristischen Energiewerte die Energie, die das Eingabeprogramm verbrauchen würde. Die Evaluation der bestimmten Energiewerte zeigt das Potenzial der statischen Analyse des zu erwartenden Energieverbrauchs, legt aber nahe, dass das verwendete Programmmodell noch erweitert und verbessert werden sollte.