Miguel Ojeda, autori i projektit Rust-for-Linux, propozoi pĂ«r shqyrtim nga zhvilluesit e bĂ«rthames Linux lĂ«shimin e komponentĂ«ve v8 pĂ«r zhvillimin e drejtorive tĂ« pajisjeve nĂ« gjuhĂ«n Rust. Kjo Ă«shtĂ« njĂ« redaktim i ri i patch-eve duke marrĂ« parasysh versionin e parĂ«, i publikuar pa numĂ«r versioni. MbĂ«shtetje pĂ«r Rust shqyrtohet si eksperimentale, por tashmĂ« Ă«shtĂ« e pĂ«rfshirĂ« nĂ« degĂ«n linux-next, pretendon tĂ« integrohet nĂ« lĂ«shimin e vjeshtĂ«s 5.20/6.0 dhe Ă«shtĂ« mjaft e zhvilluar pĂ«r tĂ« filluar punĂ«n nĂ« krijimin e niveleve tĂ« abstraksionit mbi nĂ«n-sistemet e bĂ«rthames, si dhe pĂ«r tĂ« shkruar drejtoritĂ« dhe module. Zhvillimi financohet nga kompania Google dhe organizata ISRG (Internet Security Research Group), e cila Ă«shtĂ« themeluese e projektit Letâs Encrypt dhe promovon HTTPS dhe zhvillimin e teknologjisĂ« pĂ«r tĂ« rritur sigurinĂ« e internetit.
Në këtë version të ri:
- Mjetet dhe varianti i bibliotekës alloc, i liruar nga gjenerimet e mundshme të gjendjes «panic» kur ndodhin gabime, janë përditësuar për publikimin Rust 1.62. Krahasuar me versionin e mëparshëm të përdorur në mjete Rust, është stabilizuar mbështetje për funksionalitetin const_fn_trait_bound, i përdorur në patch-et e bërthames.
- Kodi i lidhjeve është ndarë në një paketë të veçantë crate-në «bindings», që thjeshton përmirësimin në rast të ndryshimeve vetëm në paketën kryesore «kernel».
- Zbatimi i makros «concat_idents!» është rishkruar në formën e një makro proceduriale, e papërkufizuar në funkcionalitetin concat_idents dhe lejon përdorimin e referencave ndaj variablave lokalë.
- Makro «static_assert!» është rishkruar, duke lejuar përdorimin e «core::assert!()» në çdo kontekst në vend të konstantave.
- Makro «build_error!» është adaptuar për funksionimin kur vendoset për modulet në mënyrën «RUST_BUILD_ASSERT_{WARN,ALLOW}».
- ĂshtĂ« shtuar njĂ« skedar i veçantĂ« me cilĂ«sime «kernel/configs/rust.config».
- Skedarët «*.i» të trajtuar në makropërdorime janë rinovuar në «*.rsi».
- ĂshtĂ« ndalur mbĂ«shtetje pĂ«r ndĂ«rtimin e komponentĂ«ve Rust me nivele optimizimi tĂ« ndryshme nga ato tĂ« pĂ«rdorura pĂ«r kodin nĂ« gjuhĂ«n C.
- ĂshtĂ« shtuar moduli fs, i cili ofron lidhje pĂ«r punĂ« me sistemet e skedarĂ«ve. ĂshtĂ« propozuar njĂ« shembull i njĂ« sistemi tĂ« thjeshtĂ« skedarĂ«sh tĂ« shkruar nĂ« gjuhĂ«n Rust.
- ĂshtĂ« shtuar moduli workqueue pĂ«r punĂ« me radhĂ«t sistemore (ofron lidhje mbi strukturat e bĂ«rthamĂ«s work_struct dhe workqueue_struct).
- ĂshtĂ« vazhduar zhvillimi i modulit kasync me zbatimin e metodave tĂ« programimit asinkron (async). ĂshtĂ« shtuar njĂ« shembull i njĂ« serveri TCP funksional nĂ« nivelin e bĂ«rthames, tĂ« shkruar nĂ« Rust.
- ĂshtĂ« shtuar mundĂ«sia e trajtimit tĂ« ndĂ«rprerjeve nĂ« gjuhĂ«n Rust nĂ«pĂ«rmjet tipazheve [Threaded]Handler dhe llojeve [Threaded]Registration.
- ĂshtĂ« shtuar makro proceduriale «#[vtable]», e cila thjeshton punĂ«n me tabelat e treguesve nĂ« funksione, siç Ă«shtĂ« struktura file_operations.
- ĂshtĂ« shtuar zbatimi i listave tĂ« lidhura dyanshme «unsafe_list::List».
- ĂshtĂ« shtuar mbĂ«shtetje fillestare pĂ«r RCU (Read-copy-update) dhe tipin Guard pĂ«r tĂ« kontrolluar lidhjen e bllokimit pĂ«r leximin nĂ« rrjedhĂ«n aktuale.
- ĂshtĂ« shtuar funksioni Task::spawn() pĂ«r krijimin dhe fillimin automatik tĂ« rrjedhave tĂ« bĂ«rthames. ĂshtĂ« shtuar gjithashtu metoda Task::wake_up().
- ĂshtĂ« shtuar moduli delay, qĂ« lejon pĂ«rdorimin e vonesave (mbĂ«shtetje mbi msleep()).
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
