発見
| パラメータ | 値 |
|---|---|
| 日付 | 1991年8月25日(アナウンス)、9月17日(v0.01リリース) |
| 場所 | ヘルシンキ大学、フィンランド |
| 作者 | リーナス・トーバルズ(1969年–) |
| 対象CPU | i386(32ビット保護モード) |
| 初期サイズ | 10,239行(Cコード) |
| ライセンス | GPL v2(1992年1月採用) |
| 現在のサイズ | 約3,700万行(2024年) |
| 直接的着想 | MINIX(アンドリュー・タネンバウム、教育目的) |
技術的解説
1. モノリシックカーネルの選択。 トーバルズは学術的に主流であったマイクロカーネル(Machなど)ではなく、モノリシックアーキテクチャを選択した。プロセス管理、メモリ管理、デバイスドライバ、ファイルシステムのすべてがカーネル空間で動作する。タネンバウムとの有名な論争(1992年)で、トーバルズは性能上の利点を主張した。カーネル内での直接関数呼び出しはマイクロカーネルのIPC(プロセス間通信)よりも桁違いに高速であり、この判断は実用的に正しかった。
2. ローダブルカーネルモジュール(LKM)。 モノリシックの性能とモジュラーの柔軟性を両立するため、Linuxはローダブルモジュールを実装した。ドライバやファイルシステムは実行時に動的にロード・アンロードでき、カーネル全体の再コンパイルなしに機能を追加できる。現代のLinuxカーネルは約8,000のモジュールをビルド可能であり、ハードウェアの自動検出に基づいて必要なモジュールのみがロードされる。このアーキテクチャは30以上のCPUアーキテクチャのサポートを可能にした。
3. GPL v2とバザール開発モデル。 1992年1月にトーバルズがライセンスをGPL v2に変更したことが転換点であった。エリック・レイモンドが「伽藍とバザール」で分析したように、「十分な目があればどんなバグも浅い」(リーナスの法則)。コードレビューが全世界の開発者によって並列に行われ、パッチのマージ判断はメンテナの階層構造を通じて最終的にトーバルズに到達する。2024年現在、カーネルには75,000人以上の個人貢献者と1,700以上の企業(Red Hat、Intel、Google、Samsung、Microsoft)が参加している。
4. VFS(仮想ファイルシステム)と移植性。 VFSレイヤーがext4、XFS、Btrfs、NFS、procfsなど多数のファイルシステムに統一的なインターフェースを提供する。デバイスモデル(sysfs + udev)がハードウェアの動的検出と設定を処理する。この抽象化レイヤーの設計により、Linuxは組み込みシステム(Raspberry Pi)からスーパーコンピュータ(フロンティア、1.2エクサFLOPS)まで、同一のカーネルコードベースでスケーリングが可能である。
なぜ成功したか
GPLライセンスが競合他社にソースコードを公開するインセンティブを与えた。修正版の再配布にはソースの公開が必要であるため、各社の改良がコミュニティに還流する。結果として、単一企業では不可能な規模の協調開発が実現した。直接の競合であったBSDは、AT&T訴訟(1992年–94年)による法的不確実性からユーザーを失い、この時期にLinuxが事実上の標準となった。
タイミングも決定的であった。Linuxの登場は、PC互換機の普及(i386)、インターネットの台頭(ソースコード配布)、商用UNIXの高価格(数万ドル)が重なった時期であった。Gitの開発(トーバルズ自身が2005年に作成)により、分散型バージョン管理が大規模コラボレーションのボトルネックを解消し、カーネル開発の速度はさらに加速した。
因果連鎖
UNIXの誕生(トンプソン&リッチー、1969年)→ GNU宣言(ストールマン、1983年)→ MINIX(タネンバウム、1987年)→ トーバルズがLinuxをリリース(1991年)→ GPL v2採用(1992年)→ Red Hat創業(1994年)→ IBMがLinuxに10億ドル投資(2000年)→ Android採用(2008年)→ クラウドインフラの標準(AWS, GCP, Azure)→ 75,000人以上の貢献者を持つ史上最大のソフトウェアプロジェクト
エピソード
1992年のタネンバウム=トーバルズ論争は、コンピュータサイエンスの教科書に載るほど有名である。タネンバウムは「Linuxは設計上陳腐化している。モノリシックカーネルを1991年に書くのは、1970年代に送り返すべき巨大な後退だ」と宣言した。トーバルズの回答は簡潔だった——「Linuxは使えるが、MINIXは使えない。それが答えだ。」30年後、Linuxは世界のインフラを動かし、MINIXは教科書に残った。実用性が理論的優雅さに勝利した歴史的事例である。
出典
2026年8月のファクトチェック監査で検証された参考文献 — 本記事の記述は
以下のページと照合されています。
