MINIX（ミニックス）

概要

MINIX(ミニックス、Mini-UNIX)は、オランダ Amsterdam 自由大学(Vrije Universiteit Amsterdam)の Andrew Tanenbaum(アンドリュー・タネンバウム)教授が 1987 年に教育用に開発した UNIX 互換のマイクロカーネル OS です。当時 AT&T UNIX のソースコードが大学教育に使えなくなった(1984 年の AT&T 分割でライセンス料が高騰)状況を受け、Tanenbaum 教授が学生に OS の中身を教えるために、UNIX V7 互換のシステムコールインターフェースを持つ完全自作の OS としてゼロから開発したものです。

著書「Operating Systems: Design and Implementation」(1987 / Prentice Hall)の付録としてソースコードが公開され、当時 IBM PC / 互換機 + 5.25 インチフロッピーで動作する小さな UNIX 互換 OS として大学のコンピュータサイエンス授業で広く採用されました。この本と MINIX のソースが、フィンランドの学生 Linus Torvalds(リーナス・トーバルズ、当時 21 歳)が 1991 年に Linux 開発を着想する直接のきっかけとなったことで歴史的に有名です。

実際、1992 年 1 月にコンプ・サイエンス系 Usenet ニュースグループ comp.os.minix で Tanenbaum と Linus Torvalds の間で繰り広げられた「Linux is obsolete」論争(Tanenbaum はマイクロカーネル設計が正しいと主張、Linus はモノリシック Linux を擁護)は、OS 設計史における伝説のフレームウォーで、現在もインターネット上で資料が読めます。

技術的にはマイクロカーネル設計を採用し、ファイルシステム / プロセス管理 / メモリ管理 / ネットワークなどがすべてユーザースペースのサーバプロセスとして動作する純粋設計で、教育的・研究的に優れていました。MINIX 1.0(1987)→ 1.5(1990)→ 2.0(1997)→ 3.0(2005、教育用から実用 + 商用利用可能ライセンスに変更)→ 3.1(2006)→ 3.2(2012)→ 3.3(2014)→ 3.4(2017)→ 3.4.0rc6(2024)と進化を続けています。

意外な事実として、Intel ME(Management Engine、Sandy Bridge 以降の x86 CPU 内蔵セキュリティチップ / リモート管理機能)の OS が MINIX 3 をベースとした実装であることが 2017 年に明らかになり、世界中の数十億の Intel CPU マシンに MINIX が組み込まれている事実が話題になりました。

主な特徴・仕組み

• アーキテクチャ: マイクロカーネル設計、ファイルシステム / プロセス管理がユーザー空間。
• 互換性: UNIX V7 システムコール互換、POSIX 部分対応。
• 主な世代: MINIX 1.0(1987)→ 1.5(1990)→ 2.0(1997)→ 3.0(2005)→ 3.1(2006)→ 3.2(2012)→ 3.3(2014)→ 3.4(2017)→ 3.4.0rc6(2024)。
• ライセンス: MINIX 1-2 教育用、MINIX 3 から BSD ライセンス(商用利用可能)。
• 主要開発: Andrew Tanenbaum(教授・主導)、後年 Ben Gras 等。
• 採用: Intel ME(Sandy Bridge 以降の x86 CPU 内蔵)、教育 / 研究機関、組込。
• 著書: 「Operating Systems: Design and Implementation」(1987 / 改訂版 2014)。
• 重要事件: 1992 年 Tanenbaum-Torvalds 論争、Linux 創世。

MINIX 主要バージョン