Förderprojekte

Förderbeginn 01.07.2010

Defensive Fehlersuche auf Höchstleisungssystemen mittels statischer und dynamischer Programmanalyse

Prof. Dr. Dieter Kranzlmüller
Ludwig-Maximilians-Universität München
Leibniz-Rechenzentrum

Dr. Martin Schulz
Lawrence Livermore National Laboratory (LLNL)
Center of Applied Scientific Computing

Durch die kontinuierlich steigende Anzahl an Rechenkernen und den hierarchischen und hybriden Aufbau zukünftiger Hoch- und Höchstleistungsrechner wird der Softwareentwicklungsprozess anspruchsvoller denn je. Der Grund dafür ist, dass sich notwendigerweise auch die Komplexität der Software erhöhen wird, um die Fähigkeiten der Hardware nützen zu können. Die Software wird umfangreicher, vielschichtig und es werden verschiedene Programmiermodelle einbezogen werden, wodurch sich letztendlich die Fehleranfälligkeit erhöht. Angesichts solch komplexer Zusammenhänge werden speziell die traditionellen Ansätze zur Fehlersuche zum Problem. Daher werden neue leichtgewichtige und defensive Techniken, welche den Entwickler bei der Fehlersuche in komplexen parallelen Anwendungen unterstützen, benötigt. Wir werden Musteranalyseverfahren verwenden, um sich wiederholende und auch potentiell fehlerhafte Kommunikationsstrukturen in Programmläufen zu erkennen. Weiterhin werden wir den Ursprung dieser Muster im Quellcode bestimmen und Bedingungen untersuchen, welche zu alternativen Programmläufen und möglicherweise anderem Kommunikationsverhalten führen.