Rust nie był wolny od krytyki Linusa Torvaldsa

Kilka tygodni temu wiadomości z około niektóre implementacje, które zostały wykonane w gałąź linux-next, która zawiera początkowy zestaw komponentów aby opracować sterowniki urządzeń w języku Rust.

Ta dokumentacja została opublikowana oddzielnie na temat użycia Rusta w jądrze Linuksa oraz przykład modułu jądra ze sterownikiem urządzenia znakowego w języku Rust. Kod został dodany przez Stephena Rothwella, opiekuna gałęzi.

Następnie Linus Torvalds przeszedł do przeglądu wdrożenia łatka możliwości ustawienia sterowników języka Rust w jądrze Linuksa i wyraził krytykę.

Największe skargi spowodował potencjał ucieczki „Panicencja na awarie w czasie pracy” w niewłaściwych sytuacjach, na przykład w sytuacji braku pamięci, gdy dynamiczne operacje alokacji pamięci, w tym operacje jądra, mogą się nie powieść.

Torvalds stwierdził, że takie skupianie się na jądrze jest zasadniczo niedopuszczalne, A jeśli nie rozumiesz tego punktu, możesz całkowicie odrzucić każdy kod, który próbuje zastosować takie podejście. Z drugiej strony twórca łatki zgodził się z problemem i uznał go za możliwy do rozwiązania.

Innym problemem były próby użycia typów zmiennoprzecinkowych lub 128-bitowych, które nie są poprawne dla środowisk takich jak jądro Linuksa.

Możesz nie rozumieć konsekwencji tego, kiedy może się to zdarzyć, więc może
jest mniejszym problemem niż myślę, ale zasadniczo
Myślę, że jeśli jakiekolwiek mapowanie Rdzy może wywołać panikę, to po prostu
_ zasadniczo_ nie do przyjęcia.

Błędy mapowania w kontrolerze lub kodzie innym niż podstawowy, czyli w przypadku
Definicja, cały nowy kod Rusta, NIGDY nie może spowodować
panika słusznie. To samo dotyczy „och, w niektórych przypadkach nie próbowałem go użyć
128-bitowe liczby całkowite lub zmiennoprzecinkowe ”.

Więc jeśli kompilator Rust powoduje ukryte przypisania, których nie może być
wykryć i powrócić jako błędy, to naprawdę wierzę, że to wszystko
podejście powinno być całkowicie NAK'owe, a infrastruktura Rusta,
czy to na poziomie kompilatora, czy w opakowaniach jądra, potrzebujesz więcej
praca.

Okazało się, że jest to poważniejszy problem., ponieważ w tej chwili Centralna biblioteka Rusta jest niepodzielna i stanowi dużą plamę; nie ma możliwości zażądania tylko niektórych funkcji, unikając w ten sposób korzystania z jednej lub drugiej problematycznej funkcjonalności.

Rozwiązanie problemu może wymagać zmian w kompilatorze i bibliotece rdzy, chociaż zespół nie ma jeszcze strategii wdrażania modułowości dla bibliotek językowych.

Ponadto, Torvalds zwrócił uwagę, że podany przykładowy kontroler jest bezużyteczny i radził dołączyć jako przykład sterownik, który rozwiązuje jeden z rzeczywistych problemów.

Przed tym Firma Google ogłosiła swój udział w inicjatywie promującej obsługę Rusta w jądrze Linuksa y podane aspekty techniczne możliwości zaimplementowania Rusta do zwalczania problemów wynikających z błędów w pracy z pamięcią.

Google uważa, że ​​Rust jest gotowy do dołączenia do C jako języka programowania Składniki jądra systemu Linux. Artykuł zawiera również przykłady wykorzystania języka Rust do tworzenia sterowników jądra w kontekście jego wykorzystania na platformie Android (Rust jest uznawany za oficjalnie obsługiwany język do programowania na Androida).

Należy zauważyć, że Google przygotował wstępny prototyp kontrolera napisany w języku Rust za mechanizm komunikacji między procesami Binder, który pozwoli na szczegółowe porównanie wydajności i bezpieczeństwa implementacji Binder w językach C i Rust.

W obecnej formie praca nie została jeszcze zakończona, ale dla prawie wszystkich podstawowych abstrakcji funkcji jądra wymaganych do działania programu Binder warstwy zostały przygotowane do korzystania z tych abstrakcji w kodzie Rusta.

Wreszcie, jeśli chcesz dowiedzieć się więcej na ten temat, możesz sprawdzić szczegóły W poniższym linku.