基本情報技術者 2014年 春期 午前（科目A） 問18

コンパイラ最適化【午前解説】

正解の理由

解法ステップ

1. 問題文のキーワード「最適化」を確認する。
2. 各選択肢の動詞・目的（オブジェクトコード生成、中間コード生成、別アーキ、デバッグ情報）を読み分ける。
3. 最適化の定義（実行時効率を高めるコード生成）と一致する選択肢を選ぶ。
4. 他の選択肢が示す処理（中間コード生成、クロスアーキテクチャ、デバッグ出力）は最適化の説明と合致しないと除外する。

選択肢別の誤答解説

• ア: 「オブジェクトコードを生成する代わりに、インタプリタ用の中間コードを生成する。」
  → これはコンパイル手法（中間表現・バイトコード生成）やインタプリタ方式の説明であり、最適化の意味ではありません。
• イ: 「コンパイルを実施するコンピュータとは異なるアーキテクチャをもったコンピュータで動作するオブジェクトコードを生成する。」
  → これはクロスコンパイル（別アーキテクチャ向け生成）の説明で、最適化そのものではありません。
• ウ: 「ソースコードを解析して、実行時の処理効率を高めたオブジェクトコードを生成する。」
  → これが正解。最適化はまさにこの処理を指します。
• エ: 「プログラムの実行時に、呼び出されたサブプログラム名やある時点での変数の内容を表示するようなオブジェクトコードを生成する。」
  → これはデバッグ用の振る舞いを組み込む説明であり、最適化とは逆に情報を追加する処理です。

よくある誤解

• 「最適化＝デバッグ情報の出力」：デバッグ用の情報付加（呼び出し名や変数内容表示）は最適化ではなく、デバッグ用のビルド設定です。
• 「最適化＝別アーキテクチャ向けのコード生成」：別アーキテクチャ向け生成はクロスコンパイルであり、最適化の定義とは別です。
• 「最適化すると必ずコードサイズが小さくなる」：最適化は速度やメモリ、キャッシュ効率を優先することがあり、インライン展開などでサイズが増える場合があります。

補足コラム

• 定数畳み込み（constant folding）：コンパイル時に定数式を評価して式を単純化する。
• デッドコード除去（dead code elimination）：到達しないコードや結果に寄与しない計算を削除。
• インライン展開（inlining）：関数呼び出しを展開して呼び出しオーバーヘッドを削減。
• ループ最適化（ループ不変式移動、ループ展開、ループ交換など）：ループ内のコスト削減で大きな効果を得る。
• レジスタ割り当て（register allocation）：変数をレジスタに割り当てメモリアクセスを減らす。
• プロファイル駆動最適化（PGO）：実行プロファイルに基づきホットパスを重点最適化する。
• JIT最適化：実行時情報を使ってさらに最適化する方式（HotSpot等）。

// 最適化前
int sum(int n) {
    int s = 0;
    for (int i = 0; i < n; i++) {
        s += 1 + 1; // 毎回計算している
    }
    return s;
}

// 最適化後（定数畳み込み）
int sum(int n) {
    int s = 0;
    for (int i = 0; i < n; i++) {
        s += 2; // 1+1 はコンパイル時に 2 に畳み込まれる
    }
    return s;
}

FAQ