Rust Semanal #3: mold 3.0 reescrito por completo en Rust, la arquitectura GCA para const generics y Deno se une a Cloudflare

📦 Novedades de versiones

Evolución de la versión estable y mejoras en el pipeline de compilación

La versión estable más reciente es Rust 1.99.0 (publicada el 1 de octubre de 2026). Para un análisis exhaustivo de sus características, consulta: Novedades de Rust 1.99 al detalle.

Tras haber analizado la semana pasada el soporte para variádicos en extern "C" y las API para inspeccionar el layout de punteros raw, repasamos ahora tres ajustes clave en Cargo y la toolchain de compilación:

Cambio	Modificación de regla	Impacto práctico en ingeniería
Sobrescritura de dependencias por defecto del workspace (RFC 3945)	En la edición 2024, los subcrates pueden declarar default-features = false explícitamente para invalidar la configuración compartida por el workspace.	Evita la contaminación de dependencias en workspaces con múltiples crates; los componentes ligeros de cliente ya no se ven forzados a incorporar dependencias innecesarias activadas para el backend.
Compilación incremental desactivada por defecto en CI (Cargo #17220)	Al detectar la variable de entorno CI, Cargo deshabilita automáticamente el modo incremental.	Erradica el gasto innecesario de I/O en disco y la invalidación de caché provocados por contenedores efímeros que generan y descartan archivos temporales de compilación.
Perfil debug predefinido de fábrica (Cargo #17214)	Se introduce un perfil debug independiente equivalente a dev, allanando el camino para desacoplar en el futuro sus parámetros de optimización.	Permite a los equipos ajustar de forma independiente los niveles de optimización y símbolos de depuración entre sesiones puras de resolución de errores y el flujo diario de iteración local.

En cuanto al soporte de plataformas, desde el 2 de octubre los targets i686-pc-windows-msvc e i686-pc-windows-gnu han sido degradados a nivel std-only. La infraestructura oficial de CI ya no garantiza la validación completa de la toolchain para estas arquitecturas. Los equipos que mantengan aplicaciones de escritorio heredadas deben migrar sus entornos de compilación a 64 bits.

📝 Artículos en profundidad

Publicación de mold 3.0.0: reescritura total en Rust con saltos en seguridad y compilación

Qué ocurrió: El experto en compiladores Rui Ueyama publicó el 5 de octubre el enlazador de alta velocidad mold 3.0.0. A partir de esta versión, mold abandona definitivamente su base de código en C++ para adoptar una reescritura completa en Rust, quedando la versión 2.42.1 como el último lanzamiento de la rama C++. El sistema de compilación migra de CMake a Cargo (requiriendo Rust 1.95 como mínimo) y las suites de pruebas pasan a gestionarse mediante cargo test.

Por qué es importante: Verificado mediante la compilación exhaustiva de los paquetes del repositorio de Gentoo, mold 3.0.0 ofrece un rendimiento idéntico al de la versión C++ 2.42.1, sin ninguna regresión de velocidad. En términos de seguridad de memoria, el antiguo código C++ era propenso a accesos fuera de límites y fallos de segmentación (segfaults) ante archivos de entrada corruptos; la versión en Rust comprueba sistemáticamente los límites, transformando anomalías estructurales en un pánico controlado acompañado de trazas de diagnóstico claras. Además, se elimina la dependencia en tiempo de ejecución de oneTBB y se enlaza estáticamente mimalloc 3.5.3, despejando el camino para su adopción como enlazador predeterminado en las principales distribuciones de Linux.

A quién afecta: Ingenieros de compilación a cargo de grandes monorrepositorios en C/C++/Rust, empaquetadores de distribuciones Linux y equipos de CI donde el tiempo de enlazado representa un cuello de botella crítico.

Pruebas reales en escenarios con predominio de lecturas: por qué RwLock pierde frente a la recuperación por épocas sin bloqueos

Qué ocurrió: La ingeniera de sistemas Pranitha analizó una serie de pruebas de rendimiento donde un único hilo de escritura y 50 tareas lectoras concurrentes en Tokio recorrían de forma continua un slice de 16.384 elementos. Los resultados demostraron que el rendimiento y la latencia P99 de parking_lot::RwLock quedaban muy por detrás de la solución sin bloqueos basada en crossbeam-epoch, persistiendo el impacto en el rendimiento incluso tras detener por completo el hilo escritor.

Por qué es importante: Para monitorizar el número de lectores concurrentes, RwLock debe ejecutar operaciones CAS o decrementos atómicos sobre un AtomicUsize en cada adquisición y liberación de bloqueo. Bajo una carga de 16.000 recorridos por segundo bloqueando elemento por elemento, se generan 524 millones de escrituras atómicas entre núcleos cada segundo. Los núcleos de la CPU compiten continuamente por la misma línea de caché (Cache Line Bouncing), colapsando el bus de interconexión. Al utilizar crossbeam-epoch, los lectores invocan pin() una sola vez sobre la época global antes de iniciar el recorrido, convirtiendo las 16.384 lecturas en simples accesos atómicos load(Ordering::Acquire) sin contención entre núcleos. Frente al enfoque de doble búfer de left-right, el esquema por épocas ahorra 4 GB en copias redundantes de memoria manteniendo tiempos de respuesta idénticos en el orden de microsegundos.

A quién afecta: Arquitectos de rendimiento en pasarelas de trading de alta frecuencia, motores de caché en memoria y sistemas de encaminamiento de señalización en tiempo real.

Rediseño de const generics: emerge la arquitectura Generic Const Arguments (GCA)

Qué ocurrió: El 2 de octubre, el grupo de trabajo oficial de Const Generics de Rust publicó un extenso artículo técnico anunciando la retirada formal del prototipo generic_const_exprs, estancado durante años, para apostar definitivamente por la familia de características Generic Const Arguments (GCA), incluyendo gca_adts y gca_const_items.

Por qué es importante: El compilador estable de Rust solo permite actualmente parámetros constantes aislados (como { N }) o cálculos con literales (como { 1 + 1 }), sin admitir expresiones como [u8; T::NUM_BYTES] ni estructuras constantes vinculadas a tipos. Esto obligaba a las bibliotecas de álgebra matricial y controladores embebidos a recurrir a macros como typenum y abundante código repetitivo. El prototipo anterior encalló porque la comprobación de tipos y la evaluación de constantes entraron en un bucle cerrado de dependencias mutuas. La arquitectura GCA define límites de evaluación estrictos: en sus fases iniciales requiere la macro gca!(...) para delimitar el alcance de la expresión, habilitando progresivamente constructores de structs, desestructuración de tuplas y constantes asociadas. Al evitar la complejidad descontrolada de las operaciones matemáticas arbitrarias, GCA traza una vía viable para que el compilador verifique expresiones constantes complejas con plenas garantías.

A quién afecta: Mantenedores de software de computación científica, bibliotecas matriciales (como nalgebra o burn), controladores de registros embebidos y algoritmos criptográficos.

Bevy 0.20 publicado: el trazado de caminos en tiempo real de Solari da el salto a producción

Qué ocurrió: El 8 de octubre, el motor de videojuegos Bevy presentó su versión 0.20, fruto de 817 pull requests aportados por 227 colaboradores. Entre sus avances destacan la optimización del pipeline de trazado de caminos Solari con soporte para macOS Metal y DLSS-RR 4.5, la adopción del estándar de sombreadores WESL, una sintaxis de declaración de escenas BSN más concisa, ordenación flexible de sistemas con chain_weak y el seguimiento de cambios por columnas (Per-Column Change Ticks) en el ECS.

Por qué es importante: El renderizador Solari emplea un grafo de escena retenido (Retained World) para minimizar la sobrecarga de envío en la CPU y hace opcional el costoso remuestreo espaciotemporal ReSTIR, aunando altas tasas de cuadros con sombras dinámicas estables. En el núcleo del ECS, el seguimiento de cambios por columnas permite consultar los relojes lógicos de columnas específicas de componentes sin recorrer arquetipos completos, recortando el tiempo de escaneo en entornos multihilo y demostrando la madurez de Rust puro en sistemas interactivos complejos.

A quién afecta: Desarrolladores de motores gráficos, investigadores de computación gráfica en Rust y diseñadores de arquitecturas de visualización 3D y flujos de datos en aplicaciones de escritorio.

🔥 Debates de la comunidad

El equipo de Deno se une a Cloudflare: el desenlace comercial de los runtimes independientes

El 9 de octubre, Ryan Dahl anunció que la totalidad del equipo de Deno pasa a formar parte de Cloudflare, estableciendo un periodo de soporte de un año para el runtime independiente antes de concluir su desarrollo oficial. El anuncio provocó un animado debate en r/rust (428 puntos, 135 comentarios).

• Escepticismo sobre la viabilidad comercial: Varios desarrolladores señalaron que Deno representaba uno de los proyectos de código abierto en Rust más emblemáticos para herramientas web en el servidor. La renuncia al runtime autónomo y al servicio de nube propio (Deno Deploy) evidencia que las mejoras en rendimiento y experiencia de desarrollo no bastan para superar las barreras de tráfico e infraestructura de los gigantes tecnológicos de la nube.
• Reconocimiento del valor técnico: Otros ingenieros destacaron que los activos tecnológicos de Deno no desaparecerán. Componentes fundamentales como la biblioteca de bindings rusty_v8 seguirán manteniéndose e integrándose estrechamente en workerd de Cloudflare. Esto corrobora que las cajas de arena ligeras escritas en Rust tienen un valor estratégico crucial en la computación perimetral distribuida y que su integración en plataformas consolidadas potencia sus virtudes en sistemas de bajo nivel.

El misterio de los cuelgues de curl en ARM64: ¿defecto de optimización o falso positivo en Valgrind?

El autor de curl, Daniel Stenberg, comunicó en Mastodon que discrepancias en la optimización de GCC 15/16 y Rust en plataformas ARM64 generaban avisos de fallos en curl, abriendo el issue #23237 en GitHub (52 puntos y 12 comentarios en Hacker News, junto con 22 aportaciones técnicas especializadas en el repositorio).

• Solución pragmática de ingeniería: Ante las advertencias de Valgrind sobre saltos condicionales basados en memoria no inicializada al compilar quiche (la biblioteca QUIC de Cloudflare en Rust) con --release, el equipo de curl optó por forzar temporalmente opt-level=0 en las pruebas de CI para ARM64 y salvaguardar la integración continua.
• Perspectiva del funcionamiento del compilador: Ingenieros del equipo de Rust analizaron el código ensamblador y descubrieron que rustc generaba la instrucción de selección condicional csel de ARM64 para las comparaciones de Option<u64>. Si el valor es None, el registro lee memoria no inicializada, pero la condición garantiza que el resultado final sea siempre cero de forma completamente segura y conforme a las especificaciones de la arquitectura. El debate de fondo plantea una disyuntiva: ante binarios válidos a nivel de hardware que activan falsas alarmas en analizadores sintácticos, ¿deben los proyectos alterar sus opciones de compilación o instar a los creadores de las herramientas a refinar sus análisis?

La realidad laboral de los desarrolladores Rust en el sector de subcontratación

En el concurrido hilo de r/rust «Rust Has Become a Career Dead End for Me — What Should I Do?» (427 puntos, 215 comentarios), un profesional volcado a tiempo completo en Rust desde 2023 compartió su experiencia tras más de medio año en paro en un mercado regional dominado por consultoras y empresas de outsourcing sin puestos acordes.

• Contraste entre popularidad comunitaria y demanda de empleo: Las intervenciones recalcaron que la satisfacción manifestada en las encuestas tecnológicas no equivale a vacantes en el mercado laboral. Los proyectos estándar priorizan la rápida entrega y la abundancia de candidatos, donde lenguajes como Java, Go y C# cuentan con reservas de talento mucho más amplias. En estos entornos, el prolongado periodo de aprendizaje y la gestión de la propiedad en Rust suelen percibirse como un sobrecoste innecesario.
• Estrategias para orientar la carrera: Desarrolladores veteranos aconsejaron no ligar la identidad laboral a un único lenguaje de programación. Rust resulta inmejorable como palanca intelectual para asimilar arquitecturas de sistemas, modelos de memoria y concurrencia avanzada. En el plano laboral, conviene dominar lenguajes empresariales mayoritarios para mantener opciones abiertas y postularse a la vez a puestos de infraestructura, finanzas cuantitativas y desarrollo de bajo nivel, donde el dominio de Rust se remunera de forma diferencial.

🔭 Temas a seguir la próxima semana

• Integración del enlazador en las distribuciones: Tras el lanzamiento de mold 3.0.0, seguiremos la incorporación de paquetes y las pruebas de rendimiento en repositorios oficiales como Gentoo y Arch Linux;
• Avances en los RFC de const generics: Atención a las próximas propuestas del equipo de diseño de Rust orientadas a definir una sintaxis sin macros y mejorar la inferencia de tipos dentro de la arquitectura GCA.