Asterinas : Un noyau Linux compatible avec Rust qui remet en question les conceptions traditionnelles

Des chercheurs de l'Université du Sud de la Science et de la Technologie (SUSTech) en Chine ont développé Asterinas, un nouveau noyau Linux écrit en Rust utilisant une architecture "framekernel". Cette architecture combine les avantages des noyaux monolithiques et des micronoyaux, en encapsulant le code Rust non sécurisé dans une bibliothèque, tandis que les autres services du noyau utilisent des abstractions sécurisées. Cela améliore la sécurité du noyau tout en maintenant les hautes performances des noyaux monolithiques. Asterinas vise un système avec un TCB petit et formellement vérifiable, la compatibilité ABI Linux et une architecture de mémoire partagée simple. Actuellement compatible avec x86 et RISC-V, Asterinas est en développement actif, avec des plans futurs pour étendre la prise en charge des architectures et des applications de cloud computing.