リンカーとライブラリ

出力ファイルの生成

入力ファイルの処理とシンボル解決がすべて重大なエラーが発生することもなく完了すると、リンカーは出力ファイルの生成を開始します。リンカーは、出力ファイルを完成させるために生成する必要がある追加セクションを確立します。これらのセクションには、入力ファイルからのローカルシンボル定義が組み込まれたシンボルテーブルとともに、リンカーの内部シンボルテーブルから収集された大域およびウィークシンボル情報が組み込まれます。

また、実行時リンカーが必要とする、出力の再配置および動的情報セクションも組み込まれます。出力セクション情報が確立されると、出力ファイルの合計サイズが算出され、それに従って出力ファイルイメージが作成されます。

動的実行可能プログラムまたは共有オブジェクトを作成するときに、通常、2 つのシンボルテーブルが生成されます。.dynsym とその関連文字列テーブル .dynstr には、レジスタ (これらがローカルであっても)、大域シンボル、ウィークシンボル、およびセクションシンボルが組み込まれます。これらのセクションは、実行時にプロセスイメージの一部として対応付けされる (mmap(2) のマニュアルページを参照) text セグメントの一部になります。これにより、実行時リンカーは、これらのセクションを読み取り、必要な再配置を実行できます。

.symtab とその関連文字列テーブル .strtab には、入力ファイル処理から収集されたすべてのシンボルが含まれています。これらのセクションは、プロセスイメージの一部として対応付けられません。これらのセクションは、リンカーの -s オプションを使用して、または、リンク編集後に strip(1) を使用して、イメージから取り除くことさえ可能です。

予約シンボルは、シンボルテーブルの生成中に作成されます。予約シンボルは、リンクプロセスに対する特別な意味を持ち、ユーザーのコードでは定義できません。

_etext

テキストセグメントの後の最初のロケーション

_edata

初期化されたデータの最初のロケーション

_end

すべてのデータの後の最初のロケーション

_DYNAMIC

動的情報セクション (.dynamic セクション) のアドレス

_END_

_end と同じです。 このシンボルは、_START_ とともに、ローカル範囲を持ち、オブジェクトのアドレス範囲を確立する手段を提供します。

_GLOBAL_OFFSET_TABLE_

リンカーが提供するアドレステーブル (.got セクション) への位置に依存しない参照。このテーブルは、-K pic オプションを指定してコンパイルしたオブジェクトで発生する、位置に依存しないデータ参照から構築されます。位置に依存しないコードを参照してください。

_PROCEDURE_LINKAGE_TABLE_

リンカーが提供するアドレステーブル (.plt セクション) への位置に依存しない参照。このテーブルは、-K pic オプションを指定してコンパイルしたオブジェクトで発生する、位置に依存しない関数参照から構築されます。位置に依存しないコードを参照。

_START_

テキストセグメント内の最初のロケーション。このシンボルは、_END_ とともに、ローカル範囲を持ち、オブジェクトのアドレス範囲を確立する手段を提供します。

リンカーは、実行可能ファイルを生成する場合、追加シンボルを検出して実行可能ファイルのエントリポイントを定義します。シンボルがリンカーの -e オプションを使用して指定された場合、そのシンボルが使用されます。それ以外の場合は、リンカーは予約シンボル名 _startmain を検出します。これらのシンボルが存在しない場合には、テキストセグメントの最初のアドレスが使用されます。