Greg Kroah-Hartman, aki a Linux kernel stabil és staging ágainak támogatásáért felel, valamint 16 kernel alrendszer karbantartója, előadást tartott a 2026-os Rust Hét konferencián, amelyben arról beszélt, hogyan segíthet a Rust nyelv a kernelben előforduló sebezhetőségek megakadályozásában, amelyek a C nyelvvel kapcsolatos tipikus fejlesztői hibákból adódnak, mint például a memória kezelésével, zárak kezelésével, hiba kezeléssel és megbízhatatlan adatokkal dolgozáskor. A Rust fő előnyeként említik, hogy képes az ilyen hibákat már a fordítási fázisban észlelni, nem pedig az emberi kódellenőrzés során. Ugyanakkor a Rust nem tekinthető minden probléma megoldásának, és senki sem tervezi a kernel Rust-ra történő átírását: várhatóan fokozatosan vezetik be a Rust-ot új meghajtók és alrendszerek használatával.
Példaként a kernelben előforduló hibákra említettek egy Bluetooth alrendszeri hibát, amely 15 évig észrevétlen maradt, és egy problémát a Xen hypervisorban. Az első esetben a fejlesztő pointer dereferálást hajtott végre ellenőrzés nélkül, míg a második esetben elfelejtette feloldani a zárolást a hiba kezelés során.
Greg szerint a kernel legtöbb hibája hasonló apróságokból adódik, amelyek idővel felhalmozódnak és sebezhetőségekként jelennek meg. A Rust sok ilyen problémát megakadályoz a fordítóval, például a Rust-absztrakciók a kernelben lehetővé teszik, hogy a struktúrák belső pointereihez csak akkor férjünk hozzá, amikor a megfelelő zárolást megszereztük, amely automatikusan feloldódik. Zárolás nélkül nem lehet hozzáférni a Rust struktúrák pointereihez.
Greg úgy véli, hogy a Rust hasonló lehetőségei elkerülhették volna a magban észlelt hibák 60%-át, és a fordító által végzett ellenőrzések mentesítették volna a fejlesztőket az időpocsékolástól, amit a hibakezelés helyességének vitatása és a blokkolások megfelelő helyen történő elhelyezésének indoklása jelentett. Ráadásul a Rust támogatásának bevezetése már jótékony hatással volt a C-kódra is a magban, rendezettséget hozva a C-kód és az interfészek terén, és átvéve néhány fejlesztési technikát (például korlátozott hatókörű blokkolások valósultak meg).
A típus rendszernek köszönhetően, ami garantálja az előírások betartását, és a folyamatos integrációs rendszerek alkalmazásával, amelyek a kódot a build szakaszában ellenőrzik, a Rust-ra vonatkozó változások átnézése során a fejlesztők összpontosíthatnak a logika ellenőrzésére, nem pedig az erőforrásokkal való manipulációk nyomon követésére. A Rust alkalmazása szintén lehetővé teszi a fejlesztők számára, hogy alaposabban foglalkozzanak azokkal az adatokkal, amelyek a hardverből vagy külső rendszerekből érkeznek. Ezt a típus rendszerszintű megkülönböztetés teszi lehetővé: a fejlesztőnek elegendő, ha áttekinti az adatok megbízhatóságát, amikor a nem megbízható állapotból a megbízható állapotba lép.
Az utóbbi időben a magbiztonsági csapat naponta körülbelül 13 sebezhetőségi jelentést tesz közzé, ami a múltbeli sebezhetőségi észlelések dinamikájához képest valóságos őrületnek számít (például tegnap 277 sebezhetőségi jelentést tettek közzé a magban). Greg véleménye szerint a Rust használata az egyik valós módszer a magban előforduló, hagyományos hibákból adódó problémák számának csökkentésére. A magban a Rust támogatása már túllépett a kísérleti szakaszon, és tavaly év végén hivatalos lehetőségként ismerték el.
Forrás: opennet.ru
