9.1 优化的主要种类

第九章 独立于机器的优化

在软件开发的世界里，编写高效的代码是每个程序员追求的目标。然而，如果仅仅依靠人工来优化代码，不仅效率低下，而且容易出错。幸运的是，现代编译器提供了一系列的优化技术，可以在不改变程序语义的前提下自动提升代码的运行效率。这一章将深入探讨独立于机器的优化技术，这类优化技术不依赖于特定的硬件架构，因此它们在多种平台上都是适用的。

9.1 优化的主要种类

编译器优化的首要原则是保证优化后的程序与原程序在功能上完全相同，即保证程序的语义不变。在大多数情况下，编译器无法理解程序员所采用的算法到足以用另一个算法替换它的程度。因此，编译器的优化通常聚焦于较低级别的语义变换，如利用代数恒等式（比如i + 0 = i）或识别相同的运算对相同的值会产生相同的结果等常识。

9.1.1 优化的主要源头

在许多典型程序中，都存在着大量的冗余运算。有时这些冗余在源代码级别就已经很明显，例如，程序员为了编程的方便可能会重复进行某些计算，然后期望编译器能够识别并优化这些计算，使之仅执行一次。更常见的情况是，这些冗余是使用高级语言编程时的副产品。在大部分编程语言中，程序员没有比通过数组索引或结构体字段访问更有效的方式来引用数据元素。随着程序被编译，这些对高级数据结构的访问会被展开为多步骤的低级算术运算。经常地，对同一数据结构的多次访问会共享很多公共的低级运算。由于程序员通常无法直接操作这些低级运算，他们也就无法手动去除这些冗余。实际上，从软件工程的角度来看，更倾向于让程序员使用源代码中的名称来访问数据元素，而不是使用低级操作。这样做的程序不仅更容易编写，更重要的是更容易理解和维护。将冗余的移除工作交给编译器，可以达到既保持程序高效，又易于维护的双赢局面。

随后的小节将详细介绍如何通过全局代码优化来进一步提升程序性能。我们将探讨不同的数据流分析技术，这些技术能够全局地收集关键信息并用于代码改进变换。通过理解这些优化技术的理论基础和实际应用，开发者和编译器设计者可以更有效地提升软件的性能，同时保持代码的可读性和可维护性。

 

独立于机器的代码优化：提升软件性能的艺术

在现代软件开发中，编译器的角色已经超越了将高级语言简单翻译成机器代码的传统任务，它还包括通过各种优化技术自动提升程序执行效率的重要功能。独立于机器的代码优化是这些技术中的一大类，不依赖于特定的硬件架构，因此它们在多种平台上都是适用的。本文将探讨这些优化技术的应用和原理，并通过快速排序算法为例，展示如何通过编译器优化实现性能提升。

优化技术概览

编译器优化的目标是在不改变程序原有语义的前提下，通过减少计算量和提高执行效率来优化代码。关键的优化技术包括：

• 公共子表达式删除：识别并删除程序中重复计算的表达式，减少不必要的计算开销。
• 复写传播：减少不必要的变量使用和赋值语句，通过用变量的值直接替换代码中后续出现的该变量的实例。
• 死代码删除：移除永远不会被执行到的代码段或其结果不会被程序的其他部分所使用的代码。
• 强度削弱：将高开销操作（如乘法）转换为低开销操作（如加法）以减少执行成本。
• 归纳变量优化：在循环中减少或消除对归纳变量的更新次数，提升循环的执行效率。

快速排序优化实例

快速排序算法提供了一个展示编译器优化技术应用的绝佳示例。通过分析快速排序的代码及其中间代码表示，我们可以看到多个优化机会，从而实现性能提升。

优化实施

• 公共子表达式和复写传播：在快速排序的迭代中，减少数组索引的重复计算，节省执行时间和计算资源。
• 死代码和强度削弱：识别并删除不再需要的代码段，以及将复杂操作替换为更简单的操作，提高算法效率。
• 归纳变量优化：通过优化循环控制变量，加快循环执行速度。

结论

独立于机器的代码优化对于提高软件性能至关重要。编译器通过应用这些技术生成更高效的代码，而开发者也能通过理解这些原理来编写更优化的程序。正如快速排序示例所示，优化是提升程序执行效率的关键，同时保持代码的可读性和可维护性，突显了优化技术在软件开发中的重要价值。

 

 

深入理解公共子表达式删除：编译器优化的魔法

在软件开发的世界里，性能优化是一个永恒的主题。每一行代码，不管写得多么巧妙，都有可能成为性能瓶颈。幸运的是，现代编译器通过一系列复杂的优化技术，如公共子表达式删除（CSE），帮助开发者挖掘代码潜在的性能提升空间。本文将探讨公共子表达式删除这一编译器优化技术，解释它是如何工作的，以及为什么它对提升程序性能如此关键。

公共子表达式删除的原理

公共子表达式删除是一种减少重复计算的优化技术。简而言之，如果一个表达式之前已经计算过，并且自那以后其变量的值没有改变，那么该表达式的再次计算就可以被之前的计算结果所替代。这听起来很简单，但实际上，它涉及到对程序的深入分析，包括数据流分析和控制流分析。

局部与全局优化

公共子表达式的删除可以在两个层面上进行：局部和全局。局部优化关注于单个基本块内的公共子表达式，而全局优化则跨越多个基本块，考虑整个程序的控制流。全局优化更为复杂，但它提供了更大的性能提升潜力。

示例解析

以快速排序算法为例，编译器如何识别和删除公共子表达式呢？在排序算法的某个关键部分，可能会重复计算诸如4*i和4*j这样的表达式。通过只计算一次并重用这些结果，编译器能够显著减少不必要的计算量，提高程序的执行效率。

优化的挑战

尽管公共子表达式删除听起来像是一项万能的优化技术，但实际上它的成功实施面临着几个挑战。首先，编译器必须确保优化不会改变程序的原始语义。这意味着需要准确地分析变量在程序执行过程中的值是否发生了变化。其次，全局优化需要复杂的数据流和控制流分析，这在编译时增加了计算成本。然而，鉴于它为运行时性能带来的潜在提升，这通常是值得的。

结论：编译器优化的艺术与科学

公共子表达式删除只是编译器优化技术中的冰山一角，但它充分展示了编译器如何通过精细的分析和智能的决策来提升程序的执行效率。这种优化不仅减少了CPU的计算负担，也为更节能的程序运行提供了可能。正如我们所见，编译器优化是一门结合艺术和科学的学问，它要求编译器设计者不仅具备深厚的理论知识，还需要丰富的实践经验。

对于软件开发者来说，了解这些优化技术及其背后的原理，可以帮助他们更好地理解编译器的行为，并编写出更加高效的代码。虽然大部分优化工作由编译器自动完成，但是编程时考虑到这些因素可以减少编译器的负担，尤其是在性能关键的应用中。最终，公共子表达式删除和其他编译器优化技术，共同确保了我们的软件在现代复杂的硬件上能够以最佳状态运行。

 

 

9.1.4 复写传播：优化代码的精妙之举

在探索编译器优化技术的旅程中，我们已经见识了如何通过删除公共子表达式来提升代码效率。但优化的艺术远不止于此。紧接着，我们将深入了解另一种强大的技术——复写传播（Copy Propagation），这是一种通过简化赋值语句来进一步优化代码的技术。

复写传播的工作原理

复写传播涉及的是形如f=g的赋值语句，这类赋值称为复写语句。复写传播的核心思想是在复写语句之后，尽可能地用右侧的变量（g）来代替左侧的变量（f）。这种简单而有效的变换，能够清理冗余的赋值，让代码更加简洁高效。

复写传播带来的优化机会

通过复写传播，我们不仅能够删除那些无用的复写，而且还能够发现新的公共子表达式删除机会。这是因为，替换变量后，可能会出现新的、之前未识别的公共子表达式。此外，复写传播还可能引入其他优化机会，比如常量合并——如果能在编译时判定表达式的所有操作数都是常量，那么就可以直接计算出结果，用这个结果替换原来的表达式。

示例解析：增强代码优化

以图9.5中的例子为例，通过应用复写传播，我们可以进一步简化代码。原本的复写赋值x=t?通过传播后，可以直接使用t?的值代替x，从而减少了对x的依赖。虽然这个变化看起来微不足道，但它为后续的死代码删除等优化技术打开了大门。

面临的挑战

尽管复写传播带来了优化的机会，但它也带来了新的挑战。例如，当通过删除公共子表达式引入新的复写时，必须谨慎处理这些复写，以确保它们不会引入错误。在图9.6的情况下，删除公共子表达式c=d+e后，必须引入新的变量t来保存d+e的值，以避免在不同的控制流路径中导致逻辑错误。

结论：复写传播的价值

复写传播是编译器优化技术中的一颗宝石，它通过优化赋值语句，不仅直接提高了代码的运行效率，还间接地为其他优化技术如公共子表达式删除和常量合并打开了大门。这种优化技术展示了编译器在提高软件性能方面的智能和精确性，同时也提示了编程者在写代码时要注意赋值的使用，以便充分利用编译器的优化能力。

正如我们所见，复写传播和其他编译器优化技术共同确保了我们的软件能够在现代复杂的硬件上以最佳状态运行。通过了解这些优化技术，开发者不仅能够编写出更高效的代码，还能够更好地理解编译器的行为，从而在性能关键的应用中作出更加明智的决策。

 

 

9.1.5 死代码删除：编译器如何清理无用代码

在编写和优化代码的过程中，我们经常会遇到一个不那么引人注目但极其重要的优化技术——死代码删除。这种技术对于提升程序的执行效率和减少资源消耗至关重要。本文将探讨死代码删除的概念、它的工作原理以及它在现代编译器优化中的角色。

死代码删除的定义

死代码，或称为无用代码，指的是那些在程序执行过程中其结果绝不会被引用的语句。换句话说，这部分代码对程序的最终输出没有任何影响，因此可以安全地从程序中删除，而不会改变程序的语义。在某些程序点上，如果一个变量之后不再被引用，那么我们说这个变量在该点已经“死亡”。

为何会产生死代码

虽然程序员一般不会故意编写死代码，但是在进行代码转换和优化的过程中，如公共子表达式删除、复写传播等，很可能会无意中引入死代码。例如，复写传播优化后，一些复写语句可能不再被需要，从而变成死代码。

死代码的识别与删除

现代编译器通过分析程序的控制流和数据流来识别死代码。一旦确定某段代码是无用的，编译器就会将其删除，这样不仅可以简化程序，还能提升运行时的性能。例如，通过复写传播后，一些原本用于赋值的变量如果后续没有被引用，那么这些赋值语句就可以被视为死代码并被删除。

死代码删除的实际应用

死代码删除不仅在编译器内部优化过程中发挥作用，程序员有时也会利用这一技术来方便自己的调试工作。举个常见的例子，程序员可能会在代码中加入条件打印语句用于调试。调试完成后，而不是手动移除这些打印语句，程序员可能会通过将控制这些语句执行的条件变量设置为FALSE，使得这些打印语句成为死代码。这样，编译器在优化过程中就会自动删除这些语句，从而避免了手动清理的麻烦。

结论

死代码删除是编译器优化技术中的一项基本而强大的工具。它通过移除那些对程序结果无影响的代码，不仅减少了程序的体积，还有助于提升执行效率和节省资源。这一技术的智能应用展示了编译器在代码优化方面的高度复杂性和精细性，同时也提醒程序员在编写和调试代码时可以巧妙利用这一特性来简化自己的工作。死代码删除的存在证明了，在软件开发的艺术中，有时候“少即是多”。

 

9.1.6 代码外提：优化循环，提升性能

在软件开发过程中，循环优化是提升程序性能的关键领域，尤其是那些消耗大部分运行时间的内循环。本文将探讨一种名为“代码外提”的优化技术，这种技术通过减少循环中的计算量来加快程序的执行速度。

代码外提的基本概念

代码外提是一种将循环中不变的计算移出循环的优化方法。所谓“循环不变计算”，指的是那些在循环执行过程中其结果不会改变的计算。通过将这些计算移到循环之外，只执行一次，而不是在每次循环迭代中都执行，从而可以显著减少程序的总执行时间。

优化示例

考虑以下循环：

cCopy code

while(i <= limit - 2) { // 不改变limit的语句 }

在这个例子中，表达式limit - 2是一个循环不变计算，因为它的结果在整个循环过程中保持不变。应用代码外提技术，我们可以将这个计算移出循环，优化后的代码如下：

cCopy code

t = limit - 2; while(i <= t) { // 不改变limit的语句 }

通过这种方式，limit - 2只被计算一次，而不是在每次循环迭代中重复计算。

为什么代码外提很重要

• 提升性能：减少循环中的计算量可以直接减少程序的运行时间，尤其是对于那些执行次数非常多的内循环。
• 节省资源：减少不必要的计算不仅可以加快执行速度，还能节省计算资源，对于资源受限的环境尤为重要。
• 代码简化：通过将不变计算移出循环，还可以使循环体更加简洁，提高代码的可读性和可维护性。

实施代码外提的注意事项

虽然代码外提是一种有效的优化手段，但在实施时也需要注意：

• 确保移出循环的计算确实是不变的。如果循环外的计算依赖于循环中会变化的值，则不能将其视为循环不变计算。
• 考虑循环外提后对程序其他部分的影响。在某些情况下，这种优化可能会对程序的其他逻辑造成影响。

结论

代码外提是编译器优化技术中的一项重要技术，它通过减少循环中的计算量来提升程序的执行效率。通过理解和应用这一技术，开发者不仅可以编写出性能更高的代码，还能提高代码的整体质量。正如我们所见，优化是一个既需要深入分析也需要精细操作的过程，而代码外提正是这一过程中的关键步骤之一。

9.1.7 强度削弱和归纳变量删除：提升循环效率的策略

在软件性能优化的众多技术中，循环优化占据着重要的地位。循环，尤其是内循环，往往是程序中最耗时的部分。本文将探讨两种关键的循环优化技术：强度削弱和归纳变量删除，它们通过减少循环中的计算量和简化循环变量，有效提升程序的执行效率。

强度削弱：简化计算

强度削弱是一种优化技术，旨在用较低成本的操作替换更昂贵的操作。例如，乘法操作通常比加法操作要耗时更多。如果循环中的计算可以通过加法来代替乘法，那么这种替换就可以显著提高循环的执行速度。

归纳变量与强度削弱

归纳变量是循环中按照一定步长（正或负的常量）变化的变量。通过识别循环中的归纳变量，并应用强度削弱，可以将这些变量的复杂计算（如乘法）转换为简单计算（如加法）。这不仅减少了每次循环迭代的计算量，还有助于进一步的优化，如归纳变量删除。

归纳变量删除：减少变量数量

在循环中，如果多个归纳变量以相同的步长变化，可能只需保留一个变量，而将其他变量删除。这种做法简化了循环的结构，减少了需要维护的变量数量，进而降低了程序的复杂度和执行时间。

应用示例

以快速排序算法中的循环为例，归纳变量j和与之相关的计算4*j可以被识别为步长一致变化的变量。通过强度削弱，4*j的计算可以被简化为每次循环减去4，而非乘以4。这种变换简化了计算，并为删除其他归纳变量提供了可能。

优化效果

在对快速排序程序的循环应用强度削弱和归纳变量删除后，指令数量显著减少。例如，一些原本包含多条指令的循环块，其指令数可以从多条减少到3条。尽管某些外层循环的指令数可能会增加，但由于内层循环的执行次数远多于外层循环，总体上程序的执行时间得到了有效缩短。

结论

强度削弱和归纳变量删除是优化循环，特别是内循环的有效方法。通过简化计算和减少循环中的变量数量，这些技术不仅提高了程序的执行效率，还改善了代码的可读性和可维护性。在软件开发的过程中，合理应用这些优化技术可以显著提升性能，特别是在处理计算密集型任务时。正如快速排序算法的例子所展示的，通过精心设计的优化，可以实现显著的性能提升，使得程序运行更为高效。