Linux zyska nowego sojusznika? rust ratuje programistów i system!
Greg Kroah-Hartman, legenda jądra Linux, przez dekady walczył z wyścigiem z czasem i błędami w kodzie. Teraz, po latach sceptycyzmu, przyznaje: Rust może być kluczem do bezpieczniejszego i przyjemniejszego programowania tego fundamentalnego systemu operacyjnego. To rewolucja, która może zmienić oblicze rozwoju Linuksa.
Dlaczego c przestało wystarczać?
Programowanie jądra Linux to nie tylko dodawanie funkcji – to nieustanne balansowanie na krawędzi. Każda zmiana wymaga skrupulatnego nadzoru nad wskaźnikami, pamięcią, blokadami i ścieżkami obsługi błędów. Błąd na poziomie jądra może doprowadzić do zawieszenia systemu, utraty danych, a nawet otworzyć drzwi dla ataków. Kroah-Hartman, który od lat odpowiada za stabilność Linuksa, doskonale to rozumie. Początkowo sceptyczny wobec Rust, uważał, że język C jest wystarczający – znał go jak własną kieszeń. Ale po eksperymentach, w których Rust okazał się zaskakująco intuicyjny i efektywny, zmienił zdanie.
Różnica jest zasadnicza: Rust przenosi wiele kontroli, które w C spoczywa na barkach programisty, na kompilator. Oznacza to, że mniej czasu poświęca się na tropieniu drobnych błędów, które w końcu przeradzają się w poważne luki w zabezpieczeniach. "Rust jest naprawdę zabawny. Sprawia, że programowanie staje się przyjemniejsze. Eliminuje wiele problemów, które może rozwiązać kompilator, i sprawia, że kod jest po prostu lepszy," mówi Kroah-Hartman.
Linux – taniec z niebezpieczeństwem
Jądro Linuksa operuje bezpośrednio na pamięci, sprzęcie, procesach i uprawnieniach systemu. Błąd na tym poziomie może mieć katastrofalne skutki. C, choć oferuje niezbędną kontrolę i wydajność, wymaga ręcznego zarządzania operacjami, które mogą okazać się delikatne. Kompilator C nie gwarantuje bezpieczeństwa każdej operacji - zatrzymuje proces, dopóki programista nie naprawi błędu. To sprawia, że rozwój jądra jest niezwykle wymagający.
Rust, choć wymaga nauki, pozwala na korzystanie z bloków unsafe w sytuacjach, gdy bezpośredni dostęp do sprzętu jest konieczny. Co istotne, wiele potencjalnych błędów, które normalnie docierałyby do przeglądu kodu, zostaje wykrytych przez kompilator.
Tysiące luk – i 80% można było uniknąć
Podczas Open Source Summit India 2026, Kroah-Hartman przyznał, że Linux radzi sobie z około 13 lukami w zabezpieczeniach dziennie, utrzymując od ponad dekady tempo bliskie dziewięciu zmianom na godzinę. Nie traktuje tego jako porażkę, ale jako świadectwo ogromnej skali projektu. Wiele z tych problemów wynika z banalnych błędów, takich jak niezainicjowany wskaźnik, niezwalniana blokada lub zasób pozostawiony otwarty. Szacuje, że Rust mógłby zapobiec nawet 80% luk, które widział w ciągu ostatnich 25 lat. Pozostałe to błędy logiczne – te, na których skupienie się uważa za najbardziej wartościowe.
Rust nie zastępuje testów ani przeglądów kodu – program może być wolny od błędów pamięci, ale nadal działać niepoprawnie. Jednak eliminuje dużą liczbę powtarzalnych problemów, zanim trafią do Linuksa.
Nowy standard dla sterowników
Kroah-Hartman uważa, że Rust przestał być eksperymentem w jądrze. Niektóre podsystemy będą akceptować nowe sterowniki tylko te napisane w tym języku. C będzie nadal podtrzymywać miliony linii kodu, które działają bezproblemowo, a przepisywanie ich nie ma sensu. Przykładem jest Binder, system umożliwiający komunikację z procesami Androida. Linux posiada implementacje zarówno w C, jak i w Rust – Kroah-Hartman przewiduje, że wersja C zniknie, a Rust stanie się fundamentem przyszłych urządzeń z Androidem.
Zmieniło się to na tyle, że trend ten wychodzi poza jądro - projekty takie jak Git również zaczynają przyjmować Rust. Oznacza to, że język udowodnił, że potrafi współistnieć z ugruntowanymi technologiami bez konieczności ich całkowitego odświeżenia. W perspektywie, w miarę jak Linux rośnie w tempie wymuszającym ciągłą weryfikację i poprawki tysięcy zmian, kompilator, który potrafi zapobiec znaczącej części błędów, uczyni jądro bezpieczniejszym i ułatwi pracę programistów. Rust nie sprawia, że programowanie jest łatwiejsze – sprawia, że można skupić się na tworzeniu rozwiązań, a nie na ciągłym powtarzaniu tych samych sprawdzeń.