Asterinas - Rustで書かれたLinux互換ABIを提供するOSカーネル

• Asterinasは、安全性、速度、汎用性 を備えたOSカーネルで、Linux互換 ABIを提供
• Linuxの代替となり得る存在であり、メモリ安全性 と 開発者フレンドリーさ を向上
  • Rustを唯一のプログラミング言語として使用し、unsafe Rust の使用を最小限に抑えて、明確に定義された信頼できるコンピューティングベース（TCB）に限定することで、メモリ安全性を最優先している
  • フレームカーネルアーキテクチャにより、Asterinasはより安全で信頼性の高いカーネルの選択肢となっている
  • 開発者フレンドリーさの面ではLinuxを上回っており、(1) 生産性の高いRustプログラミング言語を活用し、(2) OSDKという専用ツールキットを利用してワークフローを簡素化し、(3) MPLの柔軟性によって、カーネルモジュールをオープンソースとして公開するか独自のまま維持するかを選べる
• 現在、Asterinasはx86-64 VMのみをサポートしているが、2024年までにx86-64 VMで本番運用可能な状態にすることを目標としている

GN⁺のまとめ

• AsterinasはRustで書かれたOSカーネルで、メモリ安全性と開発者フレンドリーさを重視しつつLinux互換性を提供する
• Rustの安全性と生産性を活かし、より安全で効率的なカーネル開発環境を提供する
• Asterinasのフレームカーネルアーキテクチャは信頼性と安全性を高め、MPLを通じてモジュールを公開するかどうかを選べる柔軟性を提供する
• Linuxカーネル開発に関心のある開発者にとって興味深い代替候補となり得て、Rustの利点を活かしたカーネル開発の可能性を示している
• 類似機能を持つプロジェクトとしてはRedox OSがある

[xguru]

最近 Hacker News に上がってくるプロジェクトの中で、どこか大衆受けしそうなものを詳しく見てみると、主に中国人コミッターが中心のプロジェクトが多いですね。 特に README に英語を基本として中国語のドキュメントが追加である場合は、たいていそういう印象です。

[cosine20]

AI分野を見ても、実用的なプロジェクト（ONNX変換やネイティブ言語ベースの運用ライブラリ、すぐに使える環境など）では、中国人が中心になっているケースが多いですね。

[GN⁺]

Hacker Newsの意見

• 個人的にはRustは好きではないが、カーネルは好きなので、こうしたプロジェクトはいつもチェックしている。このプロジェクトはRustの高度な機能を保守的に使っており、コードも読みやすく、コメントも適度にある。悪くない
• 高性能なネットワーク/IOサービスを実行するためのカーネルに関心がある。ハードウェアサポート、特にネットワークハードウェアが大きな懸念点だ。FreeBSDやLinuxカーネルでブートした後に、Rust OS/抽象化レイヤーを使うアプローチは興味深そうだ
• MicrosoftはPlutonファームウェアにRustベースのOSであるTockOSを使用している
• Asterinasに関心があるなら、Rustで書かれた完全なOSであるRedoxにも関心を持つだろう
• Linux全体と互換性のあるABIを作るのは驚きだ。Rustのほうが生産的だという比較は非科学的で、プロジェクトにとって警告サインになりうる。開発者にとって最も生産的な言語とは、抽象化レベルの下で何が起きているのかを理解できる言語だ
• Asterinasについては、TEE向けの安全なRustベースOSカーネルに関する発表がある
• Framekernel OSアーキテクチャでは、OS全体が同じアドレス空間にあり、Rustで書かれている必要がある。カーネルは2つの部分に分かれており、非特権サービスは安全なRustでのみ書かれなければならない。コンパイラバグを悪用できる非特権サービスが、セキュリティモデルにどのような影響を与えるのか気になる
• Rustで書かれた別のOSとしてTwizzlerがある。研究用OSだが、それでも興味深い
• Kerlaという似たプロジェクトがあったが、開発は中断された。Rust-for-Linuxの代わりにこうした代替品を作るほうが簡単だという意見があった。持続可能なプロジェクトにするのに十分な関心があるのか気になる
• Asterinasは現在x86-64 VMのみをサポートしており、2024年までにx86-64 VM上でプロダクションレディな状態にすることを目標としている。混乱する