Linux 7.3-rc4公開、LLMが見つけたエラー処理の修正も

Linus Torvalds氏は2026年9月20日にLinux 7.3-rc4を公開し、大規模言語モデル（LLM）が特定の種類の不具合を見つける手段として役立っていると述べた。Phoronixは、エラー処理の後始末コードにある問題について「さまざまなLLMがかなりうまく捕まえているようだ」と同氏が語ったと伝えている。これはカーネルで最も上位のメンテナーによる限定的な主張であり、通常のプレパッチよりも興味深い。

プレパッチ（リリース候補）とは、あるカーネルバージョンが安定するまでの間、毎週出されるテスト用のビルドだ。LWNによれば、Torvalds氏は今回を「大きい」と表現し、この時期としては驚くことではないと付け加えた。

LLMが捕まえるのがエラー処理である理由

エラー処理の後始末は、C言語のコードで弱点として知られている部分であり、カーネルにはそれが大量にある。ある関数がロックを取得し、メモリを確保し、オブジェクトへの参照を取得する。そして途中で失敗する。そこまでに取得したものはすべて、関数が戻る前に逆順で解放しなければならない。

そうした関数の成功する経路は絶えず実行される。一方で失敗時の経路は、通常の利用ではまったく走らないことも多い。だからリークやロックの解放漏れが、誰にも気づかれないまま何年も残りうる。

同じ性質が、モデルがこの種の不具合を見つけられる理由でもある。誤りは局所的で、1つの関数の中で目に見える。取得したものが解放されていない、というだけだ。レビューする側はサブシステム全体を理解する必要がなく、それはモデルも同じである。カーネルが至るところで適用している規則に対する、パターン照合にすぎない。

これは、モデルがカーネルのコードを書けるという主張よりもはるかに控えめだ。Torvalds氏が語っているのは、推論が浅くて済み、対象となるコード量が膨大だという組み合わせの欠陥である。それは自動化されたツールが昔から得意としてきた領域だ。

rc4に入ったその他の変更

Phoronixは、修正がおおよそ3等分されると伝えている。約3分の1がドライバー、3分の1がファイルシステムとネットワーク、3分の1がアーキテクチャとツール関連のコードだ。

領域	報じられた例
アーキテクチャ	x86およびx86_64の修正
ファイルシステム	Btrfsの2件の不具合、SMBとNTFSの変更
ドライバー	XPadゲームコントローラーの新規サポート

1つの修正が際立っている。Phoronixは、ユーザー空間のデータを気づかれないまま失わせる不具合の修正が入ったこと、そしてその欠陥が2023年から存在していたことを伝えている。静かなデータ消失はカーネルの不具合として最悪の部類だ。その時点では目に見える形で失敗せず、被害は後になって、あるいはまったく気づかれずに終わるからである。

今回のBtrfs関連の作業は、このサイクルの少し前からの流れを引き継いでいる。ファイルシステムIDとgrub2起動の修正が、まさにこのプレパッチに向けて積まれていた。Linux 7.3の正式版は2026年10月に予定されている。

開発者にとっての意味

LLMに関する主張は、語られたとおりの大きさで受け取るべきだ。Torvalds氏が挙げたのはエラー処理の後始末であって、正しさ一般ではない。同じ成果を再現したいなら、自分のコードの失敗経路にモデルを向けるとよい。そして限定的な質問を1つだけする。すべての早期リターンは、その上で取得したものを解放しているか、と。

すでに使っているものと比べてみることも大切だ。カーネルはこの種の不具合に対して、Coverityやsmatchといったツールによる静的解析を長年使ってきた。興味深いのは、モデルがエラー処理の不具合を見つけられるかどうかではない。それらのツールが見逃すものを見つけるのか、そして誤検出率はどれほどか、である。今回の報道はそこに答えていないので、決着のついた勝利ではなく未解決の問いとして扱うべきだ。

見つけたことよりも、報告の進め方のほうが重要だ。モデルは、もっともらしく見えるパッチを本物と同じくらい簡単に生成する。メンテナーは自分でレビューしない限り、その違いを見分けられない。この方法で見つけた修正を投稿するなら、まず自分で検証し、どうやって見つけたかを述べること。そしてレビュー担当者が一度で確認できる程度に、パッチを小さく保つこと。

7.3を追っているなら、これはテストを始める通常の合図だ。Torvalds氏は今回を、警戒すべきとは言わずに大きいと表現した。サイクルのその段階ではリリースの形は定まっており、残りの数週間は仕上げに充てられる。ツリー外のモジュールやディストリビューションのカーネルを保守しているなら、10月の正式版を待たずに、いまrc4に対してビルドしておくこと。Ubuntu 26.10はすでにプレリリース版の7.3カーネルを搭載するため、一部の利用者は正式版より先にこのコードに触れることになる。

2023年から残っていたデータ消失の不具合は、今回のリリースにおける現実的な戒めだ。ユーザーのデータを静かに捨てる欠陥が、ほぼどのコードベースよりも多くの人に読まれているカーネルの中で3年間生き延びた。誰も走らせない経路について、どのツールが担うにせよ、自動的な検査をもっと増やすべきだという論拠になる。