Greg Kroah-Hartman, odpowiedzialny za utrzymanie stabilnych i \"staging\" ga\u0142\u0119zi j\u0105dra Linux oraz pe\u0142ni\u0105cy funkcj\u0119 g\u0142\u00f3wnego opiekuna w 16 podsystemach j\u0105dra, wyg\u0142osi\u0142 referat na konferencji Rust Week 2026, w kt\u00f3rym opowiedzia\u0142, jak j\u0119zyk Rust mo\u017ce pom\u00f3c w zapobieganiu pojawieniu si\u0119 w j\u0105drze luk bezpiecze\u0144stwa wynikaj\u0105cych z typowych b\u0142\u0119d\u00f3w programist\u00f3w pisz\u0105cych w j\u0119zyku C, dotycz\u0105cych zarz\u0105dzania pami\u0119ci\u0105, blokadami, obs\u0142ug\u0105 b\u0142\u0119d\u00f3w i pracy z danymi niespe\u0142niaj\u0105cymi norm bezpiecze\u0144stwa. G\u0142\u00f3wn\u0105 zalet\u0105 Rusta jest mo\u017cliwo\u015b\u0107 wykrywania takich b\u0142\u0119d\u00f3w na etapie kompilacji, a nie podczas przegl\u0105dania kodu przez ludzi. Nale\u017cy jednak zauwa\u017cy\u0107, \u017ce Rust nie jest postrzegany jako panaceum na wszystkie problemy, a nikt nie planuje przepisania j\u0105dra na Rust: oczekuje si\u0119 stopniowego wprowadzania Rusta poprzez jego wykorzystanie w nowych sterownikach i podsystemach.<\/p>\n
Jako przyk\u0142ad b\u0142\u0119d\u00f3w w j\u0105drze, kt\u00f3re mo\u017cna by by\u0142o unikn\u0105\u0107 przy u\u017cyciu Rusta, wymieniono b\u0142\u0105d w podsystemie Bluetooth, kt\u00f3ry pozostawa\u0142 niezauwa\u017cony przez 15 lat, oraz problem w hypervisorze Xen. W pierwszym przypadku programista wykona\u0142 dereferencj\u0119 wska\u017anika bez sprawdzenia, a w drugim zapomnia\u0142 zdj\u0105\u0107 blokad\u0119 w kodzie obs\u0142ugi b\u0142\u0119d\u00f3w.
\nWed\u0142ug Grega wi\u0119kszo\u015b\u0107 b\u0142\u0119d\u00f3w w j\u0105drze jest spowodowana takimi drobnymi kwestiami, kt\u00f3re z czasem si\u0119 kumuluj\u0105 i ujawniaj\u0105 jako luki bezpiecze\u0144stwa. W Rust wiele z takich problem\u00f3w jest zapobieganych przez kompilator, na przyk\u0142ad, abstrahacje blokad w j\u0105drze Rusta pozwalaj\u0105 na dost\u0119p do wewn\u0119trznych wska\u017anik\u00f3w struktur tylko po przej\u0119ciu odpowiedniej blokady, kt\u00f3ra jest usuwana automatycznie. Bez przej\u0119cia blokady nie mo\u017cna uzyska\u0107 dost\u0119pu do wska\u017anik\u00f3w struktur w Rust. <\/p>\n
Greg uwa\u017ca, \u017ce takie mo\u017cliwo\u015bci Rusta zapobieg\u0142yby powstawaniu 60% b\u0142\u0119d\u00f3w wykrywanych w j\u0105drze, a sprawdzania wykonywane przez kompilator uwolni\u0142yby opiekun\u00f3w od marnowania czasu na dyskusje z autorami o poprawno\u015bci obs\u0142ugi b\u0142\u0119d\u00f3w i uzasadnieniu umieszczania blokad w odpowiednich miejscach. Co wi\u0119cej, wdro\u017cenie wsparcia dla Rusta ju\u017c mia\u0142o korzystny wp\u0142yw na kod C w j\u0105drze, porz\u0105dkuj\u0105c kod C i interfejsy, a tak\u017ce zapo\u017cyczaj\u0105c pewne techniki programowania (na przyk\u0142ad, zrealizowano blokady o ograniczonym zasi\u0119gu).<\/p>\n
Dzi\u0119ki systemowi typ\u00f3w, kt\u00f3ry zapewnia przestrzeganie ustalonych regu\u0142, oraz zastosowaniu system\u00f3w ci\u0105g\u0142ej integracji, kt\u00f3re sprawdzaj\u0105 kod na etapie budowy, podczas przegl\u0105du zmian w Rust recenzenci mog\u0105 skupi\u0107 si\u0119 na weryfikacji logiki dzia\u0142ania, a nie na monitorowaniu manipulacji z zasobami. U\u017cycie Rust pozwala r\u00f3wnie\u017c na bardziej wnikliwe traktowanie danych pochodz\u0105cych z urz\u0105dze\u0144 lub z system\u00f3w zewn\u0119trznych. Osi\u0105ga si\u0119 to dzi\u0119ki wyra\u017anemu rozr\u00f3\u017cnieniu danych godnych i niegodnych zaufania na poziomie systemu typ\u00f3w: deweloper musi przeprowadzi\u0107 analiz\u0119 przy przej\u015bciu z stanu nieufnego na zaufany.<\/p>\n
Ostatnio zesp\u00f3\u0142 odpowiedzialny za bezpiecze\u0144stwo w j\u0105drze publikuje ka\u017cdego dnia oko\u0142o 13 raport\u00f3w o lukach w zabezpieczeniach, co w kontek\u015bcie wcze\u015bniejszej dynamiki ujawniania luk postrzegane jest jako pewnego rodzaju szale\u0144stwo (na przyk\u0142ad wczoraj opublikowano 277 raport\u00f3w o lukach w j\u0105drze). Zdaniem Grega, u\u017cycie Rust jest jednym z realnych sposob\u00f3w na zmniejszenie liczby b\u0142\u0119d\u00f3w w j\u0105drze, spowodowanych tradycyjnymi b\u0142\u0119dami podczas obs\u0142ugi b\u0142\u0119d\u00f3w i zarz\u0105dzania zasobami. W j\u0105drze wsparcie dla Rust ju\u017c wysz\u0142o poza ramy eksperymentu i pod koniec zesz\u0142ego roku zosta\u0142o uznane za standardow\u0105 funkcjonalno\u015b\u0107 j\u0105dra. <\/p>\n
![\"Odtwarzaj](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n