マイクロカーネルの設計と実装 - seiya - BOOTH

電子版のダウンロード（無料）電子版は https://seiya.me/microkernel-book で無償公開しています。 概要OSカーネルの機能を必要最低限に抑え，ファイルシステムやTCP/IP，デバイスドライバといった主要機能をアプリケーションとして実装する「マイクロカーネル」というカーネル設計手法があります。小さなカーネルを実現するために，モノリシックカーネルには見られない特色・面白さがマイクロカーネルにはあります。 本書では，マイクロカーネルの各機能（プロセス管理・IPCなど）を3つのステップで学んでいきます。まず，機能の基本的な概念をざっくり解説します。次に，C言語で新たに書いた非常にシンプル（LoCは3000行以下！）なマイクロカーネル「Resea」のソースコードを用いて，具体的にどう実装するのかを見ていきます。そして，L4やZircon (Fuchsia) といった実用