Fomos: Rustで構築された実験的オペレーティングシステム

• Fomos: Rustで構築された実験的なオペレーティングシステムで、Unix以外のOSのアイデアや開発上の挑戦を探求することを目指している。
• このOSは、グラフィック出力、動的割り当て、アプリの同時実行、そしてVirtioのマウスおよびキーボード対応を備えている。
• Fomosのアプリは関数で構成されており、標準ライブラリを必要としないため、アプリとOSの間でシンプルな契約を可能にしている。
• FomosのContext構造体は、メモリ割り当てやハードウェアアクセスといったOS機能をアプリに提供する。
• Fomosは後方互換性を保つよう設計されており、旧バージョン向けアプリを適切に扱える。
• このOSは協調的スケジューリングを採用しており、アプリがOSに制御を譲り、ブート後はコンテキストスイッチが発生しない。
• Fomosはカーネルループを単純化し、サンドボックス化、デバッグ、ハードウェア変更の面で潜在的な利点をもたらす。
• ただし、セキュリティや、協調型とプリエンプティブ型のスケジューリング方式に関する課題がある。
• Fomosはまだ進行中のプロジェクトであり、永続ストレージ、GPU対応、ネットワーキング、アプリ間データ共有の抽象化機能が不足している。
• このプロジェクトはPhilipp Oppermannのブログから着想を得ており、darbysauterから助言を受けている。

[GN⁺]

Hacker Newsのコメント

• 協調スケジューリングが破綻すると予測する主張は誇張されている。
• FomosはRustで開発された実験的なオペレーティングシステムである。
• Fomosではアプリは実際には関数である。
• オペレーティングシステムはコンテキストに追加することで、他のアプリに新しい機能を追加できる。
• Fomosは新しい機能を導入しながら、既存システムとの互換性を実現しようとしている。
• Fomosの設計は、非同期タスクとネットワーキングを効率的にサポートするのが難しい可能性がある。
• 信頼できない協調アプリによって、セキュリティと安全性が低下するおそれがある。
• Fomosは興味深いアイデアと改善の余地を持つ、趣味のオペレーティングシステムである。
• 著者はBarrelfish OSから着想を得られるかもしれない。