マイクロカーネルとL4について (Yabaitech.tokyo, Writing a (micro)kernel in Rust in 12 days より) - 豆腐の豆腐和え

怒田さん*1のこの記事、「CとRustで一から作るマイクロカーネルOS」のおかげで、マイクロカーネルとRustが今ホットです。そこで、技術書典6, 7に出展したYabaitech.tokyoにて連載している、"Writing a (micro)kernel in Rust in 12 days"から、マイクロカーネルとL4についての話を書いた"1日目"の記事の一部冒頭を、いい機会なので再編集してご紹介します。「マイクロカーネルってタネンバウム教授とリーナスの論争のあれだよね？」とか、「L4ってなに？」って方に読んでいただいて、L4ファミリーとマイクロカーネルについて簡単にご紹介できればなと思います。 ちなみに抜粋元の上述の記事は、僕が怒田さんと同じようにRustでマイクロカーネルを書いてみよう、という趣旨の企画です。なので、Yabaitech.tokyoの方もよろしくお願いします！ただし、

[kogule]

概要把握にはとてもよい記事だけど，macOS のカーネル xnu は半分が Mach だったり，モノリシックな NetBSD が Linux バイナリを無修正で実行できる複数の OS パーソナリティを備えていたりと実際にはもっと複雑。

[nanakoso]

Windowsとか商用OSは一部のドライバがユーザー権限で動いていたり、マイクロカーネルベースだったりマイクロカーネルのおいしそうな所つまみ食いしてるからね

[YasuyukiMiura]

ROSはマイクロカーネルに近いのかもしれない。

[mizchi]

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

[sonota88]

「色々と説明したけれど、 つまりはマイクロカーネルは自作をするにはピッタリだってこと！」

[knok]

Darwinはどうだっけ…Wikipediaによるとハイブリッドとなってる。そしてOpenDarwinは死んでいたことを知る

[minoton]

Wikipediaよりさらにざっくり https://kumadoumei.net/2012/12/blog-pos-11/

[n314]

前にWikipediaで、今の商用OSはだいたいハイブリッドカーネル、みたいな説明を読んだけど、いまいちピンときてない。

[ytkibk]

“同じマイクロカーネルでも違うオペレーティングシステムを実現できることだ。L4 の上で Linux パーソナリティを走らせれば、Linux のアプリケーションが動くし、”

[hanamichi36]

マイクロカーネルについてふわっと知りました

[endo_5501]

“つまりはマイクロカーネルは自作をするにはピッタリだってこと！”