SPEAR - Statische Programmanalyse zur energiebewussten Softwareprogrammierung

In unserer modernen Gesellschaft sind Datacenter nicht mehr wegzudenken. Täglich begegnen uns diese bspw. durch die Nutzung von Suchmaschinen wie Google, Social-Media-Plattformen wie Instagram oder durch KI-Lösungen wie ChatGPT. Oft ist dabei gar nicht ersichtlich, wie viel Strom diese Systeme eigentlich verbrauchen. Der Energieverbrauch der IT-Infrastruktur, die unsere digitalen Leben ermöglicht, verbraucht bereits 1 % des globalen Stromverbrauchs. Gleichzeitig wird bis 2030 ein Wachstum prognostiziert, das den Energieverbrauch der Systeme weiter ansteigen lassen wird. Der immense Stromverbrauch, in Kombination mit fossilen Energieträgern, hat gleichzeitig einen gewaltigen Einfluss auf unseren CO2-Fußabdruck und trägt damit zur Beschleunigung des Klimawandels bei.

Neben dem Energieverbrauch der Infrastruktur und der Hardware von Datacentern, kann der Einfluss der darauf laufenden Software ebenfalls nicht vernachlässigt werden. Das Thema nachhaltige Softwareentwicklung hat in den letzten Jahren immer mehr Aufmerksamkeit bekommen. Gleichzeitig ist deutlich geworden, dass es Entwickler:innen an Know-how und Werkzeugen fehlt, um sinnvolle Aussagen über den Energieverbrauch ihrer Software machen zu können.

SPEAR versucht, diese Lücke zu schließen, um die Entwicklung durch die statische Analyse des Energieverbrauchs von Programmen direkt zu unterstützen. Im Rahmen des SPEAR Frameworks haben wir ein Tool entwickelt, das Programme vor der Ausführung auf ihren Energieverbrauch hin untersucht. Grundlage dafür sind Hardwareprofile, die den Energieverbrauch eines Rechners charakterisieren. Mithilfe dieser Energieprofile lässt sich dann der Energieverbrauch eines Programms approximieren. SPEAR ermöglicht damit die gezielte Optimierung von Programmen hinsichtlich der verbrauchten Energie, ohne dass das Programm dafür explizit ausgeführt werden muss. Die Hardwareprofile können zwischen Entwickler:innen und Geräten geteilt werden und ermöglichen die Optimierung ohne Zugriff auf die originale Hardware. Gleichzeitig ist die Analyse unabhängig von der Laufzeit des zu analysierenden Programms und kann effizient innerhalb kurzer Zeitspannen durchgeführt werden. Eine spezielle Modifikation der Hardware ist nicht erforderlich.

SPEAR implementiert darüber hinaus eine eigene Extension für den weit verbreiteten Open Source Code Editor Visual Studio Code, der die Energieanalyse direkt in den Quellcode des Nutzers einbettet. Farbliche Markierungen, Grafiken und weitere Visualisierungen ermöglichen es Entwickler:innen, den Energieverbrauch einzelner Codezeilen direkt nachzuvollziehen. Durch die Integration der Analyse in bestehende Workflows sinkt somit der Overhead für Entwickler:innen drastisch. Im Rahmen einer Studie konnten wir bereits zeigen, dass mithilfe von SPEAR, Entwickler:innen den Energieverbrauch ihrer Programme reduzieren können. Gleichzeitig wurde deutlich, dass SPEAR mit dynamischen Analysemethoden zur Bestimmung des Energieverbrauchs von Programmen mithalten kann.

Die weitere Entwicklung des Projekts soll sich darauf fokussieren, SPEAR zu einem Energieanalyse-Framework auszubauen. SPEAR soll dabei als Kern-Komponente funktionieren, auf Grundlage dessen weitere Werkzeuge entwickelt werden können. Weitere Tools, die dabei entwickelt werden könnten, sind z. B. :

  • Entwicklung einer energiebewussten Compileroptimierung, die Code direkt auf die Energiekosten hin optimiert.
  • Verschmelzung von Energieoptimierung/Energieanalyse von Code mit etablierten Industrieprozessen wie Continuous Integration.
  • Erweiterung von SPEAR auf weitere Prozessorarchitekturen, wie bspw. ARM. – Entwicklung von SPEAR Werkzeugen, die gezielt GPUs oder Speicherkomponenten analysieren und einbeziehen können.
  • Implementierung von SPEAR auf weiteren Programmiersprachen und virtuellen Maschinen.

Veranstalter

TU concept GmbH

Einmal im Jahr sucht die Stiftung Industrieforschung gemeinsam mit der TU concept GmbH im Rahmen des Wissenschaftswettbewerbs „Forum Junge Spitzenforschung” originelle und praxisrelevante Anwendungsideen und Lösungsansätze von Nach­wuchs­wissen­schaftler*innen in der Metropolregion Ruhr. Die sechs erfolgversprechendsten Projektarbeiten legen das Centrum für Entrepreneurship & Transfer (CET) der TU Dortmund und die TU concept GmbH einer Jury, bestehend aus Mitgliedern von Praxis und Wissenschaft, vor.

SPEAR - Statische Programmanalyse zur energiebewussten Softwareprogrammierung

Projektleiter: Maximilian Krebs und Ben Hermann
Hochschule: TU Dortmund
Förderjahr: 2025
Thema des Wettbewerbs:Energie und Klima – Gemeinsam für die Zukunft

Weitere Preisträger zum Thema: "Energie und Klima – Gemeinsam für die Zukunft"

„Returnee“ – Druckregelventil mit integrierter radialer Entspannungsturbine

Felix Nal
Dortmund
2025
12.000 €

SPEAR - Statische Programmanalyse zur energiebewussten Softwareprogrammierung

Maximilian Krebs und Ben Hermann
Dortmund
2025
10.000 €

Factory Flexibility Model

Simon Kammerer, Paul Wenzlokat und Jan-Eric Wörheide
Dortmund
2025
8.000 €

From Dust to Strength

Vitalii Kryzhanovskyi
Dortmund
2025
4.000 €

HYBKomp - Hybride Kompensationsanlage

Felix Goeke
Dortmund
2025
4.000 €

Latenter Wärmespeicher mit integrierter Zustandsüberwachung

Sebastian Priebe
Dortmund
2025
4.000 €