fork()+exec()の限界を超える：カーネルにおけるプロセス生成の新アプローチ
本記事は、UNIX以来の基本的なシステムコールである`fork()`と`exec()`の組み合わせが抱える構造的な非効率性について論じています。従来、`fork()`は親プロセスの全状態（メモリを含む）を子プロセスにコピーするため、非常にコストの高い操作です。さらに、この`fork()`の結果得られた大量のメモリが、直後の`exec()`によって新しいプログラムで上書きされ廃棄されるという無駄が生じていました。
これに対し、Li Chen氏から提案された「spawn templates」というパッチセットは、同じ実行可能ファイルを繰り返し起動するアプリケーション（例：Gitによるリポジトリ情報取得）の最適化を目指したものです。この仕組みでは、`spawn_template_create()`システムコールを用いてテンプレートを事前に作成し、カーネルにファイル情報をキャッシュさせます。その後、`spawn_template_spawn()`で新しいプロセスを生成します。
しかし、専門家からはより根本的な改善が求められています。Mateusz Guzik氏は、コストの大部分を占める`fork()`部分自体を排除し、「清浄な（pristine）プロセスを作成する」アプローチが必要だと指摘しました。一方、Christian Brauner氏からは、既存の`pidfd`抽象化の上に新しいAPIを構築すべきという提案がありました。具体的には、空のプロセスを作成するためのオプションを`pidfd_open()`に追加し、一連の`pidfd_config()`システムコールで環境や実行イメージを設定するというものです。
Li Chen氏は当初の「spawn templates」案に固執していましたが、最終的にBrauner氏が提案したような、より包括的でPOSIX標準に近いアプローチ（ネイティブな`posix_spawn()`の実装）へと方向転換する意向を示しました。これにより、Linuxカーネルは将来的に真の`posix_spawn()`実装を獲得できる可能性があります。
背景
UNIXシステムにおいて、プロセスを生成し新しいプログラムを実行する標準的な方法は`fork()`（コピー）と`exec()`（実行置換）の組み合わせです。しかし、このパターンはメモリコピーという点で本質的にコストが高く、効率化が長年の課題でした。
重要用語解説
- fork(): 親プロセスの全状態を子プロセスにコピーするシステムコール。非常に高コストな操作であり、多くの最適化が必要とされてきた。
- exec(): 現在のプロセスイメージを新しいプログラムで置き換えるシステムコール。メモリの内容を書き換え、実行環境を変更する。
- spawn templates: Li Chen氏が提案した、同じ実行ファイルを繰り返し起動する際のオーバーヘッド削減を目指すカーネルの仕組み（`spawn_template_create()`などを使用）。
今後の影響
この進化は、Linuxカーネルにおけるプロセス管理の効率を大幅に向上させます。もしBrauner氏の提唱するようなネイティブな`posix_spawn()`が実現すれば、アプリケーション開発者はより低コストで安定した方法で新しいプロセスのライフサイクルを管理できるようになり、システム全体のパフォーマンス改善に繋がります。