平成29年度 III-4

解説

この問題で問われていること

コンパイラの処理段階と、代表的な最適化・実行方式の説明を正しく区別する問題。

解き方

① コンパイラの基本: 共通部分式の削除=同じ式を1回だけ計算。JIT=実行時にバイトコードを機械語に。型の誤りは意味上の誤り。順序は字句解析→構文解析。のぞき穴最適化=生成した命令列の局所を見る
② ①ソースではなくバイトコード、③構文ではなく意味、④字句と構文が逆、⑤ソースではなく命令列
③ ②

正解が正しい理由

共通部分式の削除は、同じ式が2回以上現れ、その間に式の値が変化しない場合に、計算を1回だけ行い結果を再利用するようコード生成を行う最適化である。したがって②が最も適切である。

各選択肢について

• ① JITコンパイラは、Javaのバイトコードなどの中間表現を、実行時に必要に応じて機械語に変換するもので、ソースプログラムをコンパイルするものではない。
• ② 2回以上出現する同じ式の値が変化しない場合に、計算を1回だけにする最適化で、共通部分式の削除の説明として正しい。これが正答。
• ③ 整数として宣言された変数が実数として使われる誤りは、型の不一致であり、意味解析で検出される意味上の誤り(型エラー)。構文上の誤りではない。
• ④ コンパイラの処理は、ソースプログラムの読込み、字句解析、構文解析、意味解析、中間語作成、最適化、コード生成の順である。字句解析と構文解析の順序が逆で、誤り。
• ⑤ のぞき穴最適化は生成された命令列の局所部分(のぞき穴)だけを見て効率的な命令列に置き換える最適化で、「ソースプログラムの局所を見る」は不適切。

覚えるべきポイント

コンパイラの流れは、字句解析→構文解析→意味解析→中間語→最適化→コード生成。のぞき穴最適化は生成後の命令列の局所最適化、JITは実行時にバイトコードを機械語へ変換する。