Neljas Linuxi tuumikupatchide väljaanne Rusti keele toe jaoks

Miguel Ojeda, Rust-for-Linux projekti autor, esitas Linuxi tuuma arendajatele neljanda versiooni Rusti keeles seadme draiverite arendamiseks mõeldud komponentidest. Rusti toetamist käsitletakse eksperimentaalsena, kuid see on juba kokkulepitud sisestamiseks linux-next filiaali ja on piisavalt arenenud, et alustada abstraktsioonikihtide loomist tuuma alamsüsteemide üle ning samuti draiverite ja moodulite kirjutamist. Arendust finantseerivad ettevõte Google ja organisatsioon ISRG (Internet Security Research Group), mis on Let's Encrypt projekti asutaja ja toetab HTTPS-i edendamist ning Interneti kaitsetehnoloogia arendamist.

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 esimeses, teises ja kolmandas patši redaktsioonis esitatud märkuste eemaldamist. Uues versioonis:

• On ülemineku tegemine stabiilse Rusti 1.58.0 versiooni kasutamisele viitamisse kompilaatorina. Projekti jaoks vajalikud muudatused, mis ei ole veel põhivarustusse kuuluvad, hõlmavad lippu „-Zsymbol-mangling-version=v0” (oodatakse Rust 1.59.0-s) ja režiimi „maybe_uninit_extra” (oodatakse Rust 1.60.0-s).
• On lisatud automaatkontrollid sobivuse osas Rusti tööriistade olemasolule ja laiendatud testimise võimalusi Rusti toe osas süsteemis.
• On pakutud uusi abstraktsioone, mis võimaldavad Rust-i keeles kirjutatud koodist pääseda seadme identifikaatorite tabelitele („IdArray” ja „IdTable”).
• On lisatud vahed, et pääseda kellaraamide funktsioonide juurde (kellafraiming).
• Platvormide draiverid on nüüd määratud tüüpide rakenduse kaudu.
• On lisatud uus makro platvormide draiverite registreerimise lihtsustamiseks ning pakutud uus tüüpmakro draiveri näidis.
• On lisatud makrod struktuuridele „dev_*”.
• On lisatud meetodid „{read,write}*_relaxed” tüüpi IoMem jaoks.
• FileOpener omadus on eemaldatud failide operatsioonide lihtsustamiseks.
• Draiveri registreerimise protsessis edastatavate argumendide hulka on lisatud parameeter „ThisModule”.
• On pakutud tüüpmakro tuumamoodulite loomiseks Rusti keeles.

Allikas: opennet.ru