CN1922574A

CN1922574A - 无需额外的代码分析来进行链接时代码优化的方法和系统

Info

Publication number: CN1922574A
Application number: CNA2005800051799A
Authority: CN
Inventors: 马库斯·梅茨格; 凯姆·拉吉; 奥恩德·卡派特; 罗伯特·威斯纳
Original assignee: Intel Corp
Current assignee: Intel Corp
Priority date: 2004-02-20
Filing date: 2005-02-02
Publication date: 2007-02-28
Anticipated expiration: 2025-02-02
Also published as: US7418699B2; WO2005083565A2; WO2005083565A3; US20050188362A1; EP1728155B1; EP1728155A2; CN100481007C

Abstract

描述了用于进行代码优化的系统，所述系统包括编译器内的优化分析器，所述优化分析器为已编译代码产生第一优化转换和第二优化转换以及它们的满足条件。在链接器内放置优化转换模块，以确定当已编译代码和其他已编译代码链接时，应该选择第一和第二优化转换中的哪一个，以及在链接时执行第一和第二优化转换中被选择的那一个。还描述了进行代码优化的方法。

Description

无需额外的代码分析来进行链接时代码优化的方法和系统

技术领域

本发明的实施方案涉及软件程序的编译和执行。更具体地，本发明的实施方案涉及在链接时(link-time)无需对程序代码的额外的代码分析来进行链接时代码优化的方法和系统。

背景

已经开发了面向对象编程语言(OOPL)来改善开发软件程序的生产能力。典型地，OOPL包括Java(由Sun微系统公司开发)和符合CLI(公共语言架构)(由Microsoft公司开发)的其他编程语言。采用OOPL，程序开发者可以创建被称为“对象”的小的可重用程序代码段(section)。所述对象一旦被创建，可以被快速简易地组合和重用以创建新的程序。

典型地，对以这样的语言编写的软件程序的编译涉及使处于源代码格式的软件程序的对象中的每一个被编译器单独地编译成处理器可执行的本机(native)或机器代码文件(即已编译对象文件)。随后已编译对象文件被链接器处理，所述链接器组合已编译对象文件以产生完整的可执行程序。随后，所述可执行程序适于在计算机系统上执行。

为了改善可执行程序的性能，在编译期间需要优化程序。优化可执行程序的一种现有解决方案是使编译器中的每一个对它编译的对象文件进行优化转换。已知的由编译器进行的优化操作典型地包括基址绑定(base binding)、函数克隆和部分求值(partial evaluation)。

然而，上面描述的现有解决方案的一个问题是在编译期间编译器不能具有整个程序的知识(即缺乏“全程序视角(whole program view)”)，因为程序包括被分开编译的对象文件。这表示在编译时的许多优化转换(optimizing transformation)操作取决于只在程序的链接时可获得的信息。因此，即使编译器能够基于特定的信息块来进行优化转换操作，如果优化操作所需的信息在该时刻不可获得，那么编译器可能不能进行这样的操作。在另一方面，链接器并非足够强大到可以进行任何优化转换操作，所述优化转换操作典型地需要程序代码的大量分析和目标指令集结构的大量知识。在链接期间，链接器不需要代码分析和目标指令结构的知识。

对上面描述的问题的一个现有的解决方案是采用在链接时优化整个可执行程序的链接时优化器。然而，典型地，现有的链接时优化器是重量级的工具，它通常使得链接时优化比编译时优化昂贵得多。此外，为了优化转换，链接时优化器需要执行它自身的代码分析(即不能够利用编译器进行的代码分析)。

因此，存在着对无需额外的代码分析来进行链接时代码优化的方法和系统的需求。

附图简要说明

本发明的实施方案的特征和优点是以实施例的方式来示出的，并且不想把本发明的实施方案的范围限制在被示出的特定实施方案。

图1示出包括实现本发明的一个实施方案的优化分析器和优化转换模块的编译环境。

图2是一般地示出图1的优化分析器所进行的优化分析过程的流程图。

图3是一般地示出图1的优化转换模块所进行的优化转换过程的流程图。

图4是示出图1的优化分析器所进行的具体的基址绑定优化分析过程的流程图。

图5是示出图1的优化分析器所进行的具体的函数克隆优化分析过程的流程图。

图6是示出图1的优化转换模块所进行的对地址基址绑定和函数克隆的优化转换过程的流程图。

详细说明

图1根据本发明的一个实施方案，示出包括优化分析器20和优化转换模块22的编译环境10，所述优化分析器20和优化转换模块22对已编译代码文件13进行链接时代码优化而无需额外的代码分析。换句话说，优化分析器20和优化转换模块22允许已编译代码文件13接收在已编译代码文件13的编译时(compile-time)期间被指定的链接时优化转换。

如下面将更详细描述的，并且根据本发明的一个实施方案，优化分析器20在编译环境10的编译器12内。优化转换模块22在编译环境10的链接器15内。在编译时，由于信息的不可获得性，所述信息仅在链接时已编译代码文件13与其他已编译代码文件19被链接成可执行程序16时可获得，编译器12在编译时不能进行为已编译代码文件13指定的每个代码优化。因此，优化分析器20产生优化指示(directive)21，所述优化指示21为编译器12不能进行的每个优化指定至少第一优化转换和第二优化转换以及它们的满足条件。该信息可以被称为全程序视角数据或全局数据。

随后，优化指示21被发送到优化转换模块22。当链接器15将已编译代码文件13与其他已编译代码文件19链接时，优化转换模块22针对在链接时可获得的全程序视角数据检查条件，以确定应该选择第一和第二优化转换中的哪一个。随后优化转换模块22在链接时为可执行程序16执行第一和第二优化转换中被选择的一个。下面将仍然结合图1到6更详细地描述优化分析器20、优化转换模块22以及它们的功能。

如从图1可以看到的，编译环境10用于将包含多个对象或模块(包括源代码文件11)的软件程序转变成可执行程序16。这表示源代码文件11是要被编译的软件程序的多个对象或模块中的一个。所述对象或模块中的每一个由某个用户以某种已知的高级编程语言编写。所述对象或模块中的每一个(包括源代码文件11)可以被称为程序文件(或代码文件)。在一个实施方案中，所采用的编程语言是C++编程语言。在另一个实施方案中，编程语言是JAVA(由Sun微系统公司开发)。

编译环境10的编译器12被用来将源代码文件11编译成已编译代码文件13。编译器12还可以被用来将软件程序的其他代码文件编译成其他已编译代码文件19。然而，编译器12一次编译一个代码文件。编译环境10的链接器15用于将已编译代码文件13与其他已编译代码文件19链接，以产生可执行程序16。为了组合已编译对象文件13和19以产生可执行程序16，链接器15进行多个操作(例如，段分配、数据分配、符号处理和重定位)。例如，链接器15将符号绑定到地址上并且进行重定位操作。重定位操作本质上是用给定符号的地址修补(patch)存储器字(memory word)的操作。编译器12确定在已编译代码文件13的某个地方需要何种类型的重定位操作，而链接器15执行实际的修补操作。

已编译代码文件13和19可以是本机代码，当所述本机代码被链接在一起形成可执行程序16时，它可以直接在数据处理系统或计算机系统上被执行。术语本机代码指这样的机器代码，即对具体体系结构或平台来说是特定的机器代码。可替换地，已编译代码文件13和19(并且因此可执行程序16)还可以是中间语言代码(例如，Java字节代码)，所述中间代码可以随后被解释，或者接着被即时(just-in-time，JIT)编译器在运行时系统(或虚拟机)中编译成可以被平台专用的目标计算机系统执行的本机或机器代码。

在被编译器12编译之前，源代码文件11可以被储存在计算机系统的存储器(两者均未示出)中。例如，已编译代码文件13和19可以被储存在将执行可执行程序16的计算机系统的存储器(两者均未示出)中。在一个实施方案中，源代码文件11、已编译代码文件13和19，以及可执行程序16被储存在同一计算机系统的存储器中。在可替换的实施方案中，源代码文件11、已编译代码文件13和19，以及可执行程序16被储存在不同的计算机系统中。

编译器12是以计算机系统为宿主(或运行在计算机系统上)的软件系统。链接器15也是以计算机系统为宿主(或运行在计算机系统上)的软件系统。例如，计算机系统可以是个人计算机、个人数字助理、网络计算机、服务器计算机、笔记本式计算机、工作站、大型计算机或超级计算机。可替换地，计算机系统可以是具有数据处理能力的任何其他的电子系统。

计算机系统包括操作系统(未示出)和系统专用硬件(未示出)。操作系统可以是开放式标准Linux操作系统或其他类型的操作系统。计算机系统的系统专用硬件可以是包括足够执行操作系统的所有必需模块的任何硬件。这包括作为计算机系统的CPU的处理器或微处理器。

编译器12还对它编译的代码文件进行代码优化。这表示编译器12对已编译代码文件13进行代码优化。编译器12进行代码优化来改善已编译代码文件13的性能。例如，代码优化包括地址基址绑定代码转换、函数克隆代码转换和数据分配代码转换。

然而，编译器12不能对它编译的代码文件进行所有的指定的代码优化。这是由于这样的事实：源代码文件11中的符号引用(reference)和地址常量可以引用被编译成其他已编译代码文件19的其他源代码文件中定义的数据和代码。当编译器12将源代码文件11编译成已编译代码文件13时，编译器12不能知道其他文件中的信息，因为它们被分开地编译。例如，如果已编译代码文件13中的符号引用和地址常量涉及在其他已编译代码文件19中定义的代码或数据，那么编译器12在编译期间不能获得该信息。因为在编译期间编译器12不具有已编译代码文件13所属的整个程序(即可执行程序16)的知识(即没有全程序视角数据)，所以编译器12不能定义和进行需要全程序视角数据的那些代码优化。

在这种情况下，并且根据本发明的一个实施方案，编译器12采用优化分析器20来为那些由于全程序视角数据(或全局数据)的不可获得性而不能在编译器20中进行的代码优化产生优化指示21。优化指示21以有条件的格式定义那些优化。这表示优化指示21指定一些建议的优化转换，其中每一个具有合格条件(qualifying condition)。根据一个实施方案，优化指示21为编译器12不能进行的每个优化指定至少第一建议的优化转换和第二建议的优化转换，以及它们的满足条件。

例如，第一和第二优化转换以及它们的满足条件可以是以有条件的重定位操作的形式。第一和第二优化转换以及它们的满足条件还可以是以段的有条件的选择的形式。此外，优化分析器20可以为编译器12不能完成的每个优化产生比第一和第二优化转换多的优化转换。

优化指示21随后被发送到优化转换模块22。当链接器15把已编译代码文件13和其他已编译代码文件19链接起来时，优化转换模块22针对在链接时可用的全程序视角数据检查优化指示21中的条件，以确定应该选择第一和第二优化转换中的哪一个。优化转换模块22随后在用于可执行程序16的链接时执行第一和第二优化转换中被选择的那一个。

例如，考虑以下的代码序列或指令集

LDR R0，＝foo

.Lbar$Ref：

LDR R1，＝bar第一条是将符号“foo”的地址加载到寄存器R0的加载指令(load instruction)。第三条也是将符号“bar”的地址加载到寄存器R1的加载指令。第二条是指定下一条指令的地址的符号定义。在这种情况下，如果符号“foo”或“bar”是全局符号，那么只在链接时才可以知道符号“foo”和“bar”被放置的位置。因此，编译器12不能对地址定义“.Lbar$Ref：”进行任何优化转换。然而，如果给定符号“foo”和“bar”之间的距离，编译器12可以判断如何进行优化。在这种情况下，优化分析器22产生以下的优化指示21：

.Lbar$Ref：＝(((bar-foo)＜2^8)

？(addi r1，r0，bar-foo)

：(.Lbar$Ref)在这里，优化指示21将优化转换“.Lbar$Ref：”指定为有条件的优化转换。这表示如果符号“foo”和“bar”的距离小于2^8，那么原始的“.Lbar$Ref：”转换被ADD操作(参见优化指示21中的第二条指令)取代。否则，原始的“.Lbar$Ref：”被选择并进行。

当优化转换模块22接收上面列出的优化指示时，它评估所述条件(即是否符号“foo”和“bar”的距离小于2^8)。如果是，优化转换模块22导致链接器15进行ADD指令(即第二条指令)。否则，优化转换模块22导致链接器15在“LDR R1，＝bar”的“.Lbar$Ref：”上进行原始优化转换。

在一个实施方案中，优化指示21是已编译代码文件13的一部分。在另一个实施方案中，优化指示21与已编译代码文件13是分开的。

例如，根据本发明的一个实施方案，该针对编译器的链接时优化转换可以被应用于地址基址绑定优化转换、函数克隆优化转换和数据分配优化转换。在地址基址绑定优化转换中，因为已编译文件13和19中的全局变量的最终分布(layout)由链接器15在链接时确定，所以编译器只可以为已编译代码文件13中的全局变量进行基址绑定(即从一个全局变量的地址计算另一个变量的地址)。在这种情况下，优化分析器20基于符号地址之间的相对距离(即用于那些转换的条件)指定不同的基址绑定优化转换。一旦在链接时已知地址，优化转换模块22检查条件以确定应该进行哪一种基址绑定优化转换。优化转换模块22随后执行所选择的基址绑定优化转换。

在函数克隆优化转换中，虽然函数克隆(即函数的专用版本)比函数本身高效得多，但仅仅适用于具有某些参数值的函数调用。然而，只可以在链接时使得该信息可获得。因此，优化分析器20指定条件(例如用于函数的某些参数值的某些调用点(call site))并且命令优化转换模块22基于条件为给定的调用点选择最适当的版本(即函数本身还是它的克隆)。

在一个实施方案中，优化分析器20和优化转换模块22中的每一个使用软件技术来实现。可替换地，优化分析器20和优化转换模块22中的每一个可以使用其他技术来实现。例如，优化分析器20和优化转换模块22中的每一个可以被实现为固件。图2一般地示出优化分析器20进行的优化分析过程，而图3一般地示出优化转换模块22进行的优化转换过程。

如从图2中可以看到的，优化分析过程从已编译代码文件13(图1)的代码分析开始，以确定需要哪些优化以及为了优化需要哪些信息(即图2中的框31)。这里，优化所需的信息可以被称为优化信息。根据本发明的一个实施方案，优化分析器20(图1)进行该代码分析。可替换地，编译器12(图1)可以进行该代码分析。

在32处，确定优化信息对编译器12是可获得还是不可获得。根据本发明的一个实施方案，优化分析器20做出该确定。如果答案是“是”(即优化信息可获得)，那么优化过程移动到框33。然而，如果确定优化信息对编译器12不可获得，那么优化分析移动到框34。

在33处，因为已经确定用于指定的优化操作的优化信息可获得，所以基于优化信息进行优化操作。根据本发明的一个实施方案，优化分析器20导致编译器12基于优化信息进行优化操作(或优化转换)。随后过程在框36结束。

在34处，因为优化信息不可获得，所以只指定了可能的优化转换。根据本发明的一个实施方案，优化分析器20指定可能的优化转换。在一个实施方案中，优化分析器指定第一和第二可能的优化转换。在另一个实施方案中，优化分析器20指定比第一和第二可能的优化转换更多的可能优化转换。

在35处，为这些可能的优化转换产生合格条件。根据本发明的一个实施方案，优化分析器20产生合格条件。过程随后在框36结束。

如上面描述的，图3示出优化转换过程。如从图3中可以看到的，优化转换过程从获得包括所有的有条件的优化转换候选(candidate)的列表开始(即框41)。根据本发明的一个实施方案，优化转换模块22(图1)获得该列表。

在42处，从列表中挑选第一有条件的优化转换候选。根据本发明的一个实施方案，优化转换模块22挑选所述候选。如上面结合图1和图2描述的，每个优化转换候选指定第一和第二可能的优化转换以及它们的满足条件。

在43处，使用在链接时从链接器15(图1)可获得的信息来求值相关联的条件。根据本发明的一个实施方案，优化转换模块22做出该确定。在一个实施方案中，用于第一和第二优化转换的条件是相互排斥的。在这种情况下，如果第一优化转换的条件满足(即计算指示TURE(真))，那么过程移动到框44。然而，如果第二优化转换的条件满足(即计算指示FALSE(假))，那么过程移动到框45。

在44处，在所述条件下选择第一优化转换。根据本发明的一个实施方案，优化转换模块22做出选择。随后过程移动到框46。

在45处，在所述条件下选择第二优化转换。根据本发明的一个实施方案，优化转换模块22做出选择。随后过程移动到框46。

在46处确定列表是否为空。根据本发明的一个实施方案，优化转换模块22(图1)做出该确定。如果列表为空，过程移动到框47。如果列表不为空，那么过程返回框42以进行进一步处理。

图4到6以流程图形式示出由优化分析器20(图1)进行的优化分析过程以及由优化转换模块22(图1)进行的优化转换过程的一些具体的实施例。例如，图4示出地址基址绑定优化分析过程，而图5示出函数克隆优化分析过程。图6示出用于地址基址绑定和函数克隆两者的优化转换过程。

如从图4中可以看到的，地址基址绑定的优化分析过程从查找两个存储器引用开始(即框51)。根据本发明的一个实施方案，优化分析器20(图1)进行该操作。可替换地，该操作可以由编译器12(图1)来进行。

在52处，确定两个引用之间的距离。根据本发明的一个实施方案，优化分析器20做出该确定。可替换地，该确定可以由编译器12来做出。

在53处，确定距离是已知的还是未知的(即是否可以确定距离)。根据本发明的一个实施方案，优化分析器20做出该确定。如果距离是已知的(即YES(是))，那么过程移动到框54。如果距离是未知的(即NO(否))，那么过程移动到框55。

在54处，因为距离是已知的，可以进行基址绑定。根据本发明的一个实施方案，优化分析器20导致编译器12进行基址绑定优化。这里，编译器12用把距离值加到之前加载的符号地址的“ADD”指令来替换一个存储器引用——“LOAD-SYMBOL-ADDRESS(加载符号地址)”指令。过程随后移动到框57。

在55处，产生描述基址绑定优化转换的重定位(relocation)。根据本发明的一个实施方案，优化分析器20产生重定位。在一个实施方案中，优化分析器20产生第一和第二重定位。可替换地，优化分析器20产生多于两个重定位。

在56处，为重定位中的每一个产生合格条件。这使得每个重定位操作成为有条件的重定位操作。根据本发明的一个实施方案，优化分析器20产生所述条件。每个条件假设距离在预先确定的值以内(例如，大于、小于或等于)。如上面描述的，因为在链接时将知道存储器引用或符号地址，所以在链接时将知道所述距离。随后过程移动到框57。

在57处，确定是否有更多的未检查的存储器引用。根据本发明的一个实施方案，优化分析器20做出该确定。如果确定有更多的未检查的存储器引用，那么过程移动回框51。否则，过程在框58结束。

如从图5可以看到的，用于函数克隆的优化分析过程从查找用来克隆的候选函数开始(即框61)。根据本发明的一个实施方案，优化分析器20(图1)进行该操作。

在62处，确定是否克隆所述函数是有益并且可能的。如上面描述的，虽然函数克隆(即函数的专用版本)比函数本身高效得多，但是只适用于具有某个参数值的函数调用。该信息在编译时可能不可获得。因此，可能编译器12(图1)在编译时进行函数克隆优化是不可能的。根据本发明的一个实施方案，优化分析器20确定是否克隆所述函数是有益并且可能的。如果克隆所述函数既是有益的又是可能的，那么过程移动到框66。在另一方面，如果确定在编译时克隆所述函数是不可能的，那么过程移动到框63。

在63处，通过产生函数的克隆的和专用的版本来优化函数。根据本发明的一个实施方案，优化分析器20做出该优化。根据另一个实施方案，优化分析器20通过产生函数的克隆版本来导致编译器12优化所述函数。

在64处，使用用于具体调用点的特定值来实例化函数的参数。这是为采用函数还是它的克隆版本规定合格条件。根据本发明的一个实施方案，分析器20实例化所述参数。

在65处，产生优化指示。在本发明的一个实施方案中，分析器20产生优化指示，从而如果参数规范(specification)匹配于指定的调用点，命令优化转换模块22(图1)重定位到克隆版本，并且如果参数规范不匹配于具体的调用点，命令优化转换模块22(图1)重定位到函数本身。换句话说，优化指示命令优化转换模块22基于条件为给定调用地点选择适当的版本(即函数本身或它的克隆版本)。过程随后在框67结束。

在66处，函数被克隆。根据本发明的一个实施方案，优化分析器20导致编译器12克隆函数(或对函数进行克隆)。过程随后在框67结束。

如上所述，图6示出用于地址基址绑定和函数克隆的优化转换过程。如从图6可以看到的，优化转换过程从获得包含用于重定位操作的所有候选的列表开始(即框71)。根据本发明的一个实施方案，优化转换模块22(图1)进行该操作。这里，每个重定位候选或者是有条件的重定位(因为它包含指定的重定位操作及其合格条件)，或者是常规的算术重定位。此外，并且在一个实施方案中，每个有条件的重定位包括具有其合格条件的第一重定位表达式和具有其合格条件的第二重定位表达式。在一个实施方案中，合格条件是互相排斥的条件。

在72处，确定在列表中是否剩余任何的重定位候选。根据本发明的一个实施方案，优化转换模块22做出该确定。如果在列表中没有剩余，过程在框73结束。然而，如果在列表中剩余至少一个重定位候选，那么过程移动到框74。

在74处，从列表中挑选并移除第一重定位候选。根据本发明的一个实施方案，优化转换模块22进行该功能。

在75处，确定重定位是有条件的重定位，或者仅仅是常规的算术重定位操作。根据本发明的一个实施方案，优化转换模块22做出该确定。如果重定位是有条件的重定位，那么过程移动到框77。如果重定位仅仅是常规的算术重定位，那么过程移动到框76。

在76处，应用指定的算术重定位。根据本发明的一个实施方案，优化转换模块22导致链接器15(图1)应用所述算术重定位。过程随后移动到框72。

在77处，检查有条件的重定位的条件来看条件是否满足。根据本发明的一个实施方案，优化转换模块22做出

在78处，选择和执行有条件的重定位的第一重定位表达式。根据本发明的一个实施方案，优化转换模块22做出该选择，并且导致链接器15执行所选择的第一重定位表达式。过程随后移动回到框72。

在79处，选择和执行有条件的重定位的第二重定位表达式。根据本发明的一个实施方案，优化转换模块22做出该选择，并且导致链接器15执行所选择的第二重定位表达式。过程随后移动到框72。

根据本发明的实施方案，上面描述的针对编译器的链接时优化技术还可以被应用来增强其他编译器优化。例如，在全局数据的最终分布只可以在链接时确定的数据分配优化(即数据局部性(locality))中，可以使用上面根据一个实施方案描述的技术。设计数据分配优化被设计来改善已编译代码的缓存行为。它为每个函数确定哪些数据是被大量使用的数据(或热数据)以及哪些数据是没有被大量使用的数据(或冷数据)。随后在存储器中被大量使用的数据被分配为彼此临近，并且与没有被大量使用的数据分开。然而，因为全局数据的最终分布仅可以在链接时被确定，优化分析器20(图1)可以提议对正被编译器12(图1)编译的当前代码文件最有益的数据分布。该信息随后作为链接器指示被发送到优化转换模块22(图1)。优化转换模块22可以随后从所有要被链接在一起的已编译代码文件收集所有被提议的数据分布，以选择对整个程序最有益的数据分布。作为进一步的实施例，上面根据一个实施方案描述的技术可以用于段的有条件的选择。

根据本发明的实施方案，图2-6是示出优化分析过程和优化转换过程的流程图。在附图中示出的步骤(procedure)中的一些可以顺序地、并行地或以不同于所描述的顺序进行。应该意识到，并非所有描述的步骤是要求的，并且可以添加额外的步骤，还可以用其他步骤来代替示出的步骤中的一些。

在前面的说明书中，已经参照本发明的具体的示例性实施方案描述了本发明的实施方案。然而，明显可以对本发明做出各种修改和改动，而不背离本发明的实施方案的宽泛的精神和范围。因此，说明书和附图被认为是描述性的，而不是限制性的。

Claims

1.一种用于进行代码优化的系统，包括：

编译器内的优化分析器，所述优化分析器为已编译代码产生第一优化转换和第二优化转换以及它们的满足条件；以及

链接器内的优化转换模块，当所述已编译代码与其他已编译代码链接时，所述优化转换模块确定应该选择所述第一和第二优化转换中的哪一个，并且在链接时执行所述第一和第二优化转换中被选择的那一个。

2.如权利要求1所述的系统，其中所述优化转换模块通过使用只在链接时可获得的信息来检查所述满足条件，以确定应该选择所述第一和第二优化转换中的哪一个。

3.如权利要求1所述的系统，其中所述第一和第二优化转换以及它们的满足条件是以有条件的重定位操作的形式。

4.如权利要求1所述的系统，其中所述第一和第二优化转换是地址基址绑定优化转换。

5.如权利要求1所述的系统，其中所述第一和第二优化转换是函数克隆优化转换。

6.如权利要求1所述的系统，其中所述第一和第二优化转换是数据分配优化转换。

7.一种编译环境，包括：

编译器，所述编译器把源代码编译成已编译代码；

链接器，所述链接器把所述已编译代码与其他已编译代码链接成可执行程序；

所述编译器内的优化分析器，所述优化分析器为所述已编译代码产生第一优化转换和第二优化转换以及它们的满足条件；以及

所述链接器内的优化转换模块，当所述已编译代码与其他已编译代码链接时，所述优化转换模块确定应该选择所述第一和第二优化转换中的哪一个，并且在链接时执行所述第一和第二优化转换中被选择的那一个。

8.如权利要求7所述的编译环境，其中所述优化转换模块通过使用只在链接时可获得的信息来检查所述满足条件，以确定应该选择所述第一和第二优化转换中的哪一个。

9.如权利要求7所述的编译环境，其中所述第一和第二优化转换以及它们的满足条件是以有条件的重定位操作的形式。

10.如权利要求7所述的编译环境，其中所述第一和第二优化转换选自包括地址基址绑定优化转换、函数克隆优化转换和数据分配优化转换的组。

11.一种进行代码优化的方法，包括：

在编译时为已编译代码产生第一优化转换和第二优化转换以及它们的满足条件；

当所述已编译代码与其他已编译代码链接时，确定应该选择所述第一和第二优化转换中的哪一个；以及

在链接时执行所述第一和第二优化转换中被选择的那一个。

12.如权利要求11所述的方法，其中所述第一和第二优化转换以及它们的满足条件以有条件的重定位的形式被产生。

13.如权利要求11所述的方法，其中确定应该选择所述第一和第二优化转换中的哪一个的操作还包括使用只在链接时可获得的信息来检查所述满足条件，以确定应该选择所述第一和第二优化转换中的哪一个。

14.如权利要求11所述的方法，其中所述第一和第二优化转换是地址基址绑定优化转换。

15.如权利要求11所述的方法，其中所述第一和第二优化转换是数据分配优化转换。

16.如权利要求11所述的方法，其中所述第一和第二优化转换是函数克隆优化转换。

17.一种包括包含指令序列的机器可访问介质的制品，所述指令序列包括指令，当所述指令被执行时，导致所述机器进行：

在链接时执行所述第一和第二优化转换中被选择的那一个。

18.如权利要求17所述的制品，其中所述第一和第二优化转换以及它们的满足条件以有条件的重定位的形式被产生。

19.如权利要求17所述的制品，其中确定应该选择所述第一和第二优化转换中的哪一个的操作还包括使用只在链接时可获得的信息来检查所述满足条件，以确定应该选择所述第一和第二优化转换中的哪一个。

20.如权利要求17所述的制品，其中所述第一和第二优化转换是地址基址绑定优化转换。

21.如权利要求17所述的制品，其中所述第一和第二优化转换是函数克隆优化转换。

22.如权利要求17所述的制品，其中所述第一和第二优化转换是数据分配优化转换。