Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
技術評論社から恵贈いただいた「OSのしくみ」の読書感想文です。 amzn.to 以前に読書感想文を書いた「[作って学ぶ] ブラウザのしくみ」の姉妹書です。 satoru-takeuchi.hatenablog.com 本書を一言でいうなら「RustでOSを書く方法を隣の席にいる先輩(筆者)に教えてもらうような本」です。本書を読み終えたとき手元にはRustについてのある程度の知識と、デバイスをいくつか操作できるOSが得られます。Rustの知識は他の本でもある程度得られますが、RustでOSを書く知識は私が知る限り日本語ではこの本でしか得られません。ここに魅力を感じる人にとっては読む価値は大いにあると思います。 想定読者 想定読者は本書冒頭に次のように書かれています。 プログラミングは少しかじったことがある 少なくとも1つのプログラミング言語をある程度使える Rustというプログラミング言語の
「型システムの仕組み - TypeScriptで実装しながら学ぶ型とプログラミング言語」という本を書きました。 「型システムの仕組み - TypeScriptで実装しながら学ぶ型とプログラミング言語」 どんな本? 簡単な型チェッカを自作してみることで、型システムの仕組みを概観する本です。 型チェックする対象の言語はTypeScript(のサブセット言語)、型チェッカを実装するための言語もTypeScriptです。 たとえば、次のようなプログラムが型チェックできるようになります。 const add = (x: number, y: number) => { return x + y; } const a = add(1, 2); const b = a + true; 型チェッカは、それぞれの変数がどういう型を持つか管理しつつ、プログラムの各パートがどういう型になるかを判定していきます。
1000行でOSを作ってみよう 本書では、小さなOSをゼロから少しずつ作っていきます。 OSと聞くと腰が引けるかもしれませんが、OS (特にカーネル) の基本機能は案外単純です。巨大なオープンソースソフトウェアとしてよく挙げられるLinuxでさえ、バージョン0.01はたった8413行でした。様々な要求に応えるために次第に肥大化していっただけで、当初は大変素朴な実装になっていました。 本書ではコンテキストスイッチ、ページング、ユーザーモード、コマンドラインシェル、ディスクデバイスドライバ、ファイルの読み書きをC言語で実装します。これだけ様々な機能が詰め込まれているのに、コードは合計でたった1000行未満です。 「1000行なら1日でできそう」と思うかもしれませんが、初学者には少なくとも3日はかかるでしょう。OS自作のハマりポイントは「デバッグ」です。アプリケーション開発とは違うデバッグ手法
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く