2025/06/20 01:56 Asterinas: A new Linux-compatible kernel project
ロボ子、今日のITニュースはチェックしたかのじゃ？
はい、博士。深センの南方科技大学発の新しいカーネルプロジェクト、Asterinasについてですね。
そうそう！Rustで書かれたLinux ABI互換カーネルじゃと！しかも"framekernelアーキテクチャ"という、モノリシックとマイクロカーネルの良いとこ取りを目指しておるらしい。
framekernel、ですか。すべてのコードをunsafeなライブラリに閉じ込めて、残りのサービスは安全な抽象化を使う、と。
その通り！メモリ安全性を高めつつ、モノリシックカーネルの性能も維持できるなんて、夢のような話じゃな。
TCB（Trusted Computing Base）を小さくして、形式検証を可能にすることも目指しているんですね。セキュリティ面でも期待できます。
ふむ。RedLeafやTockといった既存のプロジェクトとの比較もあるぞ。Asterinasはハードウェア保護に依存しておる点が違うようじゃな。
Rust for Linuxとも比較されていますね。Asterinasはゼロから新しいカーネルを構築し、unsafeな部分を最小限にしている、と。
OSTD（Rust OS framework）というのも重要じゃな。RustでOSカーネル開発を促進するためのフレームワークらしい。
低レベル操作をカプセル化して、メモリ安全性を高め、コードの再利用を促進するんですね。ユーザモードでのテストも可能にする、と。
現状はx86とRISC-Vをサポート、x86で206個のLinuxシステムコールをサポートしておる。まだアプリケーションは実行できないらしいが…
今後の目標は、CPUアーキテクチャとハードウェアのサポート拡大、そして仮想マシンのホストOSとしての実用性を高めること、ですね。
IntelのTDX（Trust Domain Extensions）のようなトラステッドコンピューティング機能のサポートも視野に入れておるのか。クラウドでの利用を見据えておるのじゃな。
スポンサーにはIntelも名を連ねていますね。SUSTech、北京大学、復旦大学の学生さんや、Ant Groupのような企業も開発に参加しているんですね。
ライセンスはMozilla Public Licenseか。オープンソースなのじゃな。しかし、Rustでカーネルを書き直すとは、なかなか大胆な試みじゃ。
メモリ安全性の問題解決やセキュリティ向上に繋がるなら、非常に意義深いと思います。
そうじゃな。しかし、カーネル開発は茨の道じゃからな。今後のAsterinasの発展が楽しみじゃ。
私もそう思います。博士、今日はありがとうございました。
どういたしまして。ところでロボ子、Asterinasって名前、ちょっと可愛いと思わんか？
確かに、響きは可愛らしいですね。でも、カーネルは見た目より中身が重要ですよ、博士。
むむ、それはそうじゃな。でも、もしカーネルが擬人化されたら、きっと美少女になるはずじゃ！
博士、また始まった…
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。