【geek-terminalニュース】コンパイラという名の「悪魔」と刺し違える：Oxide Computerが暴く「Unsafe Rust」の真の恐怖と極限ハック

2026年5月中旬、JavaScriptランタイム「Bun」において、AIによる「バイブス（雰囲気）移植」に起因する深刻な未定義動作（UB: Undefined Behavior）が発覚し、開発コミュニティは騒然となりました。しかし、その狂乱が冷めやらぬ中、ベアメタルハードウェアと独自OS「Hubris」を開発するシステムプログラミング界の雄、Oxide Computerがさらなる深淵への扉を開きました。彼らが公開した技術ブログ「iddqd」は、伝説的シューティングゲーム『DOOM』の無敵チートコード（IDDQD）を冠しながらも、その中身は「Unsafe Rustという無敵モードを宣言した開発者が、コンパイラ最適化という名の『悪魔』によってどのように物理ハードウェアの境界で切り刻まれるか」を暴く、あまりにもハードコアな低レイヤー解剖論です。テクノロジーの極限に挑むシステムエンジニアたちの間で、いま最も熱く、そして最も恐ろしい議論が巻き起こっています。

【事象の全貌と背景：BunのUB問題を超えた「システムプログラミングの雄」からの警告】

なぜ、今この論考がこれほどまでにギークたちの心を捉えているのでしょうか。その背景には、「Rustを使っていればメモリ安全で堅牢なシステムが構築できる」という、業界に蔓延する一種の「安全神話」に対する強烈なアンチテーゼがあります。先日のBunにおける「Miri（Rustの未定義動作検出ツール）チェック失敗の量産」は、AIによるコード生成がもたらした一種の不注意な人災でした。しかし、Oxide Computerが提示する問題は、最高峰のエンジニアたちが細心の注意を払って記述した、不可避な「Unsafe Rust」の領域で発生する、構造的かつ不可視のバグです。

Oxideは自社製のサーバーラック「Cosmo」などをゼロから設計しており、サービスプロセッサやベースボード管理コントローラ（BMC）を直接たたくマイクロカーネルをRustで実装しています。物理ハードウェアを制御するためには、どうしてもメモリマップドI/O（MMIO）やインラインアセンブリといった、Rustの安全境界の外側（Unsafe）に手を伸ばさざるを得ません。彼らの主張によれば、「Unsafe」とは決して「ルールを無視していい無敵モード（IDDQD）」ではなく、むしろ「コンパイラに対して『私はプログラミング言語の厳密な前提条件（不変条件）を100%維持します』と誓約する血判状」です。この誓約を破った瞬間、コンパイラは牙をむき、プログラムを容赦なく破壊します。

【技術的ディープダイブ：コンパイラ最適化の「悪魔」とエイリアシングの罠】

技術的にこの問題を掘り下げると、Rustコンパイラ（rustc）およびそのバックエンドであるLLVMの「攻撃的とも言える最適化エンジン」が主役となります。コンパイラは、コードに未定義動作（UB）が存在しないという前提に立って、極限まで冗長なコードを削ぎ落とそうとします。この「最適化の仮定」こそが、低レイヤー開発者にとっての悪夢の始まりです。

最たる例が、Rustの「エイリアシング規則（Aliasing Rules）」とLLVMの `noalias` 属性の衝突です。Rustにおいて、不変参照（`&T`）は「その生存期間中、絶対に他から書き換えられないこと」を保証し、可変参照（`&mut T`）は「その生存期間中、他に同じメモリを指す参照が存在しないこと（排他性）」を保証します。開発者がUnsafeブロックの中で生ポインタ（`*mut T`）を参照（`&mut T`）にキャストした瞬間、この強力な制約が有効化されます。

しかし、ハードウェア制御においては、MMIOのアドレス空間はハードウェア側の割り込みやステータス変更によって、ソフトウェアのあずかり知らぬところで「非同期に書き換えられ」ます。開発者がポインタから安易に参照を作ってしまい、コンパイラが「この参照の指す先は排他的であり、他から書き換えられることはない」と頑なに信じ込んだ場合、LLVMはレジスタへのロードを完全にキャッシュし、二度目以降の物理メモリの読み込みを丸ごと消去（デッドコード削除）してしまいます。結果として、ステータスレジスタのフラグ変化を待つループは無限ループと化し、システムは静かにハングアップします。これが、OxideがCosmoスレッドの初期評価で遭遇した「プロセッサがネットワークから消滅し、沈黙したまま過熱する」といった、物理的なバグの正体ではないかと囁かれています。

さらに、Volatile操作（`read_volatile` / `write_volatile`）を使用している場合でも、インラインアセンブリ（`asm!`）との組み合わせや、コンパイラが「あり得ない」と判断したコードパス全体の消滅によって、レジスタの書き込み順序が物理ハードウェアの要件（ライトシーケンス）と逆転してしまうケースも存在します。コンパイラは「安全なRust」のルールを前提に最適化の数理モデルを構築しているため、Unsafeの中でそのルールを1ピクセルでも踏み外したコードは、コンパイラにとって「実行されるはずのないパス（Unreachable）」となり、アセンブリレベルで完全に消し去られるのです。

【コミュニティの生々しい熱量と議論：IDDQD（無敵）を唱えたエンジニアたちの阿鼻叫喚】

この論考がハッカーニュース（Hacker News）やRedditのr/rustに投下されるやいなや、低レイヤーマニアたちによる熱狂的かつ専門的な議論が爆発しました。コミュニティでの反響は賛否両論、そして深い自己反省に満ちています。

「これまでC/C++のポインタの曖昧さに絶望してRustに逃げてきたが、Unsafe RustはC言語よりもはるかに凶暴なLLVMの最適化エンジンの餌食になることがよく分かった」と、あるベテランカーネル開発者は嘆きます。C言語のポインタよりも、Rustの参照のほうが「コンパイラに与える制約情報（Hint）」がはるかに多いため、ルールを破った時の最適化の破壊力が数倍強いというパラドックスに、多くのハッカーが戦慄しています。

一方で、「そもそもUnsafe内で生の参照（`&`）を露出させる設計自体が間違っている。常に生のポインタ（`*mut`）か、`Volatile` などのラッパーを維持すべきだ」という、厳格な防衛プログラミングの必要性を説く声も上がっています。しかし、現場からは「既存のクレート（ライブラリ）の多くが、内部的に unsafe を使いつつ、APIを扱いやすくするために安易に参照へキャストしている。我々は知らず知らずのうちに、地雷原の上でAIにコードを書かせているのではないか」という、2026年の「Vibe Coding（雰囲気開発）」に対する痛烈な批判も噴出しています。

さらに、NVIDIAがGPUカーネルをRustで直接記述しPTXを出力する公式コンパイラ「cuda-oxide」を実験的に公開した（2026年5月の噂）という文脈も絡み、「GPUプログラミングという、並列性とハードウェア直結度が極限に達する領域で、このUnsafeのエイリアシングバグが発生したら、デバッグは人類の手には負えなくなる」という悲観的な予測も共有されています。コミュニティはまさに、便利さと極限性能、そして「コンパイラという冷酷な神」の気まぐれの間で揺れ動いています。

【今後の展望とエコシステムへの影響：安全神話の終焉と「形式的検証」の強制時代へ】

Oxide Computerのこの一石は、今後のRustエコシステム、ひいてはシステムプログラミング全体の開発プロセスに決定的なパラダイムシフトをもたらす可能性を秘めています。

まず、AIコーディングアシスタント（CursorやGitHub Copilotなど）が生成するUnsafe Rustに対する警戒心は極限に達するでしょう。AIは「動くアセンブリ」を生成することは得意ですが、LLVMのオプティマイザが背後でどのような「仮定」を推論し、コードを消去するかという高次元の文脈を理解することは困難です。これにより、今後は「AI生成コードの排除」ではなく、「AIが書いたUnsafeコードを厳格に形式検証するCI/CDパイプライン」の構築が必須の標準仕様となっていきます。

具体的には、Rustの未定義動作を動的に検出する `Miri` の実行や、数理的にコードの正当性を証明する `Kani` などのモデル検査器、さらには `Prusti` のような形式的検証ツールの導入が、単なる「学術的な試み」から「本番環境リリースの絶対条件」へと格上げされるでしょう。また、物理ハードウェアを扱うための「Raw Pointer」をカプセル化する新しいデザインパターンや、コンパイラの最適化バリアを強制するメモリエクスクルージョン用のマクロなど、言語仕様自体のアップデートを求める議論も加速すると予想されます。

「IDDQD」という神のチートを唱え、無敵になったと錯覚した人類。しかし、システムプログラミングという戦場において、真のルールを支配しているのは開発者ではなく、冷徹な物理法則と、それを超解釈するコンパイラという名の機械知性なのです。Oxide Computerが示した深淵は、我々に「極限の制御とは、完全なる規律の服従の先にある」という不都合な真実を、改めて突きつけています。