10.4 全局代码调度

 

全局代码调度：提升指令级并行性的关键

全局代码调度是现代编译器中一项至关重要的优化技术，它超越了单一基本块的局部视角，通过在不同基本块间移动指令，以更好地利用处理器资源，提高程序的执行效率。本文将探讨全局调度的基本原理、挑战和策略，以及通过一个具体例子展示其如何在实际中应用。

全局调度的必要性

超越基本块的局限

在处理具有指令级并行性的机器上，仅通过优化单个基本块内的指令调度，往往会遇到资源空闲的问题。全局代码调度通过考虑跨基本块的指令移动，使得可以更加充分地利用机器资源，提高执行效率。

数据依赖与控制依赖

全局调度不仅需要考虑数据依赖性，确保程序的语义不被改变，还必须处理控制依赖，以保证所有原有程序中的指令在优化后仍然被执行，并且任何投机执行的指令不会产生副作用。

全局调度的挑战

简单的代码移动

全局代码调度的一大挑战在于如何在保持程序正确性的前提下，跨基本块移动代码。这不仅涉及对数据依赖和控制依赖的分析，还要考虑到指令移动可能带来的副作用，如存储操作的投机执行。

控制依赖的处理

控制依赖尤其复杂，因为它决定了哪些指令可能会根据程序的执行路径被执行。全局调度算法必须精确地识别并处理这些依赖，以避免错误地重排指令，导致程序行为改变。

全局调度的策略

指令的移动与优化

通过一个具体的例子，我们可以看到全局调度如何在实践中被应用。在例10.8中，通过分析基本块间的控制依赖和数据依赖，编译器成功地将指令从一个基本块移动到另一个，以并行执行原本顺序执行的操作，从而减少了执行周期。

支配关系的考虑

在决定指令移动的策略时，支配关系（dominance）和后支配关系（post-dominance）提供了重要的信息。这些关系帮助编译器确定哪些指令移动是安全的，即不会改变程序的原有语义和执行结果。

实例分析

示例10.8的全局调度

通过分析示例中的流图和基本块，我们可以看到全局调度如何应用于实际代码中。通过精心安排指令，即使在存在控制依赖的情况下，也能通过全局调度大幅提高程序的执行效率。

结论

全局代码调度是一种强大的编译器优化技术，它通过跨基本块移动指令，克服了局部调度的限制，更好地利用了处理器资源。虽然这种技术面临着数据依赖和控制依赖的挑战，但通过精确的分析和策略，可以显著提高程序的执行效率。通过实例分析，我们展示了全局调度在提高指令级并行性中的应用，证明了它在现代编译器设计中的重要性。

本文旨在为读者提供全局代码调度的深入理解，强调其在优化程序性能中的关键作用，并通过具体示例展示其实际应用。希望这能帮助读者更好地理解和利用这一技术，以编写更高效的代码。

 

 

向上的代码移动：全局调度中的精细优化

全局代码调度的目的是通过在不同的基本块之间移动代码来提高程序的执行效率。在这个过程中，向上的代码移动是一种特殊的技术，它涉及将指令从后续的执行块移动到前面的块中。这种移动的合法性和效果依赖于对控制流和数据依赖的精确分析。

代码移动的含义

移动的条件

• 数据依赖性： 首先，必须确保移动操作不会违反任何数据依赖性，即移动后的操作仍然能够访问到其所需的正确数据。
• 控制依赖性： 其次，需要分析控制依赖性，确保移动的操作在新位置上的执行逻辑是合法的，即它不会因为控制流的变化而执行不当。

移动的效果

• 执行效率的提高： 如果移动可以使得通过特定路径的运行速度加快，则这种移动是有益的。
• 补偿代码的插入： 在某些情况下，可能需要在不同的路径上插入操作的副本，以保持程序逻辑的正确性。

合法性与补偿代码

向上移动的合法性

• 当dst和src等价时，操作的移动是最理想的，因为它可以确保操作仅在必要时执行一次。
• 如果src没有后支配dst，则可能存在一条路径通过dst但不通过src，这时候移动操作可能导致在某些路径上额外执行该操作。这种移动只有在操作没有副作用时才是合法的。

补偿代码的需求

• 当dst不支配src时，存在没有通过dst而直接到达src的路径。此时，需要在这些路径上插入操作的副本作为补偿代码，以保证操作的逻辑不被破坏。
• 插入补偿代码时需要满足三个条件：操作数必须保持一致，结果不覆盖将要使用的值，且在到达src之前，该结果不会被后续操作覆盖。

优化与风险

向上的代码移动可以提高特定路径的执行效率，但也可能引入额外的复杂性和性能负担。补偿代码的插入可能会使某些路径的执行变慢，因此，这种代码移动只有在优化路径比未优化路径执行更频繁时才是有益的。

结论

向上的代码移动是全局代码调度策略中的一个高级技巧，它要求编译器设计者对程序的控制流和数据依赖有深入的理解。通过精确的分析和适当的补偿代码插入，可以实现对程序执行效率的优化，但同时也需要谨慎评估其带来的复杂性和潜在风险。这种优化技术展现了编译器优化中的精细平衡艺术，旨在在保持程序正确性的前提下，尽可能地提高执行效率。

 

 

向下的代码移动：全局调度中的挑战与策略

全局代码调度的目标之一是通过在基本块间移动代码来提升程序性能。向下的代码移动，即将操作从一个源基本块(src)移动到一个目标基本块(dst)，在某些情况下可以提高资源的利用率和减少执行时间。然而，这种移动策略带来了其特有的挑战，尤其是在处理可能有副作用的存储操作时。

向下移动的条件与挑战

控制流的影响

• 如果src不支配dst，则存在一些路径可能会绕过src直接到达dst。在这种情况下，向下移动代码可能会导致某些路径上多次执行该操作，特别是当被移动的操作具有副作用时，这种重复执行可能会导致不期望的结果。

存储操作的副作用

• 向下移动的代码经常涉及存储操作，这些操作会覆盖旧值。为了解决这个问题，可以通过在从src到dst路径上的各基本块中复制并只在dst的新副本中放置被移动操作，或者使用判定指令来限制操作的执行。

解决策略与补偿代码

判定指令的应用

• 使用判定指令是一种策略，通过它可以保护被移动操作，使其只在特定条件下执行。这要求判定条件的计算必须支配目标基本块，以确保在正确的上下文中评估这些条件。

补偿代码的插入

• 如果dst没有后支配src，就像向上移动一样，需要插入补偿代码以确保在所有不直接向dst的路径上都执行被移动操作。这种补偿代码的插入类似于局部冗余删除中的代码插入策略。

代码移动的总结

全局代码移动的决策涉及到多个因素，包括潜在的利益、成本和实现的复杂性。向上和向下的代码移动都有其适用情况和特定的挑战，但它们共同目标是提高程序的执行效率和资源利用率。

• 在一些情况下，代码移动是简单且经济的，不需要额外操作或补偿代码。
• 在其他情况下，尤其是当控制流复杂或操作有潜在副作用时，代码移动可能需要更谨慎的考虑和额外的补偿措施。

结论

向下的代码移动是全局代码调度策略中的一项高级技术，需要仔细考虑控制流和数据依赖关系，以及操作的潜在副作用。通过合理应用补偿代码和判定指令，可以在保持程序正确性的同时，实现性能优化的目标。这一节的讨论强调了全局代码调度在现代编译器设计中的复杂性和重要性，展示了如何通过细致的分析和策略选择来优化程序执行路径，提高整体性能。

 

 

更新数据相关性：全局代码调度中的关键步骤

全局代码调度通过在基本块之间移动代码来提高程序的执行效率。然而，这种移动可能会改变操作之间的数据相关性，从而影响程序的执行结果。因此，每次代码移动后，必须更新数据相关性，以确保程序的正确性不受影响。

代码移动与数据相关性

数据相关性的定义

数据相关性描述了程序中操作之间的依赖关系，其中一个操作的输出成为另一个操作的输入。在全局代码调度中，正确处理数据相关性是保证程序语义不变的关键。

代码移动的影响

通过例10.9，我们看到如何通过代码移动改变数据相关性。在这个例子中，两个对变量x的赋值操作中的一个被移动到了一个更高的基本块中。这种移动虽然保持了原有的相关性，但也导致了x在最上面块的出口变成了活跃状态，改变了x的活跃性质。

活跃变量与代码移动

活跃变量的概念

一个变量如果在某个程序点之后会被读取，那么它在该程序点是活跃的。代码移动可以改变变量的活跃状态，从而影响程序的行为。

投机定值与活跃性

在考虑代码移动时，尤其是投机定值操作时，必须确保不会将对一个变量的赋值移动到这个变量成为活跃的程序点之上。这样的移动可能会破坏程序的正确性，因为它可能会覆盖该变量后续所需的值。

更新数据相关性的重要性

每次代码移动后，都必须重新计算数据相关性，以确保所有的依赖关系都得到了正确的处理。这包括更新变量的定义和使用点，以及调整活跃变量信息。这种更新是全局代码调度成功的关键，因为它保证了程序语义的一致性和操作的正确执行顺序。

结论

全局代码调度中的代码移动是一种强大的优化技术，可以显著提高程序的执行效率。然而，这种移动必须谨慎进行，以避免破坏程序的数据相关性。通过在每次代码移动后更新数据相关性，编译器可以确保程序的正确性和性能得到优化。这一节强调了全局代码调度不仅是关于代码移动的策略，更是关于维护和更新数据相关性的细致工作，这对于保持程序正确性和实现高效执行至关重要。

 

 

全局调度的挑战与策略

全局代码调度是优化编译器的一个重要方面，涉及到在基本块间移动代码以提升执行效率。这一过程中，编译器面临的挑战是平衡不同路径上的性能，特别是考虑到程序大部分的执行时间通常集中在小部分代码上。

代码移动的利与弊

全局调度的一个关键考量是识别和优化那些执行频率较高的路径。在此过程中，一些经常执行的路径可能会因为代码移动而得到加速，而那些较少执行的路径可能会受到一定程度的影响。

执行频率的估计

静态与动态估计

编译器采用多种技术来估计代码的执行频率，包括基于代码结构的静态分析和基于实际运行数据的动态剖析。静态分析可能包括假设循环内的代码比循环外的代码执行得更频繁，而动态剖析则通过插桩和运行时数据收集提供更准确的信息。

动态剖析的作用

动态剖析是一种强大的工具，能够提供关于程序行为的详细信息，帮助编译器作出更为精确的优化决策。这种方法依赖于程序在具有代表性输入下的实际执行数据，从而指导编译器进行代码优化。

循环展开与全局调度

循环展开的概念

循环展开是一种简单但非常有效的优化技术，通过增加循环体内的指令数量，减少循环迭代的次数。这样做不仅可以减少循环控制开销，还可以为全局调度算法提供更多的并行性发现机会。

循环展开的示例

通过将for循环展开几次迭代，编译器可以打破循环迭代之间的边界，使得原本分散在不同迭代中的操作有机会并行执行，从而提高整体的执行效率。

结论

全局代码调度是编译器优化中的一个复杂领域，涉及到对代码移动的精细控制、执行频率的准确估计以及高级技术如循环展开的应用。通过综合考虑这些因素，编译器可以对程序进行有效的优化，提升那些关键路径的执行速度，即便这可能导致其他路径的性能略有下降。这一节的讨论揭示了编译器设计中的权衡和挑战，以及如何通过精确的分析和策略选择来实现程序性能的最大化。