pochi-mkのブックマーク - はてなブックマーク

pochi-mk id:pochi-mk

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

1,000行で作るオペレーティングシステム
「Writing an OS in 1,000 Lines」というオンラインブックを書きました。ゼロから1,000行でOSを作るという内容です。『自作OSで学ぶマイクロカーネルの設計と実装』とは違い、最初の一歩の部分を重点的に解説しています。シンプルなモノリシックカーネル設計で、実装の解説だけでなくカーネルプログラミング特有の難しい部分、特に「カーネルをどうデバッグすれば良いか」をおさえた、初学者向きの内容になっています。 3日ほどあれば済むボリュームです。夏休みの自由研究がてら、ぜひチャレンジしてみてください。
pochi-mk 2023/09/23
リンク
マイクロカーネルの設計と実装
pochi-mk 2020/08/06
リンク
CとRustで一から作るマイクロカーネルOS
マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は，「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea（りーせあ）の設計と実装について軽くまとめた物です。ソースコードはGitHubにあります。マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが，マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理，プロセス間通信，タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は，独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く，疎結合で美しい
pochi-mk 2019/12/16
リンク
1