Rust'i edendamisel tuumades on kriis seoses hoolduse keerukuse muredega

Christoph Hellwig, KVM, Slab Allocator ja PowerPC alamsüsteemide hooldaja Linuxi tuumas, kes oli kunagi Linux Foundation'i tehnilise komitee liige ja esitas hagi seoses GPL-i kohustuse rikkumisega VMware'iga, keeldus kinnitamast Rusti keeles draiverite arendamise toetamiseks seotud patše. Pakutud patšid lisasid DMA alamsüsteemi mitme funktsiooni kohal toetused, võimaldades kasutada DMA-rataste Rusti keeles draiverites.

Keeldumise põhjuseks toodi esile koodi hooldamise keerukuse suurenemine, kui on olemas teiste keelte toetused, ja soov säilitada DMA programmiliideseid loetava C-keeles, ilma et need oleksid hägustatud arusaamatute toega. Christoph soovitas pöörduda otse DMA algse C API poole igas Rusti keeles draiveris, et mitte luua täiendavaid abstraktsioone, millest hooldajad sõltuma peavad.

Patšide arendajad märkisid, et nad võtavad kogu rusti koodi hooldamise enda peale, on valmis neid patše iseseisvalt hooldama ja viisid toetused eraldi alamkausta (rust/kernel/dma.rs). Vastuseks keelas Christoph rusti seotud patšide vastuvõtmise ('Nacked-by') ja märkis, et tal ei ole vaja veel üht hooldajat. Christoph ütles, et kui toetuste arendajad soovivad saavutada Linuxi hooldamise võimatust mitme keele segamise tõttu ühes koodibaasis, peaksid nad seda tegema oma draiveris, mitte levitama seda vähki tuumade peamistes alamsüsteemides.

Lisaks täpsustas Christoph, et tal ei ole midagi Rusti keele vastu ja peab seda üheks parimaks uutest keeltest, kuid ta on vastu erinevate keelte koodi segamisele. Christoph ütles, et ta toetab Rustis uute projektide loomist, kuid on vastu Rusti segamisele suurte C keele koodibaasidega, kuna selline segamine vähendab oluliselt tuuma hooldamise mugavust kui integreeritud projekti.

Probleemid toega on seotud sellega, et Rusti mähised sõltuvad Rusti keeles olevast koodist. Esmapilgul näib, et mähised on lihtsalt kihi ülesehitus C-struktuuride ja funktsioonide kohal, mis ei mõjuta C keeles oleva koodi arendamist ja hooldamist. Kuid see pole nii. Selliste mähiste olemasolul peavad C keeles kirjutatud alamsüsteemide arendajad arvesse võtma nende muutuste mõju mähiste töökindlusele. Iga muutus C keeles olevates andmestruktuurides või sisemistes funktsioonides võib põhjustada vajaduse muuta mähiste koodi, seetõttu tuleb C koodis mähistele mõjuvaid muutusi jälgida ja sünkroonida Rusti koodiga. Paljud hooldajad ei ole valmis võtma endale täiendavat vastutust, et lahendada Rusti koodis tekkivaid probleeme, ning ei kavatse kulutada aega Rusti mähiste seisundi jälgimiseks.

Hoolduse keerukuse olukord ei ole teoreetiline. Arutelu on liitunud Jason Gunthorpe, NVIDIA-d TPM, VFIO ja Infiniband hoidja, kes tõi välja näite Linus Torvaldsi pull-requesti tagasilükkamisest, mis sisaldas muudatusi mälu juhtimise alamsüsteemis, kuna see muutus põhjustas tõrke püüdes koostada tuuma Rusti toe lubamisega. Tõrge tekkis seetõttu, et Rusti koodi hoidjad ei lisanud vajalikku muudatust sidurite generaatorisse (bindgen). Seega, mälu juhtimise alamsüsteemi hoidjad, edastades täiustuse, mis on koodis C ja tuuma tervikuna täiesti korrektne, sõltusid lõpptulemusena valikulistest kolmandate osapoolte koodidest tuumas, mille eest vastutavad teised inimesed.

DMA-kõnede mähiste koodi vastuvõtmise keeld pani Rust for Linux projekti arendajad ummikseisu, kuna ilma selliste mähisteta on Rusti keeles täielike draiverite arendamine keeruline. Hector Martin, Apple'i ARM-kiipide toe hoidja ja Ashai Linuxi projekti juht, pakkus konflikti lahendamiseks välja, et saavutada mähiste vastuvõtmine otse Linus Torvaldsilt, kõrvale kaldudes DMA alamsüsteemi hoidjast. Kui Linus nõustub sellise korralduse ja praktikaga rikkumisega, võib see viia tuuma arenduse juhtimise kriisini, ja kui ta keeldub — peatab Rusti edendamise tuumas.

Näiteks mainis Hector, et Christophe'i vastutusele hoidmine käitumiskoodeksi rikkumise eest seoses kommentaariga, kus ta võrdis Rusti kasvaja sarnaseks, on võimalik. Lisaks kirjutas Hector, et on väsinud kõigist bürokraatlikest takistustest, pole valmis lihtsalt usaldama kehtivaid protsesse ja vihjas sotsiaalmeedia kaasamisele. Dave Airlie, DRM alamkompleksi hooldaja, soovitas konflikti mitte mullitada ja mõista, etSelline toksiline käitumine ei ole mõlemalt poolelt vastuvõetav, sõltumata sellest, kas arutelu osaleja on õige või vale.

Arutelusse tuli Linus Torvalds, kes märkis, et probleem on võib-olla iseeneses Hectoris ja tema enesekehtestamises, et ta teab midagi paremini kui teised, mitte praeguses Linuxi tuuma arendusprotsessis, mis toimib. Tuuma arendusprotsessil on probleeme, kuid see on elutõde — elus ei ole midagi ideaalset. Sotsiaalmeedia kaudu kiusamine on see, mis tõukab Linuse eemale Hectori lähenemisest. Linusele on olulised tehnilised arutelud ja patšid, mitte surve avaldamine sotsiaalmeedia kaudu.

Vastuseks saatis Hector taotluse eemaldada end ARM/APPLE platvormi toetajate seast, kuna ta on kaotanud usu tuuma arendusprotsessi ja kogukonna juhtimise lähenemisse. Ta teatas, et ARM/Apple platvormi arendamine jätkub väljaspool Linuxi põhi tuuma. ARM/Apple platvormil on tuumas veel üks hooldaja — Sven Peter, kes kavatseb platvormi tuumas toetada.

Allikas: opennet.ru