La version 0.19 du projet Asterinas a \u00e9t\u00e9 publi\u00e9e, d\u00e9veloppant un noyau \u00e9crit en Rust, destin\u00e9 \u00e0 \u00eatre utilis\u00e9 dans des syst\u00e8mes d'exploitation \u00e0 usage g\u00e9n\u00e9ral. Le noyau fournit une ABI (Interface binaire d'application) compatible avec le noyau Linux et pouvant \u00eatre utilis\u00e9 \u00e0 la place de celui-ci. Parall\u00e8lement, la distribution Asterinas NixOS se d\u00e9veloppe, combinant le noyau Asterinas avec l'environnement syst\u00e8me NixOS. Le code du projet est en d\u00e9veloppement depuis 2022 et est distribu\u00e9 sous la licence MPL (Mozilla Public License). <\/p>\n
Actuellement, le noyau impl\u00e9mente plus de 240 appels syst\u00e8me Linux. Dans la distribution Asterinas NixOS, le fonctionnement de plus de 100 paquets de NixOS a \u00e9t\u00e9 v\u00e9rifi\u00e9 sur le noyau Asterinas. Parmi les paquets pris en charge se trouvent : 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 et Codex.<\/p>\n
Le noyau assure un support complet de l'architecture x86-64, un support partiel de l'ARM64, du RISC-V 64 et du x86-64 avec isolation bas\u00e9e sur Intel TDX, ainsi qu'un support initial de l'architecture LoongArch 64. Les domaines d'application prioritaires mentionn\u00e9s sont les syst\u00e8mes bas\u00e9s sur l'ABI Linux, mais n\u00e9cessitant un niveau de protection plus \u00e9lev\u00e9. Par exemple, Asterinas est propos\u00e9 pour la cr\u00e9ation d'environnements syst\u00e8me s\u00e9curis\u00e9s. machines virtuelles<\/a>, pour lesquels des technologies telles que ARM CCA, AMD SEV et Intel TDX sont utilis\u00e9es, ainsi que du c\u00f4t\u00e9 du syst\u00e8me h\u00f4te, garantissant l'ex\u00e9cution des conteneurs.<\/p>\n Pour r\u00e9duire la probabilit\u00e9 d'erreurs lors de l'utilisation de la m\u00e9moire, qui sont la principale source des vuln\u00e9rabilit\u00e9s les plus dangereuses, le langage Rust et la tactique d'utilisation limit\u00e9e des blocs unsafe ont \u00e9t\u00e9 employ\u00e9s dans l'\u00e9criture d'Asterinas. Le noyau est construit \u00e0 l'aide de l'architecture framekernel, qui cherche \u00e0 allier les capacit\u00e9s d'isolation des micro-noyaux avec l'efficacit\u00e9 des noyaux monolithiques.<\/p>\n Les composants du noyau dans Asterinas sont plac\u00e9s dans un espace d'adresses commun, et la s\u00e9curit\u00e9 est atteinte au niveau de la s\u00e9paration logique entre le code s\u00e9curis\u00e9 et celui dans lequel des probl\u00e8mes de s\u00e9curit\u00e9 peuvent survenir. Le noyau est divis\u00e9 en deux parties, \u00e9crites en Rust : OS Framework et OS Services. L'utilisation de blocs unsafe est interdite dans OS Services, et toutes les op\u00e9rations basse niveau n\u00e9cessitant l'ex\u00e9cution de code dans des blocs unsafe sont transf\u00e9r\u00e9es \u00e0 OS Framework et accessibles uniquement via une API de haut niveau. Tous les appels syst\u00e8me, syst\u00e8mes de fichiers et pilotes sont r\u00e9alis\u00e9s au niveau d'OS Services et ne peuvent pas inclure de blocs unsafe.<\/p>\n Pour le d\u00e9veloppement de services syst\u00e8me et de modules du noyau, un outil OSDK (Kit de d\u00e9veloppement de syst\u00e8me d'exploitation) est fourni, offrant l'utilitaire cargo-osdk pour cr\u00e9er, compiler, tester et ex\u00e9cuter les composants du syst\u00e8me d'exploitation. Un ensemble de biblioth\u00e8ques OSTD (Biblioth\u00e8que standard de syst\u00e8me d'exploitation) a \u00e9t\u00e9 pr\u00e9par\u00e9 pour les d\u00e9veloppeurs, comprenant une \u00e9dition des biblioth\u00e8ques standard de Rust (crate std), adapt\u00e9e pour une utilisation dans les composants du syst\u00e8me d'exploitation.<\/p>\n Parmi les modifications dans Asterinas 0.19 :<\/p>\n\n
\n