Opublikowana zosta\u0142a wersja 0.19 projektu Asterinas, rozwijaj\u0105cego j\u0105dro napisane w j\u0119zyku Rust, przeznaczone do u\u017cytku w systemach operacyjnych og\u00f3lnego przeznaczenia. J\u0105dro zapewnia ABI (Application Binary Interface), kompatybilne z j\u0105drem Linux, kt\u00f3re mo\u017ce by\u0107 wykorzystywane zamiast niego. R\u00f3wnolegle rozwijany jest dystrybucja Asterinas NixOS, \u0142\u0105cz\u0105ca j\u0105dro Asterinas z systemowym \u015brodowiskiem NixOS. Kod projektu rozwijany jest od 2022 roku i udost\u0119pniany na podstawie licencji MPL (Mozilla Public License). <\/p>\n
Obecnie w j\u0105drze zaimplementowano ponad 240 wywo\u0142a\u0144 systemowych Linux. W dystrybucji Asterinas NixOS zweryfikowano dzia\u0142anie ponad 100 pakiet\u00f3w z NixOS na j\u0105drze Asterinas. W\u015br\u00f3d wspieranych pakiet\u00f3w znajduj\u0105 si\u0119: Xfce, Firefox, bash, systemd, Podman, QEMU, rsync, Apache httpd, nginx, SQLite, Redis, Clang, GCC, Go, Lua, Node.js, OpenJDK, Perl, PHP, Python, Ruby, Rust, Git, FFmpeg, PyTorch, TensorFlow, Ollama i Codex.<\/p>\n
W j\u0105drze zapewniona jest pe\u0142na obs\u0142uga architektury x86-64, cz\u0119\u015bciowa obs\u0142uga ARM64, RISC-V 64 oraz x86-64 z izolacj\u0105 opart\u0105 na Intel TDX, a tak\u017ce wst\u0119pna obs\u0142uga architektury LoongArch 64. W\u015br\u00f3d priorytetowych obszar\u00f3w zastosowa\u0144 wymienia si\u0119 systemy powi\u0105zane z Linux ABI, ale wymagaj\u0105ce wy\u017cszego poziomu zabezpiecze\u0144. Na przyk\u0142ad Asterinas proponuje si\u0119 wykorzysta\u0107 do tworzenia systemowego \u015brodowiska zabezpieczonego. maszyn wirtualnych<\/a>, do izolacji kt\u00f3rych wykorzystuje si\u0119 takie technologie, jak ARM CCA, AMD SEV i Intel TDX, oraz po stronie systemu gospodarza, zapewniaj\u0105cego uruchamianie kontener\u00f3w.<\/p>\n Aby zmniejszy\u0107 ryzyko wyst\u0105pienia b\u0142\u0119d\u00f3w zwi\u0105zanych z pami\u0119ci\u0105, b\u0119d\u0105cych g\u0142\u00f3wnym \u017ar\u00f3d\u0142em najbardziej niebezpiecznych podatno\u015bci, w trakcie pisania Asterinas zastosowano j\u0119zyk Rust oraz strategi\u0119 ograniczonego u\u017cycia blok\u00f3w unsafe. J\u0105dro zosta\u0142o zbudowane w oparciu o architektur\u0119 framekernel, w kt\u00f3rej starano si\u0119 po\u0142\u0105czy\u0107 mo\u017cliwo\u015bci izolacji mikroj\u0105der z efektywno\u015bci\u0105 j\u0105der monolitycznych.<\/p>\n Komponenty j\u0105dra w Asterinas s\u0105 umieszczane w wsp\u00f3lnej przestrzeni adresowej, a bezpiecze\u0144stwo osi\u0105ga si\u0119 na poziomie logicznego podzia\u0142u bezpiecznego kodu i kodu, w kt\u00f3rym nie mo\u017cna wykluczy\u0107 wyst\u0105pienia problem\u00f3w z bezpiecze\u0144stwem. J\u0105dro dzieli si\u0119 na dwie cz\u0119\u015bci, napisane w Rust: OS Framework i OS Services. W OS Services zabronione jest u\u017cycie blok\u00f3w unsafe, a wszystkie operacje niskopoziomowe wymagaj\u0105ce wykonania kodu w blokach unsafe s\u0105 przeniesione do OS Framework i dost\u0119pne tylko poprzez wysokopoziomowe API. Wszystkie wywo\u0142ania systemowe, systemy plik\u00f3w i sterowniki s\u0105 realizowane na poziomie OS Services i nie mog\u0105 obejmowa\u0107 blok\u00f3w unsafe.<\/p>\n Do opracowywania us\u0142ug systemowych i modu\u0142\u00f3w j\u0105dra dostarczany jest zestaw narz\u0119dzi OSDK (Operating System Development Kit), oferuj\u0105cy narz\u0119dzie cargo-osdk do tworzenia, budowania, testowania i uruchamiania komponent\u00f3w systemu operacyjnego. Dla programist\u00f3w przygotowany jest zestaw bibliotek OSTD (Operating System Standard Library), obejmuj\u0105cy edycj\u0119 standardowych bibliotek Rust (crate std), dostosowan\u0105 do u\u017cytku w komponentach systemu operacyjnego.<\/p>\n W\u015br\u00f3d zmian w Asterinas 0.19:<\/p>\n\n
\n