Asterinas：従来の設計に挑戦するRustベースのLinux互換カーネル

中国の南方科技大学（SUSTech）の研究者たちは、Rustで記述され、「フレームカーネル」アーキテクチャを採用した新しいLinuxカーネル、Asterinasを開発しました。このアーキテクチャは、モノリシックカーネルとマイクロカーネルの利点を組み合わせ、Rustのunsafeなコードをライブラリにカプセル化し、カーネルサービスの残りは安全な抽象化を使用します。これにより、カーネルの安全性は向上し、モノリシックカーネルの高性能も維持されます。Asterinasは、小さく、正式に検証可能なTCB、Linux ABIとの互換性、そしてシンプルな共有メモリアーキテクチャを持つシステムを目指しています。現在、x86とRISC-Vをサポートしており、積極的に開発が進められており、将来はアーキテクチャのサポートとクラウドコンピューティングへの応用を拡大する予定です。