最优码运动：理论与实践

审核人：奥利维尔·路易斯·玛丽·勒卡姆

本文的背景是编译器的全局优化部分，特别是通过避免运行时不必要的计算来实现代码运动以提高计算效率的部分。代码运动必须是正确的（即程序与没有转换的程序具有相同的含义）和安全的（即不需要计算新值）。通过在程序中尽早移动代码，可以实现计算优化（即，没有进一步的代码移动可以提高效率）。然而，这可能会不必要地移动代码，并导致其他优化问题。作者开发了一种算法，通过在程序中尽可能晚地移动代码来避免此问题，从而最小化临时变量的生存期。一个5页的介绍提出了这个问题，并提到了相关的工作。一个4页的初步部分定义了重要的概念。然后，论文分为两个大小相同的主要部分（11页），第一部分介绍方法的理论，第二部分介绍实践。最后，一个6页的附录演示了一组引理，一个长长的参考书目完成了本文。这个组织特别有趣，因为这两个主要部分是独立的，也就是说，根据您的兴趣，您可以阅读其中一个部分，而忽略另一个部分。然而，不要认为实际部分比另一部分容易：它的难度不同，但水平相同。理论部分的目的是通过使用t-细化流图的概念，以逐步和形式化的方式开发该算法，来证明该算法的正确性和最佳性。实践部分的目的是为潜在的实现者提供足够的信息，使他们能够在实际编译器中包含该思想。本节不使用t精细流程图，该算法分解为四个单向数据流分析，可以使用位向量技术有效地实现，并为并行化打开机会。一个简单但有用的示例演示了算法的行为。