Finaliza con éxito el experimento de Rust en el kernel de Linux

• La integración de Rust en el kernel de Linux terminó la etapa experimental y fue reconocida como un componente oficial
• En el Maintainers Summit anual, los desarrolladores acordaron adoptar el soporte de Rust como una función permanente
• Como resultado, se eliminará la etiqueta ‘experimental’ del código relacionado con Rust dentro del kernel
• Un editor de LWN señaló que “el experimento terminó, y fue un éxito”, mencionando los logros del equipo Rust for Linux
• Esto se considera un punto de inflexión importante para la expansión de los lenguajes de desarrollo del kernel y la dirección hacia más seguridad y modernización

---

Fin del experimento de Rust en el kernel y su adopción oficial

• En el Maintainers Summit anual se debatió el soporte de Rust dentro del kernel, y los desarrolladores asistentes coincidieron en que Rust ya no es una función experimental
  • Rust ahora forma parte central del kernel
  • En consecuencia, se eliminará la marca ‘experimental’ del código relacionado
• Un editor de LWN indicó en una publicación que “el experimento terminó, y fue un éxito”
  • También envió un mensaje de felicitación por el trabajo del equipo Rust for Linux

Reacción de la comunidad

• El título de la publicación provocó confusión momentánea, y algunos lectores reaccionaron pensando por error que Rust estaba siendo eliminado
  • En varios comentarios aparecieron reacciones como “por un momento caí” y “fue una montaña rusa emocional”
• Algunos usuarios reaccionaron con humor mencionando el estilo de titulares de Phoronix
  • También se señaló que la actividad de benchmarks de Phoronix y sus actualizaciones sobre el ecosistema open source son útiles
• Otros comentarios mencionaron que Microsoft también está introduciendo Rust en el kernel de Windows
  • Se opinó que algunos componentes ya fueron escritos en Rust y se incluyeron en versiones enviadas

Qué significa la adopción de Rust

• Al pasar el soporte de Rust en el kernel a ser una función oficial y permanente,
  la mejora de la seguridad de memoria y la adopción de un lenguaje moderno pasan a consolidarse como parte del desarrollo del kernel
• Con Rust adoptado tanto en el kernel como en Windows, se vuelve más visible la transición generacional en los lenguajes de programación de sistemas
• La comunidad recibe esta decisión como la culminación de un experimento exitoso, y hay expectativa por una futura expansión de los módulos del kernel basados en Rust

[secret3056]

Pero, para ser algo así, ¿no se bajaron varios maintainers?

[bus710]

Solo ha salido un libro sobre el tema del coreano, pero lamentablemente, como la forma de usar Rust en el kernel de Linux pasó por varios cambios incompatibles, ya no es totalmente compatible con los kernels actuales. Ojalá se pueda complementar a través de GitHub y otros medios.

[GN⁺]

Opiniones de Hacker News

• El soporte de Rust realmente ha avanzado muchísimo en los últimos 2 años
  ahora ya está cerca del punto en que se pueden escribir módulos del kernel casi sin boilerplate
  creo que quitar la etiqueta “experimental” es un hito importante
  parece que el verdadero punto de inflexión llegará cuando las distribuciones empiecen a ofrecer kernels con el soporte de Rust activado por defecto

  • Algunas distribuciones ya lo hacen
    por ejemplo, NixOS y Arch activan la pantalla de kernel panic con código QR escrita en Rust
    y creo que Fedora probablemente también lo soporta
  • Según entiendo, Fedora 43 se compila con CONFIG_RUST=y
  • Me pregunto qué significa exactamente la expresión “kernel con soporte de Rust activado por defecto”
    no es que el kernel soporte espacio de usuario en Rust, sino que entiendo que simplemente significa que parte del código del kernel se compila con rustc
  • Hasta que Rust tenga soporte completo en GCC, dudo que esto sea posible en todas las plataformas

• Después de mucha resistencia, emociona ver que Rust fue adoptado oficialmente en el kernel de Linux
  aplausos para el equipo de Rust for Linux

  • Recuerdo que antes hubo confusión con código Rust relacionado con el proyecto Asahi debido al rechazo de mantenedores
    me pregunto si ese incidente fue el primer dominó del proyecto
  • Según un artículo de Phoronix,
    Alex Gaynor, quien era co-mantenedor de Rust for Linux, renunció oficialmente
    ahora Miguel Ojeda quedó como el único mantenedor oficial, junto con varios revisores de código

• Me pregunto si quitar la etiqueta “experimental” significa que ahora es obligatorio para todos los mantenedores no romper el código Rust

  • En realidad, solo es una señal de que Rust ya quedó establecido oficialmente dentro del kernel
    es una muestra de confianza para que los desarrolladores inviertan en drivers basados en Rust
    las reglas siguen siendo las mismas, y no se puede enviar a Linus código que rompa la compilación de Rust
  • Dentro del kernel no se garantiza estabilidad salvo en la API de espacio de usuario
    es decir, que un mantenedor rompa código Rust interno no constituye una violación de las reglas

• Me pregunto si las arquitecturas que Rust no soporta ahora quedarán abandonadas

  • No. Por ahora Rust solo se usa en el subsistema de drivers
    las partes centrales del kernel todavía tienen que escribirse en C
  • Me pregunto qué arquitecturas no están soportadas
  • En tono de broma, alguien dice “sí, ya están todas cocinadas”

• Dicen que el título del artículo fue cambiado a “The (successful) end of the kernel Rust experiment”
  por los comentarios de la comunidad de que el título original era exagerado

  • Creo que el título corregido es apropiado
    según las guías de Hacker News,
    “solo hay que modificar el título original si resulta engañoso”
  • La palabra “successful” ya parece estar implícita
    porque un experimento fallido no llega a terminar
  • En broma, alguien propone un título como “Linux devs tried Rust — you won’t BELIEVE the reaction!”

• Ante la pregunta “¿esto es importante?”

  • “Sí, significa que se agregó una gran dependencia”
  • Otro responde brevemente: “sí”

• Si los drivers del kernel de Linux van camino a Rust, me pregunto si los sistemas BSD como FreeBSD pasarán por la misma oxidación
  o si habrá resistencia y bifurcación

• Hay quienes celebran los nuevos intentos

  • Pero alguien responde que “lo nuevo es inestable y difícil de aprender”
    aun así, piensan que Rust vale la pena por su seguridad de memoria y su expresividad

• Me pregunto qué partes del kernel actual están escritas en Rust

  • Un ejemplo representativo es la DRM Panic "Screen of Death", que está escrita en Rust
    ver este artículo de Phoronix
  • Rust se está usando sobre todo en el lado de los drivers de GPU

• Me pregunto cuánto unsafe hay dentro del código Rust del kernel
  antes había muchas quejas de que unsafe era demasiado incómodo

  • La mayor parte del código unsafe está escondida dentro del kernel crate que interactúa con la API en C
    los desarrolladores de drivers casi no necesitan usar unsafe
  • unsafe está diseñado, por naturaleza, para usarse solo en el código de borde (edge)
    la mayor parte del código se escribe en Rust seguro
  • unsafe sigue siendo complicado, pero casi no aparece en el código real de drivers
    por ejemplo, pwm_th1520.rs solo incluye
    una línea de unsafe para dar soporte a Send y Sync
  • El principio es documentar los bloques unsafe y envolverlos en interfaces seguras para no tener que volver a verlos directamente nunca más