Linuxi tuuma viies plaastrite väljaanne, mis toetab Rusti keelt

Miguel Ojeda, Rust-for-Linux projekti autor, on esitanud Linuxi tuumaarendajatele viie komponendi versiooni seadmejuhtmete arendamiseks Rusti keeles. Rusti tugi käsitletakse eksperimenteerna, kuid see on juba lisatud linux-next harusse ja on piisavalt arenenud, et alustada töötamist tuuma allüksuste abstraktsioonikihtide loomisega ning samuti juhtmete ja moodulite kirjutamisega. Arengut rahastavad Google ja organisatsioon ISRG (Internet Security Research Group), kes on Let’s Encrypti projekti asutaja ja edendab HTTPS-i ning arendab tehnoloogiaid, et suurendada interneti turvalisust.

Tuletame meelde, et ettepanekud muudatused võimaldavad kasutada Rusti teise keele kui draiverite ja tuuma moodulite arendamiseks. Rusti toetus on esitatud valikuna, mis pole vaikimisi aktiveeritud ja ei too kaasa Rusti lisamist tuuma kohustuslikesse koostamise sõltuvustesse. Rusti kasutamine draiverite arendamiseks võimaldab minimaalse vaevaga luua turvalisi ja kvaliteetseid draivereid, vabanedes sellistest probleemidest nagu mäluprobleemide juurde pääsemine pärast nende vabastamist, nullviidete de-referentsimine ja mälupuhvri piiride ületamine.

Rust tagab mäluga ohutu töö kompileerimise ajal viidete kontrollimise, objektide omandi jälgimise ja objektide eluea (nähtavuse) arvestamise kaudu ning hindab koodi käivitamise ajal mälule juurdepääsu õigust. Rust pakub ka vahendeid täisarvude ületäitumise kaitsmiseks, nõuab muutuja väärtuste kohustuslikku algväärtustamist enne kasutamist, käsitleb vigu paremini standardraamatukogus, rakendab muutujaid ja viiteid vaikimisi muutumatuks (immutable) ning pakub tugevat staatilist tüübi määramist loogiliste vigade vähendamiseks.

Uues patšide versioonis jätkatakse märkuste kõrvaldamist, mis on väljendatud esimese, teise, kolmanda ja neljanda patši arutelu käigus. Uues versioonis:

• Intel toetatud 0DAY/LKP pideva integratsiooni süsteemi on lisatud Rusti toe kontroll, ning on alustatud testimise aruannete avaldamist. Rusti toe integreerimine KernelCI automatiseeritud testimise süsteemi on valmimisel. GitHub CI põhine testimine on üle viidud konteinerite kasutamisele.
• Rustis kirjutatud tuumamoodulitel ei ole enam vajalik defineerida crate-aatribute «#![no_std]» ja «#![feature(…)]».
• Lisatud on toimetamise sihtrühmad (.o, .s, .ll ja .i).
• Koodi vormindamise soovitustes on määratletud reeglid kommentaaride («//») ja koodi dokumenteerimise («///») eraldamiseks.
• Is_rust_module.sh skript on ümber kirjutatud.
• Lisatud on staatiliste (globaalsete jagatud muutujate) sünkroniseerimise primitiivide tugi, mis põhineb «CONFIG_CONSTRUCTORS» teostusel.
• Lukustamise haldamine on lihtsustatud: Guard ja GuardMut on ühendatud ühe parametreeritud tüübiks.
• Seadmete registreerimise täiendavate parameetrite määramine on saanud võimaluse.
• Lisatud on «RwSemaphore» abstraktsioon, mis toimib C-struktuuri rw_semaphore ümber.
• Mmapi kasutamiseks on lisatud uus moodul mm ja abstraktsioon VMA (ümberstruktureeritud vm_area_struct).
• GPIO PL061 juhtmejuhiks on vahetatud makro «dev_*!» kasutamiseks.
• Koodi on üldiselt puhastatud.

Allikas: opennet.ru