アンドリュー・タネンバウム：MINIX で Linux 誕生のきっかけを作った CS 教師

1. 身近な「Linux の起源」を逆算する

Linux (Android / サーバ / 組込み等の基盤)、その作者リーナス・トーバルズが大学時代に勉強した教科書 OS が MINIX。MINIX を作ったのが Vrije 大学の教授 アンドリュー・タネンバウム。さらに Intel ME (Management Engine) のベース OS も MINIX。

2. 100 文字でわかる

3. 500 文字でわかる

1944 年米国生まれ、後にオランダに移住、UC Berkeley 博士、Vrije Universiteit Amsterdam 教授。1987 年、自著「Operating Systems: Design and Implementation」の付属 OS として MINIX を開発 — 学生が学習できるよう 完全に新規実装した小型 UNIX クローン。AT&T が UNIX のソースを商用化したため、教育用が必要だったから。1991 年、フィンランドの大学生リーナス・トーバルズが MINIX で勉強中、機能不足を感じて自前で OS を作り始め、それが Linux になった。1992 年、タネンバウムとリーナスの伝説的論争「Linux is obsolete (Linux は時代遅れ)」 — タネンバウムは「マイクロカーネルが正しい (MINIX 派)、モノリシックの Linux は古い」と批判、しかし Linux は爆発的に普及。2002 年 MINIX 3 (組込み・自己回復 OS) をリリース、Intel ME (全 Intel CPU に内蔵される管理用 OS) の基盤として、世界中のほぼ全 PC の中で MINIX が動いている という意外な逆転。「Modern Operating Systems」「Computer Networks」「Distributed Systems」 等の教科書は世界中の CS 教育で標準**、何百万人もの CS 学生が読んだ。

4. もっと詳しく

MINIX 開発 (1987)

1987 年、自著教科書 (16 万部以上売れた) の付属 OS として MINIX 開発。当時 AT&T が UNIX のソースを商用化したため、「教育用の自由なソース UNIX クローン」 が必要だった。MINIX = MIni-uniX、マイクロカーネル設計 で安定性重視。

リーナス・タネンバウム論争 (1992)

1992 年 1 月、タネンバウムが comp.os.minix で「Linux is obsolete」と批判。「マイクロカーネル (MINIX) こそ未来、モノリシック (Linux) は過去」。リーナスは反論、激しい論争に。結果的に Linux が爆発的に普及、しかし マイクロカーネル思想は QNX・L4・Mac OS X (XNU) 等で生き続ける。

MINIX 3 と Intel ME

2002 年 MINIX 3 リリース — 組込み機器・自己回復可能 OS として再設計。2017 年、衝撃の事実が発覚: Intel CPU 全機の内部にある「Management Engine (ME)」が MINIX を OS として使っていた。世界中のほぼ全 PC の中で MINIX が動いている ことが判明、タネンバウムは「まさかこんな形で世界中に普及するとは…」と驚いた。

教科書の影響

「Modern Operating Systems」(OS の教科書)、「Computer Networks」(ネットワーク)、「Distributed Systems」(分散システム)、「Structured Computer Organization」(コンピュータ構成) — すべて世界中の CS 教育で標準教科書、累計 100 万部以上。彼の文章は「ユーモアと厳密さ」で愛される。

5. 現代への影響

• MINIX: Intel ME 経由で全 PC の中で動く
• Linux: MINIX を起点に誕生
• OS / ネットワーク教育: 彼の教科書が世界標準
• マイクロカーネル思想: QNX / Mac OS X (XNU) 等
• 「Linux 論争」: OS 史の名場面

6. もっと知りたい人へ

• Wikipedia (日本語): アンドリュー・タネンバウム
• 書籍「Modern Operating Systems」: 教科書の定番
• MINIX 公式: https://www.minix3.org/

7. 次の話

EP.64 では バーバラ・リスコフ を扱います。「リスコフの置換原則 (SOLID の L)」とプログラミング言語 CLU を作った女性 CS 学者。