Rust'i tugi Linuxi kernelile kohtus Torvaldsi kriitikaga

Linus Torvalds viibis Rust'i keele draiverite loomise võimaluste implementatsiooni patšide ülevaatusel Linuxi tuumas ning tegi mõned kriitilised märkused.

Suuremaid kahtlusi tekitas võimalus, et vigade korral, näiteks mälu puudusel, võivad dünaamilise mälu jagamise operatsioonid, sealhulgas ka tuumas, lõppeda tõrkega. Torvalds märkis, et selline lähenemine tuumas on põhimõtteliselt vastuvõetamatu ja kui seda ei mõistetaks, võib ta täielikult tagasi lükata (totally NAKed) mistahes koodi, mis püüab sellist lähenemist kasutada. Teisest küljest nõustus patšide arendaja selle probleemiga ja peab seda lahendatavaks.

Teiseks probleemiks osutusid katsed kasutada ujuvpunkte või 128-bitiseid tüüpe, mis ei ole sellistes keskkondades nagu Linuxi tuum lubatud. See osutus tõsisemaks probleemiks, kuna praegu on Rust'i põhiline (core) teek jagamatu ja on üks suur blob — seal ei ole võimalik taotleda ainult mõningaid funktsioone, takistades teatud problemaatilise funktsionaalsuse kasutamist. Probleemi lahendamine võib nõuda muudatusi Rust'i kompilaatoris ja teegis, samas hetkel pole meeskonnal veel strateegiat, kuidas keele teekide moodulsuse rakendamine oleks võimalik.

Lisaks märkis Torvalds, et esitatud draiveri näide on kasutu ja soovitas lisada näiteks mingit draiverit, mis lahendab mõne reaalse probleemi.

Täienduseks: Google teatas oma osalemisest algatuses, et edendada Rust'i toe rakendamist Linuxi tuumas ning tõi välja tehnilised aspektid, mille poolest Rust'i integreerimine on otstarbekas, et tegeleda mäluhalduse vigadest tingitud probleemidega. Google usub, et Rust on juba valmis liituma C-ga Linuxi tuuma komponentide arendamise keeleks. Artiklis tuuakse ka välja näiteid Rust'i kasutamisest tuumadraiverite arendamisel, kontekstis nende kasutamisest Androidi platvormil (Rust on ametlikult tunnustatud keele arendamiseks Androidis).

On märgitud, et Google on valmistanud ette algse prototüübi Rusti keeles kirjutatud juhist interprotsesside suhtlemise mehhanismi Binder jaoks, mis võimaldab teha põhjalikku võrdlust Binderi teostuste jõudluse ja turvalisuse osas C ja Rust keeles. Praegusel kujul töö pole veel lõppenud, kuid peaaegu kõikide põhifunktsionaalsete abstraktsioonide, mis on vajalikud Binderi tööks, jaoks on ette valmistatud kihid nende abstraktsioonide kasutamiseks Rusti keeles kirjutatud koodis.

Allikas: opennet.ru