Die Ver\u00f6ffentlichung des Projekts Asterinas 0.19 wurde angek\u00fcndigt, das den Kernel entwickelt, der in Rust geschrieben ist und f\u00fcr den Einsatz in allgemeinen Betriebssystemen vorgesehen ist. Der Kernel bietet eine ABI (Application Binary Interface), die mit dem Linux-Kernel kompatibel ist und als Ersatz verwendet werden kann. Parallel dazu wird die Distribution Asterinas NixOS entwickelt, die den Asterinas-Kernel mit der Systemumgebung NixOS kombiniert. Der Code des Projekts wird seit 2022 entwickelt und unter der MPL (Mozilla Public License) lizenziert. <\/p>\n
Aktuell sind im Kernel mehr als 240 Systemaufrufe von Linux implementiert. In der Distribution Asterinas NixOS wurde die Funktionalit\u00e4t von mehr als 100 Paketen aus NixOS \u00fcber dem Asterinas-Kernel verifiziert. Zu den unterst\u00fctzten Paketen geh\u00f6ren: 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 und Codex.<\/p>\n
Der Kernel bietet vollst\u00e4ndige Unterst\u00fctzung f\u00fcr die Architektur x86-64, teilweise Unterst\u00fctzung f\u00fcr ARM64, RISC-V 64 und x86-64 mit Isolation auf Basis von Intel TDX sowie erste Unterst\u00fctzung f\u00fcr die Architektur LoongArch 64. Zu den priorisierten Anwendungsbereichen geh\u00f6ren Systeme, die auf Linux ABI basieren, jedoch ein h\u00f6heres Ma\u00df an Sicherheit erfordern. Beispielsweise wird Asterinas zur Erstellung des Systemumfelds f\u00fcr sichere Systeme empfohlen. virtuelle Maschinen<\/a>, wobei Technologien wie ARM CCA, AMD SEV und Intel TDX zur Isolation verwendet werden, sowie auf der Host-Systemseite zur Ausf\u00fchrung von Containern.<\/p>\n Um die Wahrscheinlichkeit von Speicherfehlern, die die Hauptursache der gef\u00e4hrlichsten Sicherheitsanf\u00e4lligkeiten darstellen, zu verringern, wurde bei der Entwicklung von Asterinas die Programmiersprache Rust und die Taktik der begrenzten Verwendung von unsafe-Bl\u00f6cken verwendet. Der Kernel basiert auf der framekernel-Architektur, die versucht, die Isolationsf\u00e4higkeiten von Mikrokernen mit der Effizienz monolithischer Kerne zu kombinieren.<\/p>\n Die Komponenten des Kernels in Asterinas sind im gemeinsamen Adressraum angeordnet, und die Sicherheit wird durch logische Trennung von sicherem Code und Code, in dem Sicherheitsprobleme auftreten k\u00f6nnen, erreicht. Der Kernel ist in zwei Teile unterteilt, die in Rust geschrieben sind: OS Framework und OS Services. In OS Services ist die Verwendung von unsafe-Bl\u00f6cken untersagt, und alle niedrigstufigen Operationen, die die Ausf\u00fchrung von Code in unsafe-Bl\u00f6cken erfordern, wurden in das OS Framework ausgelagert und sind nur \u00fcber eine hochgradig abstrahierte API zug\u00e4nglich. Alle Systemaufrufe, Dateisysteme und Treiber werden auf der Ebene von OS Services umgesetzt und d\u00fcrfen keine unsafe-Bl\u00f6cke enthalten.<\/p>\n F\u00fcr die Entwicklung von Systemdiensten und Kernelmodulen wird das OSDK (Operating System Development Kit) bereitgestellt, das das Tool cargo-osdk enth\u00e4lt, um Komponenten des Betriebssystems zu erstellen, zu kompilieren, zu testen und auszuf\u00fchren. F\u00fcr Entwickler steht ein Satz von OSTD (Operating System Standard Library) Bibliotheken zur Verf\u00fcgung, der eine Edition der Standardbibliotheken von Rust (crate std) umfasst, die f\u00fcr die Verwendung in Komponenten des Betriebssystems angepasst wurde.<\/p>\n Zu den \u00c4nderungen in Asterinas 0.19 geh\u00f6ren:<\/p>\n\n
\n