Rust ja està llest per unir-se a C com un llenguatge pràctic per implementar a Linux
Fa unes poques setmanes vam compartir aquí al bloc la notícia sobre la confirmació que es va realitzar durant l'Open Source Summit Europe, per part de Linus Torvalds va anunciar que, excepte problemes imprevistos, si inclouran els pegats per recolzar el desenvolupament del controlador Rust al nucli Linux 6.1, que s'espera que es llanci al desembre.
La raó de fer-ne menció, és que Miguel Ojeda, autor del projecte Rust-for-Linux va donar a conèixer fa poc el llançament de la desena proposta dels components per al desenvolupament de controladors de dispositius Rust perquè els desenvolupadors del kernel de Linux els considerin.
Com a tal aquesta és l'onzena edició dels pegats, tenint en compte la primera versió publicada (sense número de versió). Linus Torvalds va aprovar la inclusió de la compatibilitat amb Rust al nucli de Linux 6.1, tret que sorgeixin problemes imprevistos.
Cal esmentar que el desenvolupament està finançat per Google i l'Internet Security Research Group (ISRG), que és el fundador del projecte Let's Encrypt i promou HTTPS i el desenvolupament de tecnologies per augmentar la seguretat d'Internet.
Alguns dels beneficis d'obtenir suport de Rust al nucli són facilitar l'escriptura de controladors de dispositius segurs en reduir les possibilitats derrors de memòria i encoratjar els nous desenvolupadors a involucrar-se al nucli.
«Rust és una d'aquelles coses que crec que portarà cares noves… ens estem tornant vells i grisos», va dir Linus.
Les notes de la versió de Linux 6.0 brinden una actualització sobre el progrés del projecte Rust per a Linux: hi ha un grup de treball relacionat, està disponible un controlador preliminar per a mitjans d'emmagatzematge NVMe desenvolupat amb aquest llenguatge, així com un controlador per a un servidor previst per al protocol de xarxa 9P.
Aprofitant la menció sobre la versió 6.1 del nucli Linus també va anunciar que la versió 6.1 del nucli millorarà algunes de les parts més antigues i fonamentals del nucli, com la funció printk().
Quant a allò relacionat amb aquesta nova proposta dels pegats Rust, igual que la darrera versió dels pegats, la desena versió es redueix al mínim, suficient per construir un mòdul kernel simple escrit a Rust.
Les diferències amb la versió anterior es redueixen a correccions menors, reemplaçant sizeof amb ARRAY_SIZE a kallsyms.cy adaptant pegats al nucli v6.0-rc7.
El suport de Rust encara s'ha de considerar experimental. No obstant això,
El suport és prou bo perquè els desenvolupadors del nucli puguin començar a treballar-hi.
S'espera que el pegat mínim, que s'ha reduït de 40 000 línies de codi a 13 000 línies de codi, facilite l'adopció de la compatibilitat amb Rust al nucli. Després de brindar un suport mínim, es planeja augmentar gradualment la funcionalitat existent, transferint altres canvis de la branca Rust-for-Linux.
Els canvis proposats fan possible l'ús de Rust com a segon llenguatge per desenvolupar controladors i mòduls del nucli. El suport de Rust es presenta com una opció que no està habilitada per defecte i no dóna com a resultat la inclusió de Rust entre les dependències de compilació requerides per al nucli.
L'ús de Rust per desenvolupar controladors us permetrà crear controladors millors i més segurs amb un esforç mínim, sense problemes com accedir a una àrea de memòria després d'alliberar-la, desreferenciar punters nuls i desbordaments de memòria intermèdia.
El maneig segur de la memòria es proporciona a Rust en temps de compilació mitjançant la verificació de referències, el seguiment de la propietat de lobjecte i la vida útil de lobjecte (abast), així com mitjançant lavaluació de la correcció de laccés a la memòria durant lexecució del codi.
Rust també brinda protecció contra desbordaments de sencers, requereix la inicialització obligatòria dels valors de les variables abans del seu ús, maneja millor els errors a la biblioteca estàndard, aplica el concepte de referències i variables immutables per defecte, ofereix tipus estàtic fort per minimitzar els errors lògics.
Finalment si estàs interessat en poder conèixer més a l'respecte sobre la nota, pots consultar les llistes de correu sobre el tema, en el següent enllaç.