Uus Linuxi kerneli plaastrite versioon Rusti keele toega

Miguel Ojeda, Rust-for-Linux projekti autor, pakkus Linuxi tuuma arendajatele kaaluda Rusti keeles seadmedraiverite arendamiseks mõeldud komponentide v5 vabastamist. See on kuues kord, kui patšid välja antakse, arvestades esimest mustandit, mis avaldati ilma versiooninumbrita. Rusti tugi on eksperimenteerimise faasis, kuid on juba kaasatud linux-next haru ja piisavalt arenenud, et alustada abstraktsioonikihtide loomist tuuma alamüsteemide üle ning kirjutada draivereid ja mooduleid. Arendust finantseerivad Google ja ISRG (Internet Security Research Group), kes on Let’s Encrypt projekti asutaja ning toetab HTTPS-i ja interneti turvalisuse tehnoloogiate edendamist.

Tulet meelde, et pakutud muudatused võimaldavad kasutada Rust'i teise keelena draiverite ja tuumamoodulite arendamiseks. Rust'i toetamist tutvustatakse valikuna, mis ei ole vaikimisi aktiivne ja ei too kaasa Rust'i lisamist tuuma kohustuslikesse kogumise sõltuvustesse. Rust'i kasutamine draiverite arendamiseks võimaldab minimaalsete pingutustega luua turvalisemaid ja kvaliteetsemaid draivereid, vabastades need probleemidest nagu mälu kasutamine pärast selle vabastamist, nullviidete dereferenseerimine ja puhverserverist välja minemine.

Rust tagab mälutöö turvalisust kompileerimise ajal viidatud linkide kontrollimise, objektide omaniku jälgimise ja objektide eluea arvestamise (nähtavuse) kaudu, samuti pärast koodi käitamise ajal mälu juurdepääsu õigsuse hindamise kaudu. Rust pakub ka vahendeid täisarvude ülevoolude eest kaitsmiseks, nõuab muutuja väärtuste kohustuslikku initsialiseerimist enne kasutamist, haldab vigu paremini standardraamatukogus, rakendab muutumatuse (immutable) kontseptsiooni linkide ja muutujate puhul vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade minimeerimiseks.

Uues patši variandis jätkatakse varasemate patši versioonide - esimese, teise, kolmanda, neljanda ja viienda - arutelust saadud märkuste kõrvaldamist. Uues versioonis:

• Tööriistakomplekt on uuendatud Rust 1.59.0 versioonini. Koos uue Rust versiooniga on sünkroniseeritud alloc teegi variant, mis välistab võimaliku "panic" seisundi genereerimise vigade, näiteks mälu nappuse, korral. Stabiliseeritud on assembleri sisestuste kasutamine ("feature(global_asm)").
• Lisatud tugi Rustis kirjutatud hostiprogrammide loomisele, mida kasutatakse kernelit kompileerimise protsessis.
• Kohandatud platvormide spetsifikatsioonifailide eelehituslik pakkumine on asendatud nende dünaamilise genereerimisega kernelikonfiguratsiooni põhjal.
• Lisatud kerneliparameter HAVE_RUST, mis aktiveeritakse arhitektuuridel, kus Rust on toetatud.
• Pakutakse abstraktsioone, et kasutada Rusti koodis psühhosatellitite generaatorit.
• Lubatud on kasutada vigu ilma "Error::" eelmissita (näiteks "return Err(EINVAL)") C keele vigade töötlemise lähenemise lihtsustamiseks.
• Lisatud tüüp "CString" lähtekoodi stringide jaoks. Formatter ja Buffer tüübid on ühendatud.
• Lisatud tüübid Bool ja LockInfo.
• Spin-lockide teostust on lihtsustatud.

Allikas: opennet.ru