Miguel Ojeda, autor i projektit Rust-for-Linux, ofroi pĂ«r shqyrtim pĂ«r zhvilluesit e kernelit Linux variantin e pestĂ« tĂ« komponenteve pĂ«r zhvillimin e drivereve tĂ« pajisjeve nĂ« gjuhĂ«n Rust. MbĂ«shtetje pĂ«r Rust konsiderohet si eksperimentale, por tashmĂ« Ă«shtĂ« pĂ«rfshirĂ« nĂ« degĂ«n linux-next dhe Ă«shtĂ« mjaft e zhvilluar pĂ«r tĂ« filluar punĂ«n nĂ« krijimin e shtresave tĂ« abstraksionit mbi nĂ«n-sistemet e kernelit, si dhe pĂ«r tĂ« shkruar drivera dhe module. Zhvillimi financohet nga kompania Google dhe organizata ISRG (Internet Security Research Group), e cila Ă«shtĂ« krijuesi i projektit Letâs Encrypt dhe kontribuon nĂ« promovimin e HTTPS dhe zhvillimin e teknologjive pĂ«r pĂ«rmirĂ«simin e sigurisĂ« nĂ« internet.
Kujtojme se ndryshimet e propozuara ofrojnë mundësinë e përdorimit të Rust si gjuhë të dytë për zhvillimin e drejtuesve dhe moduleve të bërthamës. Mbështetja për Rust paraqitet si një opsion, i cili nuk aktivizohet nga parazgjedhja dhe nuk çon në përfshirjen e Rust në numrin e varësive të detyrueshme për ndërtimin e bërthamës. Përdorimi i Rust për zhvillimin e drejtuesve do të lejojë krijimin e drejtuesve të sigurt dhe më të kualitetshëm me përpjekje minimale, duke eliminuar probleme si përdorimi i hapësirës së memories pas lirimit të saj, dereferencimi i treguesve null dhe tejkalimi i kufijve të tamponit.
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.
Në variantin e ri të patch-eve, vazhdohet eliminimi i vërejtjeve të shprehura gjatë diskutimit të redaksive të para, të dyta, të treta dhe të katërt. Në versionin e ri:
- Në sistemin e integrimit të vazhdueshëm të bazuar në botin 0DAY/LKP të mbështetur nga Intel, është shtuar kontrolli i komponenteve për mbështetje të Rust dhe ka filluar publikimi i raporteve për testimin. Po përgatitet integrimi i mbështetjes për Rust në sistemin e testimit automatizuar KernelCI. Testimi në bazë të GitHub CI është transferuar në përdorimin e konteinerëve.
- Modulet e kernelit nĂ« Rust janĂ« çliruar nga nevoja pĂ«r tĂ« pĂ«rcaktuar atributet crate â#![no_std]â dhe â#![feature(âŠ)]â.
- ĂshtĂ« shtuar mbĂ«shtetje pĂ«r qĂ«llimet e ndĂ«rtimit tĂ« vetme (.o, .s, .ll dhe .i).
- NĂ« rekomandimet pĂ«r formatimin e kodit janĂ« pĂ«rcaktuar rregullat nĂ« lidhje me ndarjen e komenteve (â//â) dhe dokumentimin e kodit (â///â).
- Skedari is_rust_module.sh është rishikuar.
- ĂshtĂ« shtuar mbĂ«shtetje pĂ«r primitive sincronizimi statike (variables tĂ« pĂ«rgjithshme globale), tĂ« bazuara nĂ« implementimin e âCONFIG_CONSTRUCTORSâ.
- Menaxhimi i bllokimeve është thjeshtuar: Guard dhe GuardMut janë të bashkuara dhe një tip i parametrizuar.
- ĂshtĂ« ofruar mundĂ«sia pĂ«r pĂ«rcaktimin e parametrave tĂ« tjerĂ« gjatĂ« regjistrimit tĂ« pajisjeve.
- ĂshtĂ« shtuar abstraksioni âRwSemaphoreâ, e cila vepron si njĂ« mbĂ«shtetje mbi strukturĂ«n C rw_semaphore.
- Për përdorimin e mmap është shtuar një modul i ri mm dhe abstraksioni VMA (mbështetje mbi strukturën vm_area_struct).
- Driveri GPIO PL061 Ă«shtĂ« transferuar pĂ«r tĂ« pĂ«rdorur makron âdev_*!â.
- ĂshtĂ« realizuar njĂ« pastrim i pĂ«rgjithshĂ«m i kodit.
Burimi: opennet.ru
