jit

In .NET 10 wird eine einfache for-Schleife über span[i], begrenzt durch span.Length, zu einer Schleife ohne Bounds Check, mit Strength Reduction und abwärts zählendem Zähler kompiliert. Eine handgeschriebene Unsafe.Add(ref r, i)-Schleife mit int-Index behält eine Vorzeichenerweiterung und einen aufwärts zählenden Vergleich und war in der Messung 2 bis 5 % langsamer. Benchmarks und JIT-Disassembly für arm64 und x64 auf .NET 10.0.10.

Ein transparentes Struct wird von der ABI exakt wie sein einziges Feld behandelt. .NET 11 bietet diese Garantie nicht: Ein Struct, das ein double kapselt, wird unter Windows x64 in RCX übergeben, unter Linux und macOS aber in XMM0. Hier sind das Disassembly des .NET-11-JIT für drei ABIs, die daraus entstehenden P/Invoke-Fehler und wie Sie Wrapper-Typen schreiben, die an jeder Grenze sicher sind.

Stephen Toubs Artikel Performance Improvements in .NET 11 zeigt Aufrufe generischer virtueller Methoden, die von 6,7 ns und 24 Byte auf 1,8 ns und null Allokationen fallen. Drei RyuJIT-Pull-Requests haben Inlining bei dem Dispatch freigeschaltet, der in .NET bisher der undurchsichtigste war.

W^X (write xor execute) ist die Regel, dass keine Speicherseite gleichzeitig beschreibbar und ausführbar ist. In .NET ist das der Schalter DOTNET_EnableWriteXorExecute, seit .NET 7 standardmäßig aktiv, und er existiert ausschließlich für den JIT. Native AOT liest ihn nie. Hier steht, wie die Laufzeit ihn umsetzt, was er kostet und wann das Abschalten eine legitime Lösung ist.

PGO (profilgesteuerte Optimierung) lässt den .NET-JIT den heißen Code für die Typen und Verzweigungen spezialisieren, die Ihre Arbeitslast tatsächlich trifft. Dynamic PGO ist seit .NET 8 standardmäßig aktiviert, daher müssen Sie es unter .NET 8 und höher nicht aktivieren. Hier erfahren Sie, was es tut, wie Sie seine Wirkung sehen und in welchen seltenen Fällen Sie an der Einstellung drehen.

Tiered Compilation ermöglicht es dem .NET-JIT, jede Methode zweimal zu kompilieren: zuerst schnell und unoptimiert, damit Ihre Anwendung startet, und dann erneut mit vollständigen Optimierungen, sobald die Laufzeit weiß, dass eine Methode heiß ist. Hier erfahren Sie, wie Tier 0, Tier 1, On-Stack-Replacement und Dynamic PGO zusammenpassen und wie Sie sie beobachten und einstellen.

.NET 11 Preview 3 bringt RyuJIT bei, redundante Bounds Checks bei aufeinanderfolgendem Index-from-end-Zugriff und bei i + Konstante < length-Mustern zu eliminieren, was Branch-Druck in engen Schleifen senkt.