Miguel Ojeda, autori i projektit Rust-for-Linux, ka propozuar për shqyrtim nga zhvilluesit e kernel-it Linux lëshimin e komponentëve v10 për zhvillimin e drejtpërdrejtësve të pajisjeve në gjuhën Rust. Kjo është redaksioni e njëmbëdhjetë e patches që merr parasysh versionin e parë, i publikuar pa numër versioni. Përfshirja e mbështetjes për Rust është miratuar nga Linus Torvalds për tu përfshirë në kernel-in Linux 6.1, nëse nuk shfaqen probleme të paparashikuara. Zhvillimi financohet nga Google dhe organizata ISRG (Grupi i Kërkimeve për Sigurinë në Internet), e cila është themeluesi i projektit Let’s Encrypt dhe ndihmon në promovimin e HTTPS dhe zhvillimin e teknologjive për rritjen e sigurisë në internet.
Ashtu si versioni i kaluara, patchi v10 është zvogëluar në minimumin e nevojshëm, të mjaftueshëm për të ndërtuar një modul të thjeshtë kernel-i, të shkruar në gjuhën Rust. Diferencat nga versioni i kaluar janë të vogla, duke përfshirë korigjime të vogla, zëvendësimin e sizeof me ARRAY_SIZE në kallsyms.c dhe përshtatjen e patches në kernel-in v6.0-rc7. Pritet që patchi minimal, përmasat e të cilit janë zvogëluar nga 40,000 në 13,000 rreshta kode, do të thjeshtësojë pranimin e mbështetjes për Rust në bërthamën kryesore. Pas sigurimit të mbështetjes minimale, planifikohet të rritet gradualisht funksionaliteti ekzistues, duke transferuar dhe ndryshime të tjera nga dega Rust-for-Linux.
Ndryshimet e propozuara ofrojnë mundësinë për të përdorur Rust si gjuhë të dytë për zhvillimin e drejtpërdrejtësve dhe moduleve të kernel-it. Mbështetje për Rust prezantohet si një opsion, i cili nuk është aktiv nga e drejta dhe nuk çon në përfshirjen e Rust-it në listën e varësive të detyrueshme për ndërtim të kernel-it. Përdorimi i Rust për zhvillimin e drejtpërdrejtësve do të lejojë krijimin e drejtpërdrejtësve më të sigurt dhe cilësorë me përpjekje minimale, duke eliminuar probleme si aksesimi i hapësirës së memories pas lirimit të saj, dereferencimi i treguesve null dhe dalja përtej kufijve të buffer-it.
Funksionaliteti i sigurt i punës me kujtesën sigurohet në Rust gjatë kompilimit përmes verifikimit të referencave, ndjekjes së pronësisë së objekteve dhe llogaritjes së kohëzgjatjes së jetës së objekteve (fusha e dukshmërisë), si dhe përmes vlerësimit të saktësisë së aksesit në memorie gjatë ekzekutimit të kodit. Rust ofron gjithashtu mjete për mbrojtjen nga tejkalimet e numrave të tërë, kërkon inicializimin e detyrueshëm të vlerave të variablave para përdorimit, trajton më mirë gabimet në bibliotekën standarde, zbaton konceptin e referencave dhe variablave të pandryshueshëm (immutable) si parazgjedhje, dhe ofron një tipizim statik të fortë për të minimizuar gabimet logjike.
Burimi: opennet.ru
