Schneller und zuverlässiger
Kurze Produkt- und Update-Zyklen sind ein Grund dafür, dass die konsequente Prüfung der Zuverlässigkeit und die Leistungsoptimierung häufig zu kurz kommen. DevDorado beschreibt typische Fehlerquellen, die in seriellen aber vor allem in parallelen Programmen auftauchen und wie sie erkannt werden können.
Intel bietet Entwicklertools für Windows, Linux und zu einem gewissen Teil auch für MacOS, die dabei helfen, Programme für Intel-X86-basierende CPUs zu debuggen und zu optimieren. Neben den Code-Generierungstools wie C/C++ und Fortran Compiler, Bibliotheken und Spracherweiterungskonzepte für die Parallelisierung, zum Beispiel Threading Building Blocks (TBB), OpenMP, Cilk Plus, bietet Intel Analysetools an. Sie helfen dabei, die oben genannten Programmierfehler zu finden und näher zu untersuchen. Die Funktionalität, die von einem Performance-Analyser, dem Intel VTune Amplifier XE, bereitgestellt wird, umfasst die Hotspotanalyse von seriellen sowie parallelen Programmen und das Skalieren von parallelen Applikationen.
Der zweite Werkzeugtyp, der Intel Inspector XE, arbeitet mit dem Intel C++ Compiler zusammen. Er hat sich dem Auffinden nicht-deterministischer Fehlerquellen paralleler Programme verschrieben wie etwa den Data-Races, den Deadlocks oder den Livelocks. Zusätzlich spürt er gezielt Speicherfehler auf, welche die Programmzuverlässigkeit negativ beinträchtigen. Speicherfehler wie Memory-Leaks oder Buffer-Overflows werden sowohl dynamisch während des Programmtestlaufs als auch statisch durch Analyse des übersetzten Quellcodes getestet. Letztere wird als SSA (Static Security Analysis) bezeichnet und weiter unten eingehend beschrieben. Die Tools sind als Einzelkomponenten oder als kostengünstigere Bundles (Studio-Produkte) erhältlich.