タグ

ブックマーク / seiya.me (3)

  • 技術書典8 『マイクロカーネルの設計と実装』

    @uchan_nosさんのお誘いを受けて,「マイクロカーネル」をまとめたを書きました。技術書典 応援祭(サークル紹介ページはここ)で頒布します。 著名なオープンソースのマイクロカーネルたち(L4やMINIX3など)と拙作のReseaの実装(バージョン0.1.0)を交えながら,細かすぎて伝わらないマイクロカーネルの設計・実装のポイントを解説しています。 マイクロカーネルのサーベイ論文のようなものとしてご活用ください。 電子版のダウンロード 電子版はこちらからダウンロードできます(無料) 書籍版の入手 書籍版はBOOTHで頒布してます(3月上旬入荷予定) Reseaのソースコード GitHubで公開しています

    技術書典8 『マイクロカーネルの設計と実装』
  • マイクロカーネルの設計と実装

  • CとRustで一から作るマイクロカーネルOS

    マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は,「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea(りーせあ)の設計と実装について軽くまとめた物です。 ソースコードはGitHubにあります。 マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが,マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理,プロセス間通信,タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は,独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く,疎結合で美しい

    CとRustで一から作るマイクロカーネルOS
  • 1