ゲッティイメージズ
Linux カーネルは、いわゆる活発な議論に耐える覚悟がなければ、働く場所ではありません。それでも、主に C ベースのカーネル内で Rust の位置づけを拡大するプロジェクトの主要な開発者の 1 人は、「非技術的なナンセンス」が多すぎると感じ、退職することにしました。
Rust for Linux プロジェクトのリーダーである Wedson Almeida Filho 氏は、先週 Linux カーネルのメーリング リストに、プロジェクトのメンテナーを辞任する旨のメッセージを投稿しました。「ほぼ 4 年が経ち、非技術的なナンセンスに応答する以前のようなエネルギーと熱意が自分には欠けていることに気付きました。ですから、まだそのエネルギーを持っている人たちに任せるのが最善です」と Filho 氏は書いています。チームメイトに感謝しながら、カーネルの未来は Rust のような「メモリ セーフな言語にある」と信じていると述べました。「私は先見の明があるわけではありませんが、Linux がこれを内部化しなければ、他のカーネルが Unix にやったのと同じことを Linux にもやってしまうのではないかと心配です」と Filho 氏は書いています。
Filho 氏はまた、「コンテキストのサンプル」も残している。これは Linux カンファレンスの講演中にカメラの外から聞こえてくる声へのリンクで、Register のインタビューでカーネルのメンテナーである Ted Ts’o 氏であると Filho 氏が特定した人物が力説している。「問題は、私たち全員に Rust を学ばせるつもりはないということです」。Linux のファイル システムに Rust バインディングを実装するという Filho 氏の要求に関連して、Ts’o 氏は、自分が行う変更に対してはすべての C コードを修正する必要があることはわかっているが、影響を受ける可能性のある Rust バインディングは修正できないし、修正するつもりもないと述べている。
「彼らはCコードを保持したいだけなのです」
アサヒ Linux プロジェクトの開発者であるアサヒ リナは、先週末に Mastodon に次のように投稿しました。「残念ながら、ウェドソンの不満は完全に理解できます。」リナは、「一部の C カーネル開発者は、Rust のメンテナーの生活をできるだけ困難にしようと決心しているようです」と述べ、ダイレクト レンダリング マネージャー (DRM) スケジューラーの抽象化の作成中に遭遇したメモリ安全性の問題について詳しく説明しました。リナは、C コードを「より堅牢にし、ライフタイム要件を合理的にする」小さな修正をプッシュしようとしましたが、メンテナーによって阻止されました。その DRM スケジューラーの C コードのバグが、リナの Apple GPU ドライバーのカーネル パニックの唯一の原因であると彼女は書いています。「Rust で書いたからです。」
「しかし、Linux カーネルの保守担当者の中には、将来のコード品質や安定性、セキュリティを気にしなくなっている人もいるような気がします」と Lina 氏は書いている。「彼らは C コードを維持したいだけで、私たち Rust 開発者がいなくなることを望んでいます。これは本当に残念なことです… Linux の改善には役立っていません。」
SourceHut の創設者 Drew DeVault 氏は、Rust がカーネル内での居場所を見つけようとしていることについてブログに書いています。理論上、カーネルはやる気のある新参者からの熱心な意見を歓迎するはずです。「実際には、Linux コミュニティは無法地帯であり、大規模な変更は合意を得るのが非常に難しいことで有名です。今回の変更は、プロジェクトで提案された中では断然最も大規模な変更です」と DeVault 氏は書いています。「すべてのサブシステムは私有地であり、Linux の 1,700 人以上のメンテナーの気まぐれに左右されます。メンテナーのほぼ全員がこの競争に参戦しています。これは猫の群れを管理するようなものです。Rust を効果的に導入するには、コーディング作業が 1 割、政治的な作業が 99 割で、コーディング作業がかなり多くなります。」
DeVault 氏は、Rust 開発者がカーネルの政治的問題で忍耐力を試すよりも、Linux 互換カーネルをゼロから構築することを提案している。「(Linux カーネル メーリング リストの) 政治的争いから解放されることは、Rust をカーネル空間に持ち込むという野望にとって大きな勝利となるだろう」と DeVault 氏は書いている。
トーバルズ氏はRustの普及が遅い理由を理解している
リードメンテナーの Linus Torvalds 氏がこの件についてどう考えているのか、気になっている方もいるかもしれません。同氏は 2021 年に「様子見」の姿勢を取り、Rust がまず比較的孤立したデバイス ドライバーで知られるようになることを期待していました。先月末のインタビューで Torvalds 氏は、Rust 志向の開発者の不満に、かなり離れたところからではあるものの、基本的に同意しました。
「（Rustの）アップデートはもっと早くなると期待していたが、問題の一部は、昔からのカーネル開発者がCに慣れていて、Rustを知らないことだ」とトーバルズ氏は語った。「彼らは、ある意味で非常に異なる新しい言語を学ばなければならないことに、あまり乗り気ではない。だから、Rustに対して反発が起きている」。しかしトーバルズ氏は、「Rustのインフラストラクチャ自体がそれほど安定していないことも、もう1つの理由だ」と付け加えた。
Linux カーネルは、数百、数千の開発者が関与する、リスクの高いプロジェクトです。おそらく衝突は避けられません。これほど大規模で、しかも常に変化し続けるコードベースをコーディングし、考えるための主な方法として C がどれだけ長く存続するかは、時が経てばわかるでしょう。