要約:
経験豊富なエンジニアのチームがオペレーティング システム カーネルをゼロから開発するには、通常、数年かかります。しかし、CentOS の共同創設者で Rocky Linux プロジェクトの開始者でもある Gregory Kurtzer 氏は最近、かなり特殊な結果を実証しました。彼は人工知能エージェントを使用して、わずか 11 日間で新しいオペレーティング システム カーネル Giux を作成しました。このカーネルは Linux カーネル コードを使用していませんが、すでに Rocky Linux 10 を起動できます。まだ研究プロトタイプではありますが、このプロジェクトは AI が複雑な基盤ソフトウェアの開発に参加する新たな可能性を示しています。
Kurtzer 氏は先週、ソーシャル プラットフォーム X を通じて初めて Pinux プロジェクトを発表しました。関連するコードも GitHub にアップロードされ、Apache 2.0 オープン ソース ライセンスが採用されました。 Pinux という名前は、Linux、GPT、Greg の 3 つの要素を組み合わせたものです。プロジェクトの紹介文には、作者が自己主張しすぎるのを防ぐために、文字 G を GPT として解釈する必要があるとさえ冗談が書かれていました。
Ginux は Linux のフォークではなく、既存の Linux コードからカーネル コンポーネントをコピーするものでもありません。メモリ管理、プロセス スケジューリング、ファイル システム、およびネットワーク機能はすべて最初から書かれており、主に Rust 言語を使用して開発されています。 Linux と実際に共有しているのは、アプリケーション バイナリ インターフェイス (ABI) です。つまり、Ginux は Linux がソフトウェアに提供するシステム インターフェイスをシミュレートするため、元々 Linux 用に書かれたプログラムはコードを変更せずに実行できます。
プロジェクト開発者は、この設計を次のように説明しています: Linux は単なるカーネル実装ではなく、カーネルによってアプリケーション ソフトウェアに提供される「個性」または互換性環境とみなすこともできます。現在、Ginux は Linux 互換モードのみを実装しており、将来的に BSD 互換モードが追加される可能性は排除されません。
しかし、Ginux は Linux との完全な互換性にはまだ程遠いです。プロジェクトのドキュメントによると、Linux 6.12 の x86-64 インターフェイスを参照すると、その 375 のシステム コールのうち完全に実装されているのは 82 のみで、残りの 245 は部分的にのみ機能し、残りの 48 は意図的に使用できないように設定されています。これは、すでに一部の既存の Linux ソフトウェアを実行できるものの、まだ成熟した汎用 Linux の代替品とはみなされていないことを意味します。
Ginux では、「ドメイン」と呼ばれる一連の分離メカニズムも導入しています。ソフトウェアは分離された環境で実行され、各ドメインには独立したプロセス、メモリ空間、ファイル システムがあります。プロジェクトは、このメカニズムが従来のコンテナよりも強力な分離境界を提供することを期待しています。ただし、Ginux は引き続き標準の OCI コンテナ イメージを使用して、各ドメインのファイル システムを構築できます。このようにして、Rocky Linux 10 をロードし、システムのブートを systemd マルチユーザー ターゲットに進めることができました。
この開発の最も興味深い側面は、人工知能の役割です。 Kurtzer 氏は、技術レポートで彼のアプローチを「人間主導のエージェント エンジニアリング」と呼んでいます。彼は全体的なアーキテクチャを決定し、開発フェーズと受け入れ基準を策定する責任を負いますが、人工知能エージェントは、コードの作成、カーネルの起動、テストの実行、問題発見後のコードの変更など、その後の実行作業のほとんどを担当します。
プロセス全体は、継続的に実行される OpenAI Codex タスクによって完了します。使用されるモデルは GPT-5.6 Sol です。 11 日間で、AI は合計約 139,000 行のコードとテスト コンテンツを生成し、1,000 件を超えるコードの提出を完了しました。開発プロセス中、実際のディストリビューション Rocky Linux も重要な役割を果たしました。実際に起動して実行したときに、人為的に構築されたテスト ケースでは検出できなかったいくつかの問題が明らかになりました。
ただし、Kurtzer は、Ginux を本番環境に対応したオペレーティング システムにパッケージ化しませんでした。現時点では、プロジェクトはまだ完全に QEMU 仮想マシンで実行されています。物理ハードウェアでの直接起動はまだサポートされておらず、GPU および NVMe ストレージ デバイスもサポートされていません。さらに、Ginux はまだ独立したセキュリティ監査を受けておらず、そのセキュリティが完全に検証されていません。
クルツァー氏は、人工知能は複雑なシステム ソフトウェアを作成できるようになったものの、実際の難しい部分はまだ消えていないと考えています。ソフトウェアの互換性、セキュリティ、および長期メンテナンス機能は、オペレーティング システムが本当に成功できるかどうかを決定する重要な障壁となっています。言い換えれば、AI はコードをゼロから開発するプロセスを大幅に短縮できますが、コードの信頼性が十分であることを自動的に保証することはできず、長期的なエンジニアリング検証に代わることもできません。
同時に、Linux カーネル開発コミュニティも AI ツールを徐々に導入しようとしています。先月、Linux 創設者 Linus Torvalds 氏は、クロード コードを使用して実験的なページ キャッシュ パッチのセットを作成しましたが、後にレビュー担当者が競合状態があることを発見したため、関連するコードはまだレビュー中です。同じ頃、Linux カーネルの保守担当者も、コードが AI 支援されているかどうかをコントリビューターに開示するよう要求しないことに同意しました。
Ginux の重要性は、Linux をすぐに置き換えることができるということではなく、新しいソフトウェア エンジニアリング モデルを実証することである可能性があります。つまり、人間が目標、アーキテクチャ、重要な決定を担当し、AI エージェントが大量の特定の実装とテスト作業を担当します。かつては形になるまでに何年もかかった複雑なシステムも、今ではほんのわずかな時間で動作するプロトタイプを作成できるようになりました。ただし、プロトタイプから、幅広いハードウェアに適応し、長期にわたって保守できる真に信頼性の高いオペレーティング システムに移行するまでには、まだ長いエンジニアリングの道のりがかかります。
コメント