Greg Kroah-Hartman, i cili është përgjegjës për mbështetje të degëve stabile dhe "staging" të bërthamorëve Linux dhe mban pozitën e mbikëqyrësit në 16 nën-sisteme të bërthamorëve, mbajti një referat në konferencën Rust Week 2026, në të cilin ai foli se si gjuha Rust mund të ndihmojë në parandalimin e shfaqjes së dobësive në bërthamë që lindin nga gabime tipike të zhvilluesve në gjuhën C, kur punojnë me kujtesën, bllokimet, përpunimin e gabimeve dhe punën me të dhëna të pasigurta. Avantazhi kryesor i Rust përmendet si mundësia për të zbuluar këto gabime në fazën e ndërtimit, jo gjatë rishikimit të kodit nga njerëz. Megjithatë, Rust nuk e shohin si një panaci që do të eliminojë të gjitha problemet, dhe askush nuk planifikon të rivendos bërthamën në Rust: pritet një integrim gradual i Rust përmes përdorimit të saj për drejtues të rinj dhe nën-sisteme.
Si një shembull i gabimeve në bërthamë që do të ishin shmangur duke përdorur Rust, është përmendur një gabim në nën-sistemin Bluetooth, që ka mbetur pa u vënë re për 15 vjet, dhe problemi në hipervizorin Xen. Në rastin e parë, zhvilluesi kreu një dereference të treguesit pa kontroll, ndërsa në rastin e dytë harroi të largohet nga bllokimi në kodin e përpunimit të gabimeve.
Sipas Gregut, shumica e gabimeve në bërthamë shkaktohen nga këto detaje të vogla që me kalimin e kohës grumbullohen dhe shfaqen si dobesi. Në Rust, shumë nga këto probleme parandalohen nga kompajleri; për shembull, abstraktet Rust për bllokimin në bërthamë lejojnë aksesin në treguesit e brendshëm të strukturave vetëm pas kapjes së bllokimit përkatës, i cili lirohet automatikisht. Pa kapjen e bllokimit, nuk mund të arrihet në treguesit e strukturave në Rust.
Greg mendon se aftësitë e tilla të Rust nuk do të lejonin shfaqjen e 60% të gabimeve që identifikohen në bërthamë, dhe verifikimet e kryera nga kompajleri do të ndihmonin zhvilluesit të kursenin kohë nga diskutimet me autorët mbi saktësinë e përpunimit të gabimeve dhe arsyetimin e vendosjes së bllokimeve në vendin e duhur. Për më tepër, zbatimi i mbështetjes për Rust tashmë ka pasur një ndikim të favorshëm në kodin C në bërthamë për shkak të rregullimit të kodit C dhe ndërfaqeve, si dhe për shkak të huazimit të disa teknikave të zhvillimit (p.sh., janë implementuar bllokime me një fushë të kufizuar).
Falë sistemit të tipeve, i cili garanton respektimin e rregullave, dhe përdorimit të sistemeve të integrimit të vazhdueshëm që kontrollojnë kodin në fazën e ndërtimit, ata që rishikojnë ndryshimet në Rust mund të përqendrohen në verifikimin e logjikës së funksionimit dhe jo në ndjekjen e manovrimeve me burimet. Përdorimi i Rust gjithashtu lejon një qasje më të kujdesshme ndaj të dhënave që vijnë nga pajisjet ose nga sisteme të jashtme. Kjo arrihet përmes ndarjes së qartë midis të dhënave të besueshme dhe atyre të pabesueshme në nivelin e sistemit të tipeve: zhvilluesi mjafton të kryejë analizën gjatë kalimit nga një gjendje të pabesueshme në një gjendje të besueshme.
Në kohët e fundit, ekipi përgjegjës për sigurinë në bërthamë publikon çdo ditë rreth 13 raporte për vulnerabilitetet, e cila, duke krahasuar me dinamikën e kaluar të identifikimit të vulnerabiliteteve, perceptohet si një lloj çmendurie (për të ilustruar, dje u publikuan 277 raporte për vulnerabilitetet në bërthamë). Sipas Greg, përdorimi i Rust është një nga mënyrat reale për të arritur një reduktim të numrit të gabimeve në bërthamë të shkaktuara nga gabimet tradicionale në përpunimin e gabimeve dhe menaxhimin e burimeve. Në bërthamë, mbështetja për Rust tashmë ka kaluar përtej eksperimentit dhe në fund të vitit të kaluar u njoh si një mundësi standarde e bërthamës.
Burimi: opennet.ru
