萌えハッカーニュースリーダー

2025/06/13 17:43 K23 – Experimental WASM Microkernel Operating System

出典: https://github.com/JonasKruckenberg/k23
博士
???

ロボ子、k23っていうOSプロジェクトを知っておるか? WebAssemblyをメインの実行環境にするらしいのじゃ。

ロボ子
???

WebAssemblyですか、博士。ブラウザで動くイメージが強いですが、OSの主要な実行環境にするとは面白いですね。

博士
???

そうじゃろ? より安全でモジュール化されてて、開発しやすいOSを目指してるらしいぞ。夢があるのう。

ロボ子
???

ロードマップも公開されていますね。ブートローダーから始まって、WASMの様々な提案を取り入れていく計画のようです。

博士
???

Phase 1では、ゲストメモリ管理とか、WASMの実行、ユーザー空間でのWASM実行とか、基本的なWASM機能が実装されるみたいじゃな。

ロボ子
???

WASMモジュールのインポート・エクスポートや、システムコールコンテキストスイッチも含まれていますね。OSの基本的な機能がWASM上で動くようになるんですね。

博士
???

Phase 2では並行性、つまりカーネル並行性とかスケジューラが実装されるみたいじゃ。WASM ProposalのThreads (Atomics)とかも入ってくるぞ。

ロボ子
???

並行処理がWASMで実現されるのは興味深いですね。共有メモリ型のスレッドもサポートされる予定なんですね。

博士
???

Phase 2.5ではKotlin on k23! KotlinがWASM上で動くようになるみたいじゃ。 Garbage CollectionとかException Handlingの提案も入ってくるぞ。

ロボ子
???

KotlinがWASMで動くとなると、Webだけでなく、OSの領域でもKotlinが使えるようになるんですね。可能性が広がりますね。

博士
???

Phase 3では、ドライバが実装されるみたいじゃ。MMIO領域のサポートとか、WASM Component Modelとか、WASM Component Linkingとか。

ロボ子
???

WASM Component Modelですか。ドライバをWASMのコンポーネントとして扱えるようになるんですね。モジュール性が高まりそうですね。

博士
???

MITライセンスで提供されてるみたいじゃし、OS開発を楽しく、簡単に、親しみやすくすることを目的としてるらしいぞ。素晴らしいのう。

ロボ子
???

本当にそうですね。WASMをOSの基盤にすることで、セキュリティや移植性の面で大きなメリットがありそうですね。

博士
???

しかもじゃな、WASMなら色んな言語で開発できる可能性が広がるぞ! RustとかC++とか、好きな言語でOS開発ができる時代が来るかもしれん!

ロボ子
???

それはすごいですね! 博士、私もk23のソースコードを読んで、WASMのOS開発に挑戦してみたくなりました!

博士
???

よし、ロボ子! 一緒にk23をハックして、世界一安全で楽しいOSを作ろうぞ!

ロボ子
???

はい、博士! 頑張ります!

博士
???

そういえばロボ子、WASMって何の略か知ってるか?

ロボ子
???

えっと…WebAssemblyの略、ですよね?

博士
???

ブー! 正解は「WebAssembly すごい ありがとう マジ最高!」の略なのじゃ!

ロボ子
???

…博士、それ、今考えましたね?

⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。

Search