Loading article…
間接分岐(計算ジャンプ、間接ジャンプ、レジスタ間接ジャンプとも呼ばれる) は、一部のマシン言語命令セットに存在するプログラム制御命令の一種です。直接分岐のように次に実行する命令のアドレスを指定するのではなく、引数でアドレスの場所を指定します。たとえば、「r1レジスタで間接ジャンプ」は、次に実行する命令がレジスタ r1 のアドレスにあることを意味します。ジャンプ先のアドレスは、命令が実行されるまでわかりません。間接分岐は、メモリ位置の値に依存することもあります。
間接分岐は、条件分岐、特に多方向分岐を行う際に便利です。たとえば、プログラム入力に基づいて、データ値によって暗示されるさまざまなケースを処理するコードへのポインターのジャンプ テーブルで値を検索できます。データ値はテーブルのアドレスに追加され、結果はレジスタに格納されます。次に、そのレジスタの値に基づいて間接ジャンプを実行し、入力に適したコードにプログラム制御を効率的にディスパッチできます。
同様に、サブルーチン呼び出し命令は間接的であり、呼び出されるサブルーチンのアドレスがメモリ内で指定されます。関数ポインタは通常、間接的なサブルーチン呼び出しで実装されます。
間接分岐はSpectreの攻撃対象領域の1つでした。攻撃を軽減するために、GCC 8.1では-mindirect-branch=、、-mfunction-return=およびという新しいオプションが導入されました。-mindirect-branch-register[ 1] [nb 1]
アセンブラ構文の例
参照
注記
- ^ Linuxカーネル4.14.14/4.9.77/4.4.112で追加された機能も参照してください
RETPOLINE=y。参照: Retpoline
参考文献
- ^ Larabel, Michael (2018-01-14). 「Spectre 軽減策が GCC 8 に追加され、GCC 7 へのバックポートが検討中」。2018-01-20 時点のオリジナルよりアーカイブ。2018-01-19に取得。
- ^ 「z/Architecture - Principles of Operation」（第4版）。IBM。2004年5月[1990]。SA22-7832-03。2016年3月4日時点のオリジナルよりアーカイブ。 2018年5月26日閲覧。