Greg Kroah-Hartman, përgjegjës për mbështetje të degëve stabile dhe "staging" të bërthamës Linux dhe që mban postin si mësimdhënës në 16 nën-sisteme të bërthamës, mbajti një referat në konferencën Rust Week 2026, ku tregoi se si gjuha Rust mund të ndihmojë në parandalimin e shfaqjes së dobësive në bërthamë të shkaktuara nga gabimet tipike të zhvilluesve në gjuhën C në punën me memorien, bllokimet, trajtimin e gabimeve dhe punën me të dhëna të pasigurta. Si përfitim kryesor i Rust përmendet mundësia e identifikimit të këtyre gabimeve në fazën e ndërtimit, e jo gjatë rishikimit të kodit nga njerëzit. Megjithatë, Rust nuk konsiderohet si një panacee që do të eliminojë të gjitha problemet, dhe askush nuk ka qëllim të ri-skrupulojë bërthamën në Rust: pritet një zbatim gradual i Rust përmes përdorimit të tij për drejtues të rinj dhe nën-sisteme.
Si një shembull i gabimeve në bërthama, të cilat do të ishin shmangur nëse do të ishte përdorur Rust, u përmend një gabim në nëndegën Bluetooth, i cili kishte mbetur i paditur për 15 vjet, dhe problemi në hipervizorin Xen. Në rastin e parë, zhvilluesi kryente dereferencimin e një treguesi pa verifikim, ndërsa në rastin e dytë, ai harroi të hiqte bllokimin në kodin e përpunimit të gabimeve.
Sipas Greg-it, shumica e gabimeve në bërthamë shkaktohen nga detaje të tilla, të cilat akumulohen me kalimin e kohës dhe shfaqen si dobësi. Në Rust, shumë nga këto probleme parandalohen nga kompajleri, për shembull, abstraktet Rust për bllokimet në bërthamë lejojnë aksesin në treguesit e brendshëm të strukturave vetëm pas kapjes së bllokimit përkatës, i cili hiqet automatikisht. Pa kapjen e bllokimit, nuk mund të arrihet akses në treguesit e strukturave në Rust.
Greg mendon se mundësitë e tilla të Rust do të parandalonin 60% të gabimeve që identifikohen në bërthamë, dhe kontrollimet e kryera nga kompajleri do të kursejnë kohë për mbikëqyrësit në diskutimin me autorët mbi saktësinë e përpunimit të gabimeve dhe arsyeshmërinë e vendosjes së bllokimeve në vendin e duhur. Për më tepër, implementimi i mbështetjes për Rust ka pasur gjithashtu një ndikim pozitiv në kodin C në bërthamë duke e organizuar atë dhe interfesat, si dhe duke huazuar disa teknika zhvillimi (për shembull, janë realizuar bllokime me një fushë të kufizuar veprimi).
Falë sistemit të tipeve, që garanton respektimin e rregullave të caktuara, dhe aplikimit të sistemeve të integrimit të vazhdueshëm, të cilat kontrollojnë kodin gjatë fazës së ndërtimit, në rishikimin e ndryshimeve në Rust, kolegët mund të përqendrohen në kontrollin e logjikës së funksionimit dhe jo në ndjekjen e manipulimeve 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. Këto arrijnë falë ndarjes eksplicite të të dhënave të besueshme dhe të pa besueshme në nivelin e sistemit të tipeve: zhvilluesi duhet vetëm të kryejë analizën gjatë kalimit nga një gjendje të pa besueshme në një gjendje të besueshme.
Së fundmi, ekipi përgjegjës për sigurinë në kernel publikohen çdo ditë rreth 13 raporte për vulnerabilitete, që në krahasim me dinamikën e kaluar të identifikimit të vulnerabiliteteve perceptohet si njëfarë çmendurie (për shembull, dje u publikuan 277 raporte për vulnerabilitete në kernel). Sipas Gregut, përdorimi i Rust është një nga mënyrat reale për të arritur një reduktim të numrit të gabimeve në kernel, të shkaktuara nga gabime tradicionale gjatë përpunimit të gabimeve dhe menaxhimit të burimeve. Në kernel, mbështetje për Rust tashmë ka kaluar përtej eksperimenteve dhe në fund të vitit të kaluar u njoh si një mundësi standarde e kernelit.
Burimi: opennet.ru
