Algorithmen zur WCET-Optimierung

Für die Entwicklung von Realzeit-Anwendungen ist es notwendig, maximale Ausführungszeiten von Programmen zu garantieren. Daher versucht man durch unterschiedliche Ansätze, die Worst-Case Laufzeit zu verkürzen. Caches sind in Computersystemen inzwischen sehr beliebt, um die durchschnittliche Geschwindigkeit von Programmen zu erhöhen. In Realzeit-Systemen mit harten Zeitschranken ist der Einsatz von Caches bisher eher hinderlich, da die Geschwindigkeit nur schwierig und in Multitasking-Systemen z. T. nicht vorhersagbar ist. Der Autor stellt unterschiedliche Algorithmen vor, um die Worst-Case Laufzeit von Programmen mit Hilfe neuerer Cache-Architekturen zu verkürzen. Die Algorithmen laden dazu die Teile eines Programms in den Cache, die besonders große Einsparungen in der Laufzeit ermöglichen. Der Inhalt des Caches wird durch Lockdown vor Verdrängung geschützt. Dadurch ist es möglich, die Zugriffsgeschwindigkeit auf Befehle und Daten, die in den Cache gelockt werden, sicher vorherzusagen und somit verbindliche Aussagen über die Worst-Case Laufzeit von Programmen zu treffen. Dieses Buch richtet sich an Designer von Realzeitsystemen, Forscher auf dem Gebiet der Laufzeitoptimierung und Unternehmen mit eigener Entwicklung.