Control Dependence

释义 Definition

控制依赖：在程序分析/编译器中指一种关系——某条语句（或基本块）是否会被执行，取决于某个分支条件（如 if/else、switch、循环条件）的结果。它常用于构建程序依赖图（PDG）、进行优化与安全分析。（在不同语境下也可能与“控制流依赖”相关联。）

发音 Pronunciation

/ kənˈtroʊl dɪˈpɛndəns /

例句 Examples

Control dependence helps the compiler understand which code runs after an if statement.
控制依赖帮助编译器理解在 if 语句之后哪些代码会被执行。

In a program dependence graph, statements inside a loop body are typically control-dependent on the loop’s condition, which affects slicing and optimization decisions.
在程序依赖图中，循环体内的语句通常对循环条件存在控制依赖，这会影响程序切片与优化决策。

词源 Etymology

该术语由 control（控制/控制流） 与 dependence（依赖关系） 组合而来：强调“执行路径由控制条件决定”的依赖关系。它在编译器理论中与数据流分析一同发展，用于更精确地刻画程序结构与影响范围。

相关词 Related Words

• Control Flow
• Data Dependence
• Program Dependence Graph
• Control Flow Graph
• Basic Block
• Dominator
• Postdominator
• Program Slicing

文献与作品 Literary Works

• “The Program Dependence Graph and Its Use in Optimization”（Ferrante, Ottenstein, Warren, 1987）——系统提出并使用控制依赖来构建 PDG。
• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）——在编译器分析/优化相关章节中讨论依赖与控制流概念。
• Engineering a Compiler（Cooper & Torczon）——在中间表示、控制流与优化章节中涉及控制依赖/相关分析方法。