Valgrind

Valgrind (ˈvælɡrɪnd) ist eine Programmierwerkzeugsammlung zum Debuggen, Profilen und zur dynamischen Fehleranalyse von Computerprogrammen. Es werden grundsätzlich die Architekturen x86, AMD64, s390x, Arm, PPC32 und PPC64 unter den Betriebssystemen Linux, Android und macOS unterstützt. Experimentelle Ports für FreeBSD, NetBSD und OpenBSD existieren ebenfalls.

Ursprünglich entwickelt wurde Valgrind von dem Compilerbau-Spezialisten Julian Seward, der für diese Arbeit 2006 den Google-O'Reilly Open Source Award erhielt.^[4]

Namensherkunft

Der Name Valgrind stammt aus der nordischen Mythologie und ist dort der Haupteingang nach Valhall sowie ein Zaun um Helheim.

Systemaufbau

Valgrind besteht aus diversen Werkzeugen, die beim Aufruf des Programms ausgewählt werden können. Sie unterscheiden sich in erster Linie in ihrer Zielrichtung und ihrem Umfang. Es können mit diesen Werkzeugen diverse sonst recht schwer zu lokalisierende Fehler gefunden werden, z. B. Feldgrenzenüberläufe oder die Verwendung nicht initialisierter Variablen. Darüber hinaus lassen sich Performanceprobleme sehr gut analysieren und eingrenzen.

Valgrind ist ein kommandozeilen-orientiertes Programm, für das es diverse grafische Frontends gibt (Alleyoop, Gnogrind, KDevelop, Valgui, Valkyrie).

Systemrealisierung

Valgrind ist im Kern eine virtuelle Maschine mit Just-in-time-Kompilierung (JIT). Nichts von dem zu debuggenden Programm läuft direkt auf der Host-CPU, stattdessen übersetzt Valgrind das Programm in einen temporären, einfacheren und plattformunabhängigen Bytecode, den sogenannten Vex IR (ab Version 3.x, vormals UCode). Nach der Konvertierung können verschiedene Valgrind-Tools diverse Transformationen vornehmen (z. B. Überwachen des Speichers oder Erstellen eines Ablauf-Profils), bevor Valgrind den neuen Code nimmt, in Maschinencode übersetzt und schließlich laufen lässt.

Zwar lässt die Konvertierung in den Vex IR und zurück ein Programm um ein Vielfaches langsamer laufen, dazu addieren sich dann noch die Zeiten der verschiedenen Werkzeuge, jedoch ist der Vex IR wesentlich geeigneter für das Debuggen und das Erstellen der Werkzeuge, und die langsame Ausführungszeit ist für die meisten Programme kein Problem. Hinzu kommt der Vorteil, dass das zu prüfende Programm nicht aufbereitet werden, ja nicht einmal im Quellcode vorliegen muss.

Werkzeuge

Liste

• Memcheck
• Addrcheck (entfernt in 3.2.0)
• Cachegrind
• DRD
• Massif
• Helgrind
• Lackey, Nulgrind
• DHAT
• Callgrind
• SGcheck
• BBV

memcheck

Das wichtigste Tool für das Debuggen von Programmen ist memcheck, welches folgende Fehler finden kann:

• Benutzung von nicht initialisiertem Speicher
• Lese- und Schreibzugriffe auf freigegebenen Speicher
• Schreiben über die Speichergrenzen hinaus
• Speicherlecks

callgrind

Für Messungen eines Programms ist callgrind interessant, welches umfangreiche Statistiken über das eingesetzte Programm ermittelt. Die Zahlen sind auf verschiedenen Systemen direkt miteinander vergleichbar, weil diese nicht die benötigte Ausführungszeit messen, sondern die Anzahl der CPU-Takte. Es gibt auch an, ob Algorithmen besonders schnell im Cache der CPU laufen können und wie oft es zu einem Hit oder Miss kommt. Die Größe der Caches kann man variieren, somit lassen sich verschiedene CPUs simulieren.

helgrind

Das Werkzeug helgrind (bis zur Version 2.2 und ab der Version 3.3.0) hilft bei der Suche nach kritischen Abschnitten und erleichtert das Debuggen mit Threads.

Siehe auch

• Softwarefehler
• Laufzeitfehler

Weblinks

• Offizielle Website
• KCachegrind

Einzelnachweise

1. ↑ The Valgrind Developers
2. ↑ valgrind.org.
3. ↑ The valgrind Open Source Project on Open Hub: Languages Page. In: Open Hub. (abgerufen am 18. Oktober 2018).
4. ↑ Google-O'Reilly Open Source Awards - Hall of Fame, abgerufen am 18. November 2018.