- „Linux“ branduolys reikalauja vienodo ir griežto programavimo stiliaus, teikiant pirmenybę skaitomumui ir vengiant nereikalingų abstrakcijų ar per didelio išankstinio apdorojimo įrenginio naudojimo.
- Dirbtinio intelekto pagalba integruojama programinė įranga yra leidžiama tol, kol žmogus kūrėjas prisiima visą atsakomybę už klaidas ir viso proceso metu išlaikomas skaidrumas.
- Yra automatizuoti tikrinimo įrankiai ir griežti žmonių atliekami peržiūros procesai, siekiant išvengti regresijų ir užtikrinti sistemos stabilumą.
Įsitraukti į „Linux“ branduolio kūrimo pasaulį nėra lengva. Kad kodo eilutė būtų priimta į pagrindinį medį, nepakanka, kad ji „veiktų“; ji turi atitikti itin kruopščią projektavimo filosofiją , kuri teikia pirmenybę ilgalaikiam prižiūrėjimui, o ne greitam kūrimo procesui.
Pastaruoju metu diskusijos sutelktos į tai, kaip dirbtinis intelektas dera šioje ekosistemoje. Tai, kas prasidėjo kaip beveik visiškas skepticizmas, išsivystė į pragmatišką ir realistinį požiūrį , kai dirbtinis intelektas laikomas tiesiog dar vienu įrankiu, panašiu į klaviatūrą ar IDE, jei tik jis netampa pretekstu pateikti prastos kokybės kodą.
Auksinis standartas: kodo stilius ir kokybė
Branduolys turi labai apibrėžtą stiliaus vadovą, kuris yra ne tik pasiūlymas, bet ir reikalavimas. Kai kūrėjas pateikia pataisą, recenzentai greičiausiai paprašys jo performatuoti visą kodą, jei jis neatitiks gairių, nes vienodumas yra gyvybiškai svarbus tūkstančiams programuotojų, kad jie galėtų greitai suprasti bet kurią sistemos dalį. Nors tokios priemonės kaip „clang-format“ padeda tai automatizuoti, žmogaus sprendimas vis tiek yra svarbiausias.
Dažna naujokų klaida – bandymas išvalyti senų failų stilių vien tam, kad jie atsirastų pakeitimų žurnale. Bendruomenė tai laiko nereikšmingu triukšmu ir dažniausiai atmeta; formatavimo pakeitimai priimami tik tuo atveju, jei jie iš tikrųjų pagerina funkcionalumą. Be to, rekomenduojama vengti per ankstyvų abstrakcijos sluoksnių. Branduolyje per didelis lankstumas gali sumažinti našumą ir sutrikdyti logiką, todėl abstrakcijos turėtų būti diegiamos tik tada, kai tai absoliučiai būtina.
Dažni branduolio programavimo spąstai
C kalbos išankstinio apdorojimo naudojimas yra dar vienas svarbus aspektas. Nors #ifdef Jie yra naudingi, bet kodo užpildymas sąlyginiais kompiliavimais padaro jį neįskaitomą. Bendroji taisyklė yra tokia: apriboti išankstinio apdorojimo programą antraštės failais arba funkcijas, kurias galima palikti tuščias, kad kompiliatorius galėtų jas optimizuoti. Panašiai makrokomandas reikėtų pakeisti internetinės funkcijos kai tik įmanoma, nes pastarieji suteikia tipo garantiją ir padeda išvengti pavojingo daugkartinio vertinimo.
Tačiau funkcijų nereikėtų per daug naudoti. inlineUžpildžius kodą jais, galutinis dvejetainis failas gali išsipūsti, perpildyti procesoriaus talpyklas ir sulėtina sistemos vykdymąŠiuolaikinėje įrangoje erdvė yra laikas: kompaktiškesnis kodas paprastai yra efektyvesnis. Kita vertus, lygiagretumas yra nekeičiamas. Bet koks bendrinamas išteklius turi būti prieinamas. apsaugotas užraktu tinkama, nes kodo kūrimas ignoruojant daugiaprocesorines sistemas yra tiesus kelias į katastrofą.
Regresijos ir stabilumo pavojus
„Linux“ ekosistemoje regresijos sukėlimas yra kardinali nuodėmė. Regresija įvyksta, kai patobulinimas sugadina tai, kas jau veikia kitiems vartotojams. Linus Torvalds yra nepalenkiamas: pakeitimai, kurie sugadina esamas funkcijas, paprastai yra nedelsiant atšaukiami, neatsižvelgiant į tai, kiek naujų privalumų jie suteikia. Tai dar svarbiau vartotojo erdvės ABI , kuris turi likti nepakitęs neribotą laiką, kad nesugadintų išorinės programinės įrangos.
Patvirtinimo ir dokumentavimo įrankiai
Kad klaidos nepasiektų galutinio vartotojo, branduolys turi daugybę įrankių. Darbo eiga turi būti griežta – nuo visų GCC įspėjimų gavimo iki „lockdep“ naudojimo aklavietėms aptikti . Kiti svarbūs įrankiai yra „sparse“ , skirtas atminties adresų painiavai aptikti, ir „Coccinelle“ , leidžiantis atlikti didelio masto semantinius pakeitimus.
Kalbant apie dokumentaciją, ji nebėra prabanga, o reikalavimas. Kiekviename pataisyme turi būti išsamus pakeitimų žurnalas, kuriame paaiškinamos sprendimo priežastys. Naujos vartotojo erdvės sąsajos ir įkrovos parametrai turi būti kruopščiai dokumentuoti. Be to, rekomenduojama naudoti „kerneldoc“ , siekiant užtikrinti, kad vidinė API būtų suprantama bet kuriam prie projekto prisijungiančiam kūrėjui.
Dirbtinio intelekto integracija
Dabartinė pozicija dėl teisės magistro studijų programų (LLM) yra aiški: dirbtinis intelektas yra sveikintinas, jei jis suteikia techninės vertės, tačiau jis nepakeičia žmogaus sprendimų. Dėmesys perėjo nuo dirbtinio intelekto vertinimo kaip grynos rinkodaros prie jo naudojimo triažo ir automatizuotos peržiūros užduotims , kaip „Sashiko“ sistemos atveju , kuri padeda aptikti klaidas ir CVE prieš žmogaus įsikišimą. Tačiau tikroji problema yra ne pats dirbtinis intelektas, o automatizuotų ataskaitų šlamštas , kuris užtvindo adresų sąrašus be jokio išankstinio filtravimo.
Tiems, kurie naudoja dirbtinį intelektą, skaidrumas ir atskaitomybė yra svarbiausi. Nors buvo diskutuojama apie tokius žymėjimus kaip „padedama “, pagrindinis principas yra tas, kad kodo pateikėjas yra teisiškai ir techniškai atsakingas už kiekvieną eilutę, nepriklausomai nuo to, ar ją sugeneravo robotas. Dirbtinio intelekto padedamam kodui nėra žemesnių reikalavimų; jis turi atitikti tuos pačius kokybės, testavimo ir priežiūros standartus kaip ir ranka rašytas kodas.
„Linux“ branduolio kūrimą reglamentuoja griežta disciplina, kai galutinio kodo kokybė yra svarbesnė už kūrimo metodą. Kol laikomasi standartinio stiliaus, vengiama regresijų ir dirbtinis intelektas naudojamas klaidų šalinimui ir aptikimui, neapeinant žmogaus peržiūros, sistema gali toliau vystytis. Laisvė nenaudoti dirbtinio intelekto yra gerbiama, tačiau techninis efektyvumas ir individuali atsakomybė yra vieninteliai ramsčiai, garantuojantys operacinės sistemos branduolio patikimumą ir pritaikomumą.