依存性分析

コンパイラ理論において、依存関係解析は文／命令間の実行順序制約を生成します。大まかに言えば、文S2は、 S1がS2より先に実行されなければならない場合にS1に依存します。依存関係には、制御依存関係とデータ依存関係の2種類があります。

依存関係分析は、ステートメントの順序を変更したり並列化したりすることが安全かどうかを判断する。

制御依存性とは、プログラムの命令が、前の命令が実行可能な形で評価された場合にのみ実行される状況のことである。

ステートメントS2はS1の制御に依存しています（記述）${\displaystyle S1\ \delta ^{c}\ S2}$S2 の実行がS1によって条件付きで保護されている場合に限り、 S2はS1に制御依存している。${\displaystyle S1\in PDF(S2)}$どこ${\displaystyle PDF(S)}$声明のポスト優位フロンティア${\displaystyle S}$以下に、そのような制御依存関係の例を示します。

S1 x > 2 の場合、L1 へ移動 S2 y := 3 S3 L1: z := y + 1

ここでは、S1の述語が偽の場合にのみS2が実行されます。

データ依存性は、同じリソースにアクセスまたは変更する2つのステートメントから生じます。

S1 x := 10 S2 y := x + c

S1 x := y + c S2 y := 10

S1 x := 10 S2 x := 20

S1 y := x + 3 S2 z := x + 5

ループ内の依存関係を計算するという、重要かつ複雑な問題は、ここで提示する依存関係のフレームワークを拡張したループ依存性分析によって解決されます。

• プログラム解析（コンピュータサイエンス）
• 自動並列化
• 自動ベクトル化
• ループ依存性解析
• 多面体モデルをサポートするフレームワーク
• ハザード（コンピュータアーキテクチャ）
• プログラムスライシング
• デッドコードの削除

• クーパー、キース・D.、トルツォン、リンダ。（2005）。コンパイラのエンジニアリング。モーガン・カウフマン。ISBN 1-55860-698-X。
• ケネディ、ケン；アレン、ランディ。（2001）。現代アーキテクチャ向けコンパイラの最適化：依存性に基づくアプローチ。モーガン・カウフマン。ISBN 1-55860-286-0。
• ムチニック、スティーブン・S. (1997).高度なコンパイラ設計と実装. モーガン・カウフマン. ISBN 1-55860-320-4。