{"id":102509,"date":"2021-12-07T15:37:11","date_gmt":"2021-12-07T13:37:11","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust"},"modified":"2021-12-07T15:37:11","modified_gmt":"2021-12-07T13:37:11","slug":"tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/es\/blog\/news\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","title":{"rendered":"Tercera edici\u00f3n de parches para el n\u00facleo de Linux con soporte para el lenguaje Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Miguel Ojeda, autor del proyecto Rust-for-Linux, ha propuesto a los desarrolladores del n\u00facleo de Linux una tercera opci\u00f3n de componentes para el desarrollo de controladores de dispositivos en el lenguaje Rust. El soporte para Rust se considera experimental, pero ya se ha acordado su inclusi\u00f3n en la rama linux-next. El desarrollo est\u00e1 financiado por Google y la organizaci\u00f3n ISRG (Internet Security Research Group), que es la fundadora del proyecto Let's Encrypt y promueve el uso de HTTPS y el desarrollo de tecnolog\u00edas para aumentar la seguridad de internet. <\/p>\n
Recordemos que los cambios propuestos permiten usar Rust como segundo lenguaje para el desarrollo de controladores y m\u00f3dulos del n\u00facleo. El soporte para Rust se presenta como una opci\u00f3n, no activada por defecto y no provoca la inclusi\u00f3n de Rust entre las dependencias de construcci\u00f3n obligatorias del n\u00facleo. Usar Rust para el desarrollo de controladores permitir\u00e1 crear controladores seguros y de mayor calidad con un esfuerzo m\u00ednimo, libre de problemas como el acceso a \u00e1reas de memoria despu\u00e9s de su liberaci\u00f3n, la desreferencia de punteros nulos y la salida de los l\u00edmites del b\u00fafer. <\/p>\n
El manejo seguro de la memoria se garantiza en Rust durante la compilaci\u00f3n a trav\u00e9s de la verificaci\u00f3n de referencias, el seguimiento de la propiedad de los objetos y la consideraci\u00f3n del tiempo de vida de los objetos (\u00e1reas de visibilidad), as\u00ed como mediante la evaluaci\u00f3n de la correcci\u00f3n del acceso a la memoria durante la ejecuci\u00f3n del c\u00f3digo. Rust tambi\u00e9n proporciona medios para proteger contra desbordamientos enteros, requiere la inicializaci\u00f3n obligatoria de los valores de las variables antes de su uso, maneja mejor los errores en la biblioteca est\u00e1ndar, aplica el concepto de inmutabilidad (immutable) de referencias y variables por defecto, y ofrece una fuerte tipificaci\u00f3n est\u00e1tica para minimizar errores l\u00f3gicos. <\/p>\n
En la nueva versi\u00f3n de los parches se ha continuado la eliminaci\u00f3n de los comentarios realizados durante la discusi\u00f3n de la primera y segunda versiones de los parches. Los cambios m\u00e1s notables son: <\/p>\n
\n
Se ha realizado la transici\u00f3n a utilizar la versi\u00f3n estable 1.57 de Rust como compilador de referencia y se ha vinculado a la edici\u00f3n estabilizada del lenguaje Rust 2021. Anteriormente, los parches estaban vinculados a la rama Beta de Rust y utilizaban algunas caracter\u00edsticas del lenguaje que pertenecen a la categor\u00eda de inestables. La transici\u00f3n a la especificaci\u00f3n Rust 2021 ha permitido iniciar el trabajo para eliminar del c\u00f3digo de los parches caracter\u00edsticas inestables como const_fn_transmute, const_panic, const_unreachable_unchecked y core_panic y try_reserve.\n
Contin\u00faa el desarrollo de la variante de la biblioteca Rust alloc que forma parte de los parches, modificada para eliminar funciones de distribuci\u00f3n de memoria que podr\u00edan generar estados de \"panic\" al ocurrir errores, como la falta de memoria. La nueva versi\u00f3n incorpora las opciones \"no_rc\" y \"no_sync\" para desactivar la funcionalidad no utilizada en el c\u00f3digo Rust del n\u00facleo, lo que hace que la biblioteca sea m\u00e1s modular. Se sigue trabajando con los desarrolladores principales de alloc, centrado en trasladar los cambios necesarios para el n\u00facleo al conjunto principal de la biblioteca. La opci\u00f3n \"no_fp_fmt_parse\", necesaria para el funcionamiento de la biblioteca a nivel de n\u00facleo, se ha trasladado a la biblioteca base de Rust (core).\n
Se ha realizado una limpieza del c\u00f3digo para eliminar posibles advertencias del compilador al compilar el n\u00facleo en modo CONFIG_WERROR. Durante la compilaci\u00f3n del c\u00f3digo en Rust se han incluido modos de diagn\u00f3stico adicionales del compilador y advertencias del linter Clippy.\n
Se han propuesto abstracciones para su uso en el c\u00f3digo en el lenguaje Rust, como bloqueos seqlock (bloqueos de secuencia), llamadas de retorno para la gesti\u00f3n de energ\u00eda, I\/O Memory (readX\/writeX), manejadores de interrupciones y hilos, GPIO, acceso a dispositivos, controladores y credenciales.\n
Se han ampliado las herramientas para el desarrollo de controladores utilizando mutexes movibles, iteradores de bits, envoltorios simplificados sobre punteros, diagn\u00f3stico mejorado de fallos e infraestructura independiente del bus de datos.\n
Se ha mejorado el manejo de referencias mediante un tipo simplificado Ref, basado en el backend refcount_t, que utiliza la API del n\u00facleo para el conteo de referencias. El soporte para los tipos Arc y Rc, proporcionados en la biblioteca est\u00e1ndar alloc, ha sido eliminado y no est\u00e1 disponible en el c\u00f3digo que se ejecuta a nivel del n\u00facleo (para la propia biblioteca se han preparado opciones que desactivan estos tipos).\n
Se ha a\u00f1adido al conjunto de parches una variante del controlador PL061 GPIO, reescrita en Rust. La caracter\u00edstica del controlador es que su implementaci\u00f3n pr\u00e1cticamente sigue l\u00ednea por l\u00ednea al controlador GPIO existente en el lenguaje C. Para los desarrolladores que deseen familiarizarse con la creaci\u00f3n de controladores en Rust, se ha preparado una comparaci\u00f3n l\u00ednea por l\u00ednea que permite entender en qu\u00e9 construcciones de Rust se ha transformado el c\u00f3digo en C.\n
Se ha aceptado en la base de c\u00f3digo principal de Rust rustc_codegen_gcc, el backend rustc para GCC, que implementa la posibilidad de compilaci\u00f3n anticipada (AOT) utilizando la biblioteca libgccjit. Con el adecuado desarrollo del backend, permitir\u00e1 compilar el c\u00f3digo Rust utilizado en el n\u00facleo mediante GCC.\n
Adem\u00e1s de las empresas ARM, Google y Microsoft, la empresa Red Hat ha expresado inter\u00e9s en el uso del lenguaje Rust en el n\u00facleo de Linux. Cabe recordar que Google apoya directamente el proyecto Rust for Linux, desarrolla una nueva implementaci\u00f3n del mecanismo de comunicaci\u00f3n entre procesos Binder en Rust y considera la posibilidad de reescribir varios controladores en Rust. Microsoft ha comenzado la implementaci\u00f3n de controladores para Hyper-V en Rust. ARM est\u00e1 trabajando en mejorar el soporte de Rust para sistemas basados en procesadores ARM. IBM ha implementado soporte para Rust en el n\u00facleo para sistemas PowerPC. <\/ul>\n