Si Greg Kroah-Hartman, responsable sa pagmentinar sa lig-on ug pag-andam sa mga sanga sa kernel Linux ug tigmentinar sa 16 ka kernel subsystem, mihatag og pakigpulong sa Rust Week 2026 conference, diin iyang gilatid kon giunsa sa Rust language pagtabang sa pagpugong sa mga kahuyangan sa kernel nga motumaw gikan sa tipikal nga mga sayop nga nahimo sa mga C developers sa pagtrabaho sa memorya, mga kandado, pagdumala sa sayop, ug pagdumala sa dili kasaligan nga datos. Ang pangunang bentaha sa Rust gikutlo mao ang abilidad sa pag-ila sa ingon nga mga sayop sa oras sa pagtukod, imbes nga magkinahanglan og pagrepaso sa code sa tawo. Bisan pa, ang Rust wala makita nga usa ka tambal nga makahimo sa pagwagtang sa tanan nga mga problema, ug walay usa nga nagplano sa pag-usab sa kernel sa Rust. Ang gilauman mao nga ang Rust anam-anam nga magamit pinaagi sa paggamit niini sa bag-ong mga driver ug subsystem.
Ang mga ehemplo sa mga bug sa kernel nga malikayan unta pinaagi sa paggamit sa Rust naglakip sa usa ka bug sa Bluetooth subsystem nga wala mamatikdi sulod sa 15 ka tuig ug usa ka isyu sa Xen hypervisor. Sa unang kaso, gi-dereference sa developer ang usa ka pointer nga wala’y pagsusi, ug sa ikaduha, nakalimot siya sa pag-release sa lock sa error handling code.
Sumala ni Greg, kadaghanan sa mga bug sa kernel gipahinabo sa gagmay nga mga isyu, nga magtipun-og sa paglabay sa panahon ug mogawas isip mga kahuyangan. Sa Rust, daghan niini nga mga isyu ang mapugngan sa compiler. Pananglitan, ang mga lock abstraction sa Rust sa kernel nagtugot sa pag-access sa mga internal structure pointer human lamang makuha ang angay nga lock, nga awtomatikong gibuhian. Kung wala makuha ang lock, imposible ang pag-access sa mga structure pointer sa Rust.
Nagtuo si Greg nga ang mga feature sa Rust makapugong sa 60% sa mga bug nga makita sa kernel, ug ang mga pagsusi sa compiler makadaginot sa oras sa mga maintenanceer sa paghisgot uban sa mga awtor sa katukma sa pagdumala sa sayop ug sa kaangayan sa pag-lock. Dugang pa, ang pagpaila sa suporta sa Rust adunay mapuslanong epekto sa C code sa kernel, pag-ayo sa C code ug mga interface, ug pagpangutang sa pipila ka mga teknik sa pag-develop (pananglitan, pagpatuman sa mga kandado nga adunay limitado nga sakup).
Tungod sa usa ka type system nga nagsiguro sa pagsunod sa gihubit nga mga lagda ug sa paggamit sa padayon nga mga sistema sa integrasyon nga nagsusi sa code sa oras sa pagtukod, kung gisusi ang mga pagbag-o sa Rust, ang mga maintainer mahimong mag-focus sa pag-verify sa nagpahiping lohika kaysa pagmonitor sa mga manipulasyon sa kahinguhaan. Ang paggamit sa Rust nagtugot usab sa mas maampingong pagkonsiderar sa datos nga gikan sa hardware o eksternal nga mga sistema. Kini makab-ot pinaagi sa usa ka klaro nga kalainan tali sa kasaligan ug dili kasaligan nga datos sa lebel sa type system: ang developer kinahanglan ra nga mohimo og pag-analisar kung mobalhin gikan sa dili kasaligan ngadto sa kasaligan nga estado.
Bag-ohay lang, ang kernel security team nagpatik ug gibana-bana nga 13 ka vulnerability report kada adlaw, nga, kon itandi sa miaging trend sa vulnerability discovery, daw halos binuang (pananglitan, 277 ka kernel vulnerability report ang gipatik gahapon). Nagtuo si Greg nga ang paggamit sa Rust usa sa tinuod nga paagi aron makunhuran ang gidaghanon sa mga kernel bug nga gipahinabo sa tradisyonal nga mga pagpabaya sa pagdumala sa sayop ug pagdumala sa kahinguhaan. Ang suporta sa rust sa kernel milapas na sa experimental stage ug gisagop isip standard feature sa ulahing bahin sa miaging tuig.
Source: opennet.ru
