このコードシーケンスは、「スレッド固有領域のアクセスモデル」で説明されている IE モデルを実装します。
IE モデルには 2 つのコードシーケンスが存在します。その 1 つは、GOT ポインタを使用する、位置に依存しないコード用です。もう 1 つのシーケンスは、GOT ポインタを使用しない、位置に依存するコード用です。
表 8–10 32 ビット x86: 位置に依存しない Initial Executable スレッド固有変数のアクセスコード
コードシーケンス |
初期の再配置 |
シンボル |
0x00 movl %gs:0, %eax 0x06 addl x@gotntpoff(%ebx), %eax # %eax - contains address of TLS variable |
<none> R_386_TLS_GOTIE |
x |
未処理の再配置 |
シンボル |
|
GOT[n] |
R_386_TLS_TPOFF |
x |
addl 命令は R_386_TLS_GOTIE 再配置を生成します。この再配置は、シンボル x の静的な TLS オフセットを保存する領域を GOT 内に作成するように、リンカーに指示します。このとき、GOT テーブルに対する R_386_TLS_TPOFF 再配置は、未処理の状態に置かれます。あとで、実行時リンカーがシンボル x の静的な TLS オフセットを埋め込みます。
表 8–11 32 ビット x86: 位置に依存する Initial Executable スレッド固有変数のアクセスコード
コードシーケンス |
初期の再配置 |
シンボル |
0x00 movl %gs:0, %eax 0x06 addl x@indntpoff, %eax # %eax - contains address of TLS variable |
<none> R_386_TLS_IE |
x |
未処理の再配置 |
シンボル |
|
GOT[n] |
R_386_TLS_TPOFF |
x |
addl 命令は R_386_TLS_IE 再配置を生成します。この再配置は、シンボル x の静的な TLS オフセットを保存する領域を GOT 内に作成するように、リンカーに指示します。このシーケンスと位置に依存しない形式との主な違いは、GOT ポインタレジスタのオフセットを使用せず、作成される GOT エントリに直接、命令が結合されることです。このとき、GOT に対する R_386_TLS_TPOFF 再配置は、未処理の状態に置かれます。あとで、実行時リンカーがシンボル x の静的な TLS オフセットを埋め込みます。
次の 2 つのシーケンスに示すように、メモリー参照にオフセットを直接埋め込むことによって、変数 x の (アドレスではなく) 内容を読み込むことができます。
表 8–12 32 ビット x86: 位置に依存しない Initial Executable 動的スレッド固有変数のアクセスコード
コードシーケンス |
初期の再配置 |
シンボル |
0x00 movl x@gotntpoff(%ebx), %eax 0x06 movl %gs:(%eax), %eax # %eax - contains address of TLS variable |
R_386_TLS_GOTIE <none> |
x |
未処理の再配置 |
シンボル |
|
GOT[n] |
R_386_TLS_TPOFF |
x |
表 8–13 32 ビット x86: 位置に依存しない Initial Executable スレッド固有変数のアクセスコード
コードシーケンス |
初期の再配置 |
シンボル |
0x00 movl x@indntpoff, %ecx 0x06 movl %gs:(%ecx), %eax # %eax - contains address of TLS variable |
R_386_TLS_IE <none> |
x |
未処理の再配置 |
シンボル |
|
GOT[n] |
R_386_TLS_TPOFF |
x |
最後のシーケンスで、%ecx レジスタではなく %eax レジスタを使用すると、最初の命令は 5 バイト長または 6 バイト長になる可能性があります。