404
7 Optimierung
CodeCRL2LLIR
LLIR2CRL
LLIR
HL-IR
CRL2
aiT
CRL2+
WCET EST
Optimierungen
Optimierungen
Quellcode
WCETMasch.code
Optimierter
ICD-C
Parser
Backannotation
Selector
Abb. 7.16 WCET-gewahrer Compiler WCC
aiT kann dann die WCET EST für den angegebenen Maschinencode berechnen. Diese
Information wird dann in die LLIR-Darstellung zurück konvertiert (durch den Konverter CRL2LLIR). WCC verwendet diese Information, um die WCET EST als Zielfunktion in der Optimierung berücksichtigen zu können. Dies kann für Optimierungen
auf LLIR-Ebene sehr einfach erfolgen. Allerdings finden viele der Optimierungen
auf der HL-IR-Ebene statt. WCET EST -gesteuerte Optimierungen auf dieser Ebene
erfordern den Einsatz von back annotation (Rückannotation) von der LLIR-Ebene
zur HL-IR-Ebene. WCC beinhaltet diese back annotation.
WCC wurde verwendet, um den Einfluss der Optimierung für eine WCET EST -
Reduktion auf den Compiler zu untersuchen. Die vielfältigen Ergebnisse beinhalten
eine Studie des Einflusses des Einsatzes dieses Ziels auf Registerallokation [158].
Wie in Abb. 7.17 zu sehen, zeigen die Ergebnisse eine dramatische Verbesserung
auf.
Die WCET EST kann allein durch den Einsatz der WCET-gewahren Registerallokation im WCC im Durchschnitt auf 68,8% der ursprünglichen WCET EST gesenkt werden. Die größte Verbesserung ergibt eine WCET EST von nur 24,1% der
ursprünglichen WCET EST . Die Auswirkungen der Kombination verschiedener Optimierungen wurde von Lokuciejewski et al. [354] untersucht. Bei den betrachteten
Benchmarks konnte Lokuciejewski eine Reduktion auf bis zu 57,1% der ursprünglichen WCET EST feststellen. Lokuciejewski et al. haben auch maschinelles Lernen
eingesetzt, um Heuristiken zur Reduktion der WCET zu optimieren [355].