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
