メモリ安全性

Linuxカーネル7.2、Rustで「書かなくて済むコード」がまた増える

Linux

Linuxカーネル7.2、Rustで「書かなくて済むコード」がまた増える

「危険なコードを、書かずに済ませる」。次期Linuxカーネル7.2に向けてミゲル・オジェダ(Miguel Ojeda)氏が送ったRust関連のプルリクエストは、新機能の華やかさとは無縁だ。それでも、カーネルという土台にとっては重みのある一歩になる。今回の目玉は、4万行近いコードを一気に取り込むzerocopyライブラリの導入。これまで人が手書きしていた危ういコードの一部が、コンパイラに安全性を保証させる書き方へ置き換わる。 4万行の正体は「危険な変換」をなくすための部品 7.2のマージウィンドウは、7.1の正式リリース(現地時間6月14日)とともに開いた。その7.1も、NTFSの新ドライバ、Intel FREDのデフォルト有効化、x86の486世代サポートを含む14万行超の旧コード削除を抱えた、節目の更新だった。続く7.2に向けて、Rust陣営が真っ先に送り込んだのが今回のプルリクエストになる。 差分の行数だけ見れば、約3万9000行の追加。ベンチマーク用のコードを除いても約3万2000行という、Rust関連としては異例の大きさだ。ただ、この数字に身構える必要はない。中身のほと