基本情報技術者 2012年 秋期 午前（科目A） 問20

プログラムを構成するモジュールの結合を、プログラムの実行時に行う方式はどれか。【午前2 解説】

要点まとめ

• 結論：モジュールの結合をプログラムの「実行時」に行う方式は動的リンキングであり、正解はエです。共有ライブラリを使って実行時にシンボルを解決します。
• 根拠：動的リンキングは実行時にロード済みの共有ライブラリや dlopen 等でライブラリを読み込み、アドレス解決や結合を行うため実行時結合の定義に合致します。
• 差がつくポイント：静的リンキングはリンク時に結合、オーバレイはメモリ管理の手法、インタプリタは実行方式であり結合（リンク）とは性質が異なります。

正解の理由

よくある誤解

• インタプリタ = 実行時に結合する、は誤り：インタプリタはソースやバイトコードを逐次実行する方式であり、モジュールのリンキング（シンボル解決）を指すものではありません。
• オーバレイと動的リンキングを混同する：オーバレイは限られたメモリでコード領域を差し替える手法であって、シンボルの結合（リンク）そのものを指しません。
• 動的リンキングは常に遅い、は短絡的：ロード時や初回解決でオーバーヘッドはあるものの共有メモリや更新容易性などの利点があり、一概に劣るとは言えません。

解法ステップ

1. 問題文で「実行時に行う」とある語句に着目する。
2. 各選択肢の定義を思い出す（インタプリタ、オーバレイ、静的リンキング、動的リンキング）。
3. 「リンク＝シンボル結合」を行うのは静的リンキング（リンク時）か動的リンキング（実行時）かを比較する。
4. 実行時に結合する定義に一致する動的リンキングを選ぶ。

選択肢別の誤答解説

• ア: インタプリタ
  誤り。インタプリタはソースやバイトコードを逐次実行する方式であり、モジュールの「リンク（結合）」を指す言葉ではありません。ランタイムで動的に処理は行うが、設問の意味するリンキングとは異なります。
• イ: オーバレイ
  誤り。オーバレイは限られた主記憶を有効利用するためにプログラムのある領域を差し替えて実行する手法であり、モジュール同士のシンボル解決や結合（リンキング）を行う方式ではありません。
• ウ: 静的リンキング
  誤り。静的リンキングはリンク時（ビルド時）にオブジェクトファイルを結合して単一の実行ファイルを作る方式で、実行時に結合する方式ではありません。
• エ: 動的リンキング
  正解。動的リンキングは実行時に共有ライブラリをロードし、シンボルを解決して結合する方式で、設問の条件「プログラムの実行時に行う方式」に該当します。

補足コラム

# 動的リンクでライブラリをリンク（コンパイルはデフォルトで動的）
gcc main.c -o main -lmylib

# 動的にライブラリを開く（C）
void *h = dlopen("libmylib.so", RTLD_LAZY);
void (*f)() = dlsym(h, "func_name");

FAQ