Linus Torvalds non descartou a posibilidade de integrar o soporte de Rust no núcleo Linux 5.20

Na conferencia Open-Source Summit 2022 que se celebra estes días, na sección de preguntas e respostas, Linus Torvalds mencionou a posibilidade de integrar en breve compoñentes no núcleo de Linux para desenvolver controladores de dispositivos na linguaxe Rust. É posible que se acepten parches con compatibilidade con Rust na seguinte xanela de aceptación de cambios, formando a composición do núcleo 5.20, prevista para finais de setembro.

A solicitude para incluír cambios no núcleo aínda non foi enviada a Torvalds, pero o conxunto de parches foi sometido a unha revisión adicional, foi liberado de comentarios importantes, foi probado na rama de linux-next durante bastante tempo e foi traído a un estado axeitado para crear capas de abstracción sobre subsistemas do núcleo, escribindo controladores e módulos. O soporte de Rust preséntase como unha opción que non está activada por defecto e non fai que Rust se inclúa como unha dependencia de compilación necesaria para o núcleo.

Os cambios propostos permiten utilizar Rust como segunda linguaxe para desenvolver controladores e módulos do núcleo. Usar Rust para o desenvolvemento de controladores permitirache crear controladores máis seguros e mellores cun mínimo esforzo, libre de problemas como o acceso á memoria despois da liberación, desreferencias de punteiro nulo e desbordamentos do búfer.

O manexo seguro para a memoria ofrécese en Rust no momento da compilación mediante a comprobación de referencias, o seguimento da propiedade do obxecto e a súa vida útil (alcance), así como a través da avaliación da corrección do acceso á memoria durante a execución do código. Rust tamén ofrece protección contra desbordamentos de enteiros, require a inicialización obrigatoria dos valores variables antes do seu uso, manexa mellor os erros na biblioteca estándar, aplica o concepto de referencias e variables inmutables por defecto, ofrece unha forte escritura estática para minimizar os erros lóxicos.

Fonte: opennet.ru

Engadir un comentario