注目★★★★★Lobsters
Linux kernel 7.2のJump Labelsを安全に書き換える仕組み
30秒で把握
- 1Linux kernel 7.2のJump Labelsが条件分岐の実行コストを削減
- 2NOPとJMPを実行時に置換し、無効時のフラグ読み込みを排除
- 3INT3とCPU同期でSMP上の命令書き換えを安全化
要約
このチュートリアルは、Linux kernel 7.2のx86_64を題材に、Jump Labels（低レベルの命令書き換え機構）とStatic Keys（利用者向けAPI）の仕組みを解説する。条件分岐のフラグ読み込みを、実行時にNOPまたはJMPへ置き換え、無効時の処理を実質的に空にする。稼働中のSMPカーネルでは命令を多バイトで直接上書きできないため、INT3の設置、残りのバイトの書き換え、先頭バイトの置換をCPU間同期付きで実行する。読み取り専用の.textは変更せず、text_poke_mmによる一時的な書き込み可能エイリアスを使って安全にパッチする。
あなたへの影響
カーネル開発者はJump Labelsを導入する際、命令パッチングとSMP同期、text_poke()の実装をkernel 7.2のコードで確認するとよい。
推奨：Static KeyはAPI、Jump Labelはその下位の書き換え機構を指す。