jit

En .NET 10, un bucle for normal sobre span[i] acotado por span.Length se compila a un bucle sin comprobación de límites, con reducción de intensidad y cuenta regresiva. Un bucle escrito a mano con Unsafe.Add(ref r, i) y un índice int conserva una extensión de signo y una comparación con cuenta progresiva, y midió entre 2 y 5% más lento. Benchmarks y desensamblado del JIT para arm64 y x64 en .NET 10.0.10.

Un struct transparente es aquel que el ABI trata exactamente igual que su único campo. .NET 11 no ofrece esa garantía: un struct que envuelve un double se pasa en RCX en Windows x64 pero en XMM0 en Linux y macOS. Aquí está el desensamblado del JIT de .NET 11 en tres ABI, los errores de P/Invoke que provoca y cómo escribir tipos envoltorio seguros en cualquier frontera.

El artículo Performance Improvements in .NET 11 de Stephen Toub muestra llamadas a métodos virtuales genéricos que bajan de 6.7 ns y 24 bytes a 1.8 ns y cero asignaciones. Tres pull requests de RyuJIT desbloquearon el inlining en el despacho que solía ser el más opaco de .NET.

W^X (write xor execute) es la regla de que ninguna página de memoria sea escribible y ejecutable al mismo tiempo. En .NET es la opción DOTNET_EnableWriteXorExecute, activa por defecto desde .NET 7, y existe únicamente para el JIT. Native AOT nunca la lee. Aquí está cómo la implementa el runtime, cuánto cuesta y cuándo desactivarla es una solución legítima.

PGO (optimización guiada por perfil) permite que el JIT de .NET especialice el código caliente para los tipos y ramas que tu carga de trabajo realmente ejecuta. Dynamic PGO está activo por defecto desde .NET 8, así que en .NET 8 y versiones posteriores no necesitas activarlo. Esto es lo que hace, cómo ver su efecto y los casos poco frecuentes en los que tocas el ajuste.

La compilación por niveles permite que el JIT de .NET compile cada método dos veces: primero rápido y sin optimizar para poner en marcha la aplicación, y luego de nuevo con optimizaciones completas cuando el runtime sabe que un método es caliente. Aquí verás cómo encajan el tier 0, el tier 1, el reemplazo en pila y el Dynamic PGO, y cómo observarlos y ajustarlos.

.NET 11 Preview 3 enseña a RyuJIT a eliminar bounds checks redundantes en accesos consecutivos index-from-end y en patrones i + constante < length, reduciendo presión de branches en loops apretados.