Asterinas: Ein Rust-basierter Linux-kompatibler Kernel, der traditionelle Designs in Frage stellt
Forscher der Southern University of Science and Technology (SUSTech) in China haben Asterinas entwickelt, einen neuen Linux-Kernel, der in Rust geschrieben wurde und eine "Framekernel"-Architektur verwendet. Diese Architektur kombiniert die Vorteile von monolithischen und Mikrokernen, indem unsicherer Rust-Code in einer Bibliothek gekapselt wird, während der Rest der Kernel-Dienste sichere Abstraktionen verwendet. Dies verbessert die Kernelsicherheit, während die hohe Leistung von monolithischen Kernen beibehalten wird. Asterinas zielt auf ein System mit einem kleinen, formal verifizierbaren TCB, Linux-ABI-Kompatibilität und einer einfachen Shared-Memory-Architektur ab. Derzeit unterstützt Asterinas x86 und RISC-V und befindet sich in aktiver Entwicklung. Zukünftige Pläne umfassen die Erweiterung der Architekturunterstützung und Anwendungen im Cloud-Computing.