Here are typos in japanese translation of Minix 3 book.
これは、私、および、一緒に本を読んでいる方々が気がついた、「オペレーティングシステム 設計と実装 第３版」タネンバウム他 著、吉澤康文、木村信二他 訳、の、誤植、誤訳のおぼえがきです。
出版社、訳者のお目にとまり、次の印刷に反映されれば、うれしいです。
２００７年１２月２５日発行の、第１刷に関します｡
おわび： このページは、昔、googlepages.com にありましたが、sites.google.com に移りました。私は、 Google 社が、自動的に内容を移行してくれるオプションを選んだつもりでしたが、本日、そうなっていないことに気がつきました。おそれいりますが、リンクをはりなおしてください。２０１０年１月 神田
３０ページ renaem => rename, unmask => umask
３５ページ
誤
SIGINT のシグナルを ignore するのは、好ましくない、と訳されているが、
正
キーボードからの DEL シグナルが、バックグラウンドプロセスに影響するのは好ましくないために、
シェルは、 DEL と quit シグナルを無効にするために、 signal(SIGINT, SIG_IGN); を実行する｡
SIG_ING => SIG_IGN
４１ページ
誤
その他の操作コードには、。。。指示する機能がある。
正
その他の操作コードには、すべての出力が完了するまでシステムの変更を先に延ばす機能、未読文字の入力を捨てる機能、現在の値を返す機能、がある。
（３６０ページに出てくる、 TCSETSW, TCSETSF, TCGETS のことですが、第１章に書くには細かすぎる話ですね｡）
５８ページ 問題１８。
誤
Windows は新しいプロセスを生成する fork のようなシステムコールをまだもっていない｡
正
Windows は、fork システムコールを持っていないが、新しいプロセスを生成することができる。（どういうしかけなのだろう、と続く｡）
１２０ページ 上から１１行目。メモリマップの変更、とあり、原文でもそうですが、スレッドの切り替えは、同一アドレス空間の中なので、メモリマップは同じでないですか｡
１２０ページ 上から１６行目。２番目のプロセス ＝＞ スレッド
１２４ページ １２行目。ＰＭは、プロセス実行とシグナルに関するすべてのシステムコールを処理する｡（大意）
１５４ページ １８行目。四つマクロ ＝＞ 四つのマクロ
１５４ページ 下から１３行目。とう解釈 ＝＞ という解釈
１７１ページ 下から１５行目。
誤
最古のＰＣ互換のコンピュータを除いた典型例である｡
正
最古のＰＣ互換のコンピュータ以外では典型的にみられる。
１７３ページ ２１行目。
誤
例外割り込み処理から始めよう。
正
コードの説明の仕方についての方針を示したが、その例外から始めることにする。
１７６ページ
これは誤植でもなんでもないのですが、ソースコードの７２０５行で、 text_base を e_hdr.a_syms から得ています｡
これは、本来 a.out オブジェクトヘッダの、シンボルテーブルのサイズを入れてあるフィールドなのですが、 ブートモニタ、 boot/bootimage.c が、MINIX をメモリにロードするときに、使ってないこのフィールドに、ロードされる物理アドレスを入れておいてくれているのです｡
ここは、プロセスごとのメモリマップと、セグメントレジスタが決まる、カーネル初期化処理の核心部ですから、ひとこと、説明がほしいところです。
２１９ページ ２０行目。まる２日であふれて ＝＞ ２年
２５９ページ ７行目。
誤
自動的にＯＳ自身を停止させる。
正
自動的にデッドロックを解決することもない。
２７７ページ 上から６行目。ユーザプロセスが閉塞 ＝＞ ブロック
２７９ページ ４行目。一緒にコンパイルされるため ＝＞ されるならば（MINIX3 では実際は、されない）
２８１ページ 上から５行目。仕様が書かれていれば ＝＞ いなければ
２８４ページ １５行目。ごくわずかである ＝＞ 昔のこんせきである
３０６ページ 下から１３行目。
誤
Ｉ／Ｏポートのプローブは、制御を支配する他のデバイスを活性化し、
正
Ｉ／Ｏポートのプローブは、他のデバイスを活性化し、それが制御を奪って、
３１２ページ １０行目。
原文にないですが、以下を補足したいです｡
本では述べられていませんが、 sys_irqsetpolicy の大きな役割は、割り込みと、メッセージを対応付けることです｡
この関数は、本にはのっていない、 kernel/system/do_irqctl.c で実装され、引数で指定された割り込み番号と、コール元プロセスＩＤの組を記録します｡
ＡＴディスクの場合、ＣＰＵにとっての割り込みハンドラは、６６０７行の hwint14 です。そこから、８２２１行の intr_handle が呼ばれ、さらに、前記 do_irqctl.c の、 generic_handler が呼ばれます｡
generic_handler は、割り込み番号１４に対応したＡＴドライバプロセスに、 HARD_INT notify メッセージを送ります。
これが、ＡＴドライバのメインループで、 receive されるわけです。
２００ページに、generic_handler の説明がありました。ここでは、 sys_irqctl と書いてありますが、 sys_irqsetpolicy は、 include/minix/syslib.h で定義される、sys_irqctl を呼ぶマクロです｡
３３１ページ 下から８行目。ラインフィードを付加えた ＝＞ 加えた
３６２ページ １行目。
デーモンはエラーメッセージを書くことが出来なくてはいけない｡もしその出力がファイルにリダイレクトされていないなら、それはクローズされることのないディスプレイに行くべきである｡
（ /dev/log は、このための、制御ターミナルにならない特殊なディスプレイである、と続く｡）
４２７ページ 下から４行目。
誤
（大意）行を n ビットのバイナリ値として見て、もっとも小さな値のものを
正
（大意）原文でもそうですが、ここでは、立っているビットの数だけが重要のはずです。
バイナリ値として見るべきなのは、次のエージングの話で、右シフトしてゆくからです。
４３７ページ ６行目。-se/p2 ＝＞ -se/p の２乗
４３８ページ ９行目。
誤
このアイデアは、。。。技術的には可能だが必然性はない。
正
このアイデアは、ネットワーク上の複数プロセスでページの集合を共用しようというものである。ページは単一の共用されたアドレス空間として見えることになる｡ただし、これ、単一アドレス空間、は必須ではない｡
４４３ページ ５行目。
誤
コンパクションの議論で扱うことができる。
正
コンパクション（４０３ページを参照）で対策できる。
４５８ページ ８０８８ハードウエアには のパラグラフ
（大意）
８０８８ハードウエアには、スタック領域上限割り込みがなかったので、昔のＭＩＮＩＸは、スタックがデータセグメントを侵食しても何も出来なかった｡
次の brk システムコールで、ＯＳがＳＰを読んで気が付いた｡
インテル３２ビットプロセッサでは、前記割り込みがあるので、スタックオーバーフローしたときに、セグメントを更新することができるが、
ＭＩＮＩＸ３ではそうしなかった。理由を、以下に説明する。
４５８ページ 最終行のパラグラフ
（大意）
スタックとデータのセグメントを共用し、ＭＩＮＩＸ３がこのギャップを再割当するという、昔からの方法をやめる、という案もある｡
その代わりに、ハードウエア機能でスタックとデータセグメントを分ける管理方式は、安全であるが、メモリを食う（なぜ？）。
（４７２ページの脚注に、 brk の実装の話がありますが、どうもこのあたりのスタックとデータセグメントの話、よくわかりません｡）
４６３ページ １３行目。
誤
オープンしなければならない。
正
オープンする。
４７０ページ ６行目。
誤
ＰＭ，ファイルシステム。。。が同時に消滅する｡
一般的にいうなら、。。。プロセスグループに対して送信されることになるので
正
ＰＭ，ファイルシステム。。。に影響する｡
一般的にいうなら、。。。送信されることがあるので
４７０ページ 下から９行目。よて管理される ＝＞ よって
４７２ページ １９行目。
誤
sigaction システムコールを実行して完了
正
シグナルハンドラが終了するとき sigreturn システムコールが実行されるようにする｡
４７４ページ 図４－４３の、 (c) の ret addr2 の下のローカル変数に、(sigreturn) が必要｡
４７７ページ ５行目。
正
ＰＣ ＢＩＯＳへのコールは、多くの割り込みを見逃すおそれがあるので、うめあわせるための特別の仕掛けを用意している｡
４７７ページ １１行目。
誤
カーネル空間に対してアラーム設定の要求を
正
カーネル空間でのアラーム設定を要求される
４８０ページ １８行目。スタック作られて ＝＞ スタックが作られて
４８４ページ 下から６行目。
誤
５８８ＫＢ以下の領域に制限されていて
正
５８８ＫＢ以下の領域には十分なメモリがあり、いくつかのコンポーネントを入れることが出来る｡（しかし、使ってない、と続く｡）
４８６ページ 下から１２行目。初期化中にある ＝＞ 初期化が終わった
４８８ページ ９行目。
正
get_free_pid は、その名前どおりの事をする｡
４９０ページ 下から３行目。
正
問題の可能性があるとワーニングを出すフラグ類
４９６ページ 下から３行目。
正
ＰＯＳＩＸはプロセスが自身のシグナル処理を変更することを許しており、（シグナルハンドラから、アクションを設定したり、デフォルトに戻すことができる、と続く。）
４９７ページ １７行目。
正
１回の kill コールは、複数のプロセスからなるプロセスグループにシグナルを配信することを要求することもあり、
５０５ページ １６行目。
正
ファイルシステムは、このプロセスを、コントロール端末を持たないセッションリーダーにするという作業を完了する｡
５０６ページ １５行目。
誤
（たぶん彼自身から見て）
正
（もしかすると彼自身のプロセスも含めた）他のプロセスに、と続く｡
５０６ページ 下から４行のパラグラフ
（大意）
このスケジューリングは、カーネルで行われるので、ＰＭが関与する必要はない。
しかし、 nice システムコールはＰＭを経由して、 sys_nice カーネルコールとなってシステムタスクに行く｡ＰＭは、メッセージの中継をするだけである。
５１１ページ 問題８。
ＭＭＵの物理的な位置＝＞論理的
５１８ページ ２１行目。
誤
現行のＯＳでは
正
現行のすべてのＯＳでは
５１９ページ 下から２行目。
誤
file.doc を編集できる最初のファイルとして、 Microsoft Word が
正
file.doc を最初に編集するべきファイルとして、 Microsoft Word が
５２９ページ 下から４行目。
誤
その特徴を理解しないのとは特に違いはないだろう｡
正
その使いみちがわからなくても、気にすることはない｡（複数ディレクトリサポートに、どうせ、コストはかからないのだから、と続く｡）
５３４ページ １３行目。
誤
格納されていパーティション
正
格納されていない
５３５ページ １０行目。
誤
サブパーティションを増やすことが出来ないのは問題である｡
正
このようにすれば、１つのサブパーティションの問題（満杯、など）は別のサブパーティションに伝わらない｡
５３６ページ １１行目。
誤
スペシャルファイルが発生
正
回転待ち
５４３ページ １３行目。
誤
多くの場合
正
ファイル名を格納するのに必要なだけの数の（図５－１４のような、と、続く｡）
５５０ページ ２２行目。
誤
原因になどで
正
原因などで
５５１ページ ３行目。
誤
１セクタ以上存在している。
正
トラックは以下の目的のために、１セクタ以上の余分の領域を持つ｡
５５１ページ １１行目。
誤
本メッセージをユーザ出始めたら
正
本メッセージが出始めたら
５５１ページ １４行目。
誤
不良ブロックを注意深く構成する｡
利用ない
正
不良ブロックをすべて使うファイルを作る｡（３０２ページを参照｡）
利用されない
５５２ページ １１行目。
誤
ススペシャルファイル
正
スペシャルファイル
５５２ページ 下から２行目。
正
ファイルとディレクトリの将来の変更は、現物をその場で書き換えるのではなく、該当のブロックをコピーするように要求する｡
５５８ページ １１行目。
誤
ディスクから削除された後
正
ディスクが廃棄された後
５５８ページ 下から５行目。
誤
ため果
正
ためか
５６７ページ ２行目。
誤
ビジネスに関係なく
正
関係のない場所をかぎまわる人々を
５７６ページ 下から４行目。
正
簡単に気が付く、ＯＳあるいは類似のシステムのバグ、これは、侵入者を現行犯で捕まえるためのものである｡
６０１ページ １７行目。
誤
ヒープの名前を
正
ヒープ上の名前を（可変長文字列が、最後にまとめられている、という実装）
６０５ページ ９行目。
誤
ＯＳはロックを共用しないが
正
ＯＳはロックを強制しない｡プロセスは、行儀よくふるまい、何か他のプロセスと競合する可能性のある事をする前に、ファイルにロックがかかっているか調べることが求められる｡（アドバイザリであることの説明）
６０９ページ 下から１行目。
誤
inode は１つの構造体で
正
inode は、 MINIX 3 で変わらなかった構造体の１つで
６１７ページ ８行目。
誤
手続きを補助する
正
補助手続きが必要な
６２９ページ 下から８行目。
誤
大く
正
多く
６３３ページ 下から１１行目。
誤
ブロックを突然消去する
正
突然ファイルの途中にあるブロックをクリアする
６３７ページ 下から１３行目。
誤
これから削除されるファイルが
正
これから削除されるファイルシステム上のファイルを開いていたり、ワーキングディレクトリを持っているプロセスがないのを確認することである｡
６４５ページ １７行目。
誤
通知は偽造することが可能
正
通知は、誤りのこともある（ bogus の訳ですが、 notification の空振り、の意味と思います｡）
６４５ページ 下から５行目。
誤
以下の一文が欠落｡
正
dev_io がドライバからの応答を待っている間、ファイルシステムは待つ｡（ここでは内部マルチプログラミングは、と続く｡）
６５０ページ １９行目。
誤
従来通りのＯＳ設計であるモノリシックカーネル
正
従来通りのＯＳ設計であれば、（ MINIX 3 は、違う）
６５３ページ 問題２４。
誤
inode のコピーを、 inode テーブルとしてメモリ上にフェッチして検索
正
テーブル全体を検索して、inode がすでにあるか確認するよりも、新しい inode のコピーを inode テーブルに読み込む方が簡単で高速である｡
（オープンのたびに、 inode テーブルに、重複を許してエントリを増やすという主張でしょうか｡）
７３９ページ ソースコード４６０６、４６０７行
_POSIX_SOURCE, _MINIX に、余分な空白があります。
７４２ページ ソースコード４８４９行。
誤
プログラムスタック語
正
プログラムステータス語
（原文でも program stack word ですが、変です｡）
７５９ページ ソースコード６４２２行。モニタでは、メモリの粒度を ＝＞ モニタのため
７６０ページ ソースコード６４２９行。欠落 ＝＞ ディスアセンブラを同期させるための（ nop ）
７６０ページ ソースコード６４４４行。欠落 ＝＞ カーネルのアドレス空間に、モニタの global descriptor table をコピーして、そこに移る｡ prot_init が、さらに、それ、 gdt を更新して、（直後の６４８７行の lgdt で）有効になる｡
７６１ページ ソースコード６４８４行。ディスクリプタテーブルの集合 ＝＞ prot_init によりセットアップされた gdt を、指すように、gdtr, idtr and the segment registers を再ロードする｡
７６１ページ ソースコード６４９８行。ＴＳＳ以外は ＝＞ 他のＴＳＳは使わない｡
（補足すると、ＴＳＳは、タスクに１つでなくて、グローバル変数 tss ８３５８行、に１つだけあり、割り込み時のスタックポインタを、６６９３行でタスクスイッチのときに差し替えながら動く。）
７６１ページ ソースコード６５００行。良好な状態を知るために ＝＞ flags を既知の良好な状態にする｡
７６１ページ ソースコード６５２９行。マクロの拡張 ＝＞ マクロの展開
７７７ページ ソースコード７６０５行。dst を相互に送り ＝＞ dst が、相互に送りあっている
７８２ページ ソースコード７８７８行。
誤
中にあっても無限ループを得られる｡
正
（高い優先度プロセス）の、無限ループを捕捉することが出来る。
７８４ページ ソースコード８０３８行。閉められていない ＝＞ （ページフォルトと、 SEGV は）ちょっと違う
８１６ページ ソースコード１０３４２行。mark 完了 ＝＞ 終端にしるしをつける
９０３ページ ソースコード１５９０３行。
６８４５までは ＝＞ ６８４５にとっては
９６９ページ ソースコード２０４６６行。不成立 ＝＞ フォールスルー（適切な訳語はなんでしょうね。）
１００９ページ ソースコード２３７４０行。ディスクリプタ画 ＝＞ ディスクリプタ
１０２３ページ ソースコード２４５８７行。filp スロットが有効か ＝＞ 空きがあるか
２４５９６行。
今、ファイルを作成した。
EEXIST 以外のエラー｡
２４６１１行。ファイルを作成したのでなければ、通常のオープンのコードを実行する｡
２４６３８行。特別処理のドライバ ＝＞ スペシャルファイルの処理のため、ドライバを呼ぶ｡
１０２８ページ ソースコード２４８９３行。特別処理 ＝＞ スペシャルファイルのデバイスクローズ処理をする。
１０３４ページ ソースコード２５２６３行。コピーする ＝＞ コピーされた
１０３５ページ ソースコード２５２９０行。inode を作成 ＝＞ ブロックを作成して、inode に入れる
１０５２ページ ソースコード２６３５８行。fs アドレス空間から検索 ＝＞ fs アドレス空間にある引数 'path' を（最終ディレクトリまで、と続く｡）
１０５９ページ ソースコード２６７９１行。
r が OK でないときも、これ、 root_ip が設定されていることを保証する｡
１０６１ページ ソースコード２７００１行。解除も
ファイルに最後の unlink が実行されたら
１０６４ページ ソースコード２７１８５行。終了 ＝＞ 存在
２７１９７行。
ファイルシステム内をループして、ハングするかもしれない｡
１０６５ページ ソースコード２７２５６行。１ブロックずつ成長が ＝＞ １ブロック増えなくてはいけないが
１０６６ページ ソースコード２７２７４行。開放しする ＝＞ 開放する
２７２８２行。間違わないはず ＝＞ 失敗しないはず
２７２９１行。
ctime と mtime は、（直前の） search_dir で、更新が必要と印がついている
１０７４ページ ソースコード２７８４９行。etgid ＝＞ setgid
１０７７ページ ソースコード２８１２１行。まず、エントリ ＝＞ 最初のエントリ
１０７８ページ ソースコード２８１８６行。真ドライバ ＝＞ 新ドライバ
１０８５ページ ソースコード２８５９５行。より早い要求のために ＝＞ 先ほどの（デッドロックで失敗した）要求に対応する
オペレーティングシステムのことをよくご存知の方に、 Minix 3 と、他のオペレーティングシステムの違いや、おや、と思われるだろうところを説明します。
本の、最初の版 3.1.0 に関する記述です｡
以下は、やってない。
仮想記憶。 mmap(2)。 共有ライブラリ。マルチプロセッササポート。スレッド。SCSI, USB。
デバイスドライバも、TCP/IP スタックも、ユーザモードで動くプロセスである。なので、
Ｉ／Ｏポートを in/out で読み書きするシステムコールがある。
malloc, printf だって使える｡
getdents(2) はなく、 readdir(3) ライブラリが、ディレクトリを read(2) して、 MINIX FS の構造を知った上で解析する｡最近の版では、 getdents(2) をする実装になりました。
バイナリは、 a.out 形式｡
プロセスは、 exec されたときに、使えるメモリが割り当てられて、以降、増減、移動しない｡
スタックやヒープを大量に使うプログラムは、必要量を chmem(1) で a.out ヘッダに書いておく必要がある｡
理解するファイルシステムは、 MINIX だけ。FAT は、 mtools(1) で、 CD は、 isodir(1) でアクセスできる｡
open, fork などは、メッセージを作って、 PM, FS に投げるだけ。 lib/posix/_open.c, lib/other/syscall.c を参照｡そういう意味では、システムコールは、 send, receive, sendrec だけ｡
カーネルには、int 33 命令で入る｡
init は、 /etc/rc を実行し、それが、 /usr/etc/rc を実行する｡ネットワークの設定は、後者を参照｡
カーネルスタックは、１ＫＢで、グローバル変数に１つだけ。 Linux などと違って、カーネルはタスクディスパッチャだけで、スリープしないで走りきるから、これですむ｡
ブートローダは、 boot/rawfs.c で、 MINIX FS を理解する｡
プロテクトモードへの切り替えをやってくれて、mpx386.s のエントリポイント MINIX に飛んでくる｡
未サポートのディスクのために、ＢＩＯＳコールを使うデバイスドライバがある｡
カーネルは、シャットダウンすると、ブートローダ、モニタとも呼ぶ、に return する｡
そんなこんなで、 MINIX, ＢＩＯＳ，ブートローダのコンテキストは、共存しているらしいです。 GDT の使い方がごちゃごちゃしている原因のようです。
質問 Windows では、 fork と exec でなく、 CreateProcess で、別プログラムを実行します｡標準入出力のリダイレクトは、どうやっているのでしょう。
答え 引数の STARTUPINFO に、hStdInput, hStdOutput, hStdError があります｡親が、ファイルを開いて、このハンドルに設定しておくと、子の標準入出力はそのファイルになります。
質問 シグナルはありますか。
答え SetConsoleCtrlHandler で、 Ctrl-C へのふるまいを設定できる｡プロセスグループ、CreateProcess の CREATE_NEW_PROCESS_GROUP フラグを参照、もある。
けど、互換性のために、似たものがある程度に思うのがよいでしょう。
非同期の通知なら、 SetEvent を WaitForMultipleObjects で待つのが正しい作法です｡
質問 setuid 実行ファイルのしかけがないけど、プロセスの実行権限を上げるにはどうするのですか。
答え ImpersonateLoggedOnUser, RevertToSelf で行うらしいです｡私は使ったことがないです｡
私の書いた、これらのページも見てね｡
Google App Engine で動く、 Linux kernel function trace のブラウザ
Linux kernel function trace の実行例
作成
Kanda.Motohiro@gmail.com
Last update Jan. 5 2009
Moved to sites.google.com on Jan. 2010.