Jeandle JDK oder warum Entwickler LLVM an die Java Virtual Machine anflanschen

Wer sich in die Eingeweide des C2-Compilers der HotSpot JVM vertieft, braucht starke Nerven. Der C++-Code von C2 wurde über Jahrzehnte geschrieben. Er hat eine Menge spezifischer Optimierungen angesammelt, aber die Wartung wird von Jahr zu Jahr schwieriger. Irgendwann versuchte Oracles Entwicklungsteam, sich das Leben mit dem Graal-Projekt zu erleichtern, indem sie den JIT-Compiler in Java neu schrieben. Die Entwickler des Jeandle-Projekts gingen einen anderen Weg: Sie beschlossen, das bestehende LLVM-Framework zu nehmen und es zur Kompilierungs-Engine für OpenJDK zu machen.

Was ist Jeandle und warum braucht es LLVM

Jeandle ist ein experimenteller JIT-Compiler für Java, der direkt auf OpenJDK aufbaut. Anstatt sich auf die eingebauten C1- oder C2-Compiler zu verlassen, fängt es die Ausführung von heißem Bytecode ab und leitet ihn an LLVMs Codegenerator weiter.

Warum überhaupt LLVM in die Java Virtual Machine bringen?

Der Hauptvorteil von LLVM ist die riesige Sammlung von Low-Level-Optimierungen, die von der globalen Community für C, C++ und Rust erstellt wurden. Automatische Instruktionsvektorisierung, tiefgehende Schleifenanalyse und Optimierungen, die auf spezifische Prozessorfunktionen zugeschnitten sind, sind bereits in LLVM vorhanden und werden regelmäßig aktualisiert.

In traditionellem C2 muss jede neue Optimierung oder Unterstützung für eine neue Prozessorarchitektur (wie RISC-V) manuell implementiert werden. Durch die Kombination von OpenJDK mit LLVM wollen die Jeandle-Autoren einen leistungsstarken Maschinencode-Generator erhalten, ohne Optimierer von Grund auf neu schreiben zu müssen.

Wie es unter der Haube funktioniert

Die Code-Verarbeitung in Jeandle ist in mehrere Phasen unterteilt:

1. Die virtuelle Maschine verfolgt häufig aufgerufene Methoden der Anwendung.
2. Wenn eine Methode als heiß genug eingestuft wird, übersetzt Jeandle ihren Bytecode in LLVM IR.
3. LLVMs Optimierungspässe werden auf den resultierenden IR-Code angewendet.
4. LLVM kompiliert IR zu nativem Maschinencode für die Zielplattform (x86_64, AArch64, etc.).
5. Die JVM ersetzt die Methodenreferenz, und die Ausführung wird mit dem kompilierten Maschinencode fortgesetzt.

Das Projekt-Repository enthält eine umfassende Dokumentation. Das Guides-Verzeichnis enthält Beschreibungen der Systemarchitektur, Build-Anweisungen und ein separates Dokument zur Debugging-Konfiguration.

Die Entwickler haben die Steuerung des Compilerverhaltens durch dedizierte JVM-Flags freigegeben. Diese Flags ermöglichen die Anpassung der Optimierungsstufen und die Anforderung von LLVM IR-Zwischenrepräsentation-Dumps während der Anwendungsruntime.

Die Haupt-Herausforderung bei LLVM-basiertem JIT

Die Idee, LLVM in JIT-Compilern zu verwenden, ist nicht neu. Ähnliche Versuche wurden früher im Shark-Projekt für OpenJDK und im Falcon-Projekt bei Azul unternommen. Das Haupthindernis auf diesem Weg ist die Kompilierungsgeschwindigkeit selbst.

LLVM wurde ursprünglich für die Ahead-of-Time-Kompilierung (AOT) konzipiert. In statischen Compilern wie Clang kann der Prozess Minuten dauern – die Priorität liegt darauf, dass der finale Binary so schnell wie möglich läuft. Im JIT-Modus ist die Kompilierungszeit kritisch. Wenn LLVM beginnt, jede Methode lange und sorgfältig zu optimieren, wird die Anwendung einfach während der Warmup-Phase einfrieren.

Zusätzlich stehen die Jeandle-Autoren vor der komplexen Aufgabe der Integration mit der Java-Laufzeit. Der Compiler muss Safepoints für den Garbage Collector korrekt behandeln, mit Memory Barriers arbeiten und dynamisches Class Loading unterstützen.

Aktueller Stand und Ausblick

Derzeit befindet sich Jeandle in der aktiven Prototyping-Phase. Das Repository hat rund 460 Stars und über 60 offene Issues angesammelt. Der Code ist noch nicht produktionsreif, und die Autoren verstecken das nicht.

Dennoch wird das Projekt für mehrere Kategorien von Entwicklern interessant sein:

• Diejenigen, die JVM-Interna studieren und verstehen möchten, wie JIT mit einem echten Beispiel funktioniert.
• Compiler-Entwickler, die nach praktischen LLVM IR-Integrations-Anwendungsfällen suchen.
• Forscher, die benutzerdefinierte Optimierungsprofile für spezifische Prozessorarchitekturen erstellen.

Der Quellcode ist unter der GPL v2.0-Lizenz quelloffen. Wenn Sie verstehen möchten, wie man eine Java Virtual Machine mit einem nativen Compiler kombiniert, schauen Sie sich die Projektdokumentation an – sie behandelt den Build-Prozess und architektonische Entscheidungen im Detail.