Rewolucja w Linux-Kernel: Asterina obiecuje więcej bezpieczeństwa!

Chinesisches Forschungsteam entwickelt mit Asterinas einen sicheren Rust-basierten Kernel für Linux, der Speichersicherheit und Entwicklerfreundlichkeit verbessert.
Dzięki Asterinas chiński zespół badawczy opracowuje bezpieczne jądro oparte na rdzy dla Linuksa, które poprawia bezpieczeństwo pamięci i życzliwości programistów. (Symbolbild/ANAGAT)

Rewolucja w Linux-Kernel: Asterina obiecuje więcej bezpieczeństwa!

Rust, Deutschland - Wiele dzieje się w świecie systemów operacyjnych: chiński zespół badawczy opracował nowe jądro o nazwie Asterinas, które jest zaprogramowane w języku programowania rdzy. Według linuxnews.de , asterinas jest kompatybilny z Linux-abi i podąża za innowacyjnym podejściem, które jest znane jako kernel ramy. Nieprawdzany kod jest ograniczony do małego, odizolowanego obszaru rdzenia, który znacznie poprawia bezpieczeństwo przechowywania.

Spojrzenie na zmiany pokazuje, że Asterina jest przeznaczona nie tylko do zastosowań krytycznych w zakresie bezpieczeństwa, ale także dla nowoczesnych infrastruktur chmurowych, takich jak Alibaba Cloud. Zalety nowego jądra są oczywiste: dostęp odbywa się tylko za pomocą bezpiecznych interfejsów, a architekci nie zaczęli po prostu ponownie. Zamiast tego powstaje całkowicie nowy system, który wyraźnie wyróżnia się na tle trwającego projektu Rust-for-Linux.

Udoskonalenia techniczne i podstawy

Deweloperzy stojący za Asterinas, składający się głównie ze studentów z Pekinowej Uniwersytetu, Intel i Ant Group, używają nowoczesnych technik, takich jak izolacja sprzętowa za pomocą technologii TDX Intela. Podczas wdrażania projektu koncentruje się na dwóch ważnych narzędziach: OSTD Framework, który jest przeznaczony dla systemów operacyjnych opartych na rdzy, oraz narzędzie do kompilacji OSDK oparte na ładunku.

W tej chwili zaimplementowano ponad 200 z 368 połączeń systemowych Linux, chociaż nie można jeszcze obsługiwać rzeczywistych aplikacji. Jednak plan przewiduje Asterinas gotowy do produkcji maszyn wirtualnych x86-64 do 2025 r. W celu wsparcia tego postępu programiści stworzyli również pomocne instrukcje instalacji, które mają ułatwić wdrożenie.

Akceptacja i nagrody

Co ciekawe, dwa artykuły badawcze na temat Asteriny zostały zaakceptowane w ramach Usenix ATC’25, w tym jeden, który opisuje bezpieczną i szybką architekturę nowego jądra. Asterinas może zatem stać się bezproblemowym zamiennikiem Linuksa i znacznie zwiększyć przyjazność dla użytkowników dla programistów, takich jak github.com . Życzliwość programistów została podkreślona na przykład poprzez wybór rdzy jako języka programowania i specjalnie opracowanego OSDK.

Inne spojrzenie na obecne zmiany związane z Rust w Linux-Nenel pokazuje dynamikę w sektorze open source. Spór o integrację kodu rdzy z obszarem mapowania DMA doprowadził do napięć między deweloperami. Na przykład Christoph Hellwig, wieloletni deweloper, zrezygnował z dwóch z sześciu przełożonych po konflikcie z Linusem Torvaldsem, który postanowił przeciwko kodeksowi rdzy nad swoim weto. Oczywiste jest, że wprowadzenie nowych technologii w sektorze open source jest możliwe tylko z szerokim konsensusem, ponieważ it-boltwise.de.de

Details
OrtRust, Deutschland
Quellen