Partial Redundancy Elimination

释义 Definition

（计算机编译原理）部分冗余消除：一种编译器优化技术，用于消除“在某些控制流路径上已重复、但在另一些路径上未重复”的表达式计算，从而减少不必要的重复运算、提高程序执行效率。（常见缩写：PRE）

发音 Pronunciation (IPA)

/ˈpɑːrʃəl rɪˈdʌndənsi ɪˌlɪməˈneɪʃən/

例句 Examples

The compiler applies partial redundancy elimination to speed up the code.
编译器使用部分冗余消除来加速代码。

By using partial redundancy elimination, the optimizer can move computations to earlier points in the control-flow graph so that repeated expressions are computed once without changing the program’s meaning.
通过部分冗余消除，优化器可以把计算移动到控制流图中更早的位置，使重复表达式只计算一次，同时不改变程序语义。

词源 Etymology

该术语由三部分构成：partial（部分的）+ redundancy（冗余、重复）+ elimination（消除）。它描述的核心思想是：并非在所有路径上都冗余的计算（“部分冗余”），也可以通过适当的代码移动与合并被“消除”。这一概念在编译优化研究中与数据流分析、控制流图（CFG）等方法密切相关。

相关词 Related Words

• Optimization
• Compiler
• Redundancy
• Common Subexpression Elimination
• Data-Flow Analysis
• Control-Flow Graph
• Loop-Invariant Code Motion
• Static Single Assignment

文献与著作 Literary Works

• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）——编译优化相关章节常提及冗余消除与相近思想。
• Engineering a Compiler（Cooper & Torczon）——讨论数据流框架下的代码改进与冗余处理。
• Modern Compiler Implementation 系列（Andrew W. Appel）——在优化章节中涉及与PRE相关的表达式移动/消除思想。
• Morel & Renvoise (1979), “Global Optimization by Suppression of Partial Redundancies”——提出并系统化该方向的经典论文之一。
• Knoop, Rüthing, Steffen (1992), “Lazy Code Motion”——与PRE密切相关的经典工作（常被视为PRE思想的重要发展）。