[发明专利]用于代码优化的语法图的持续注释

权利要求书

1.一种代码转换优化系统，包括：

存储器；

处理器，与所述存储器可操作地通信，所述处理器被配置为执行步骤，所述步骤包括(a)遍历程序的语法图的至少一部分，(b)识别所述语法图中的预定子图结构，(c)将优化特性注释与所识别的所述语法子图结构相关联，所得关联指示代码段的与所识别的所述子图结构相对应的方面在执行所述代码段之前可辨别的程度，所述方面包括执行值或执行效果或两者，以及(d)至少部分地基于关联步骤的结果来执行所述程序的代码转换的优化。

2.根据权利要求1所述的系统，其中所述存储器包括具有条目的目录，所述条目包括所述子图结构的标识以及与所标识的子图结构相关联的所述优化特性注释，所述目录条目在所述程序的所述代码转换之前存在并且还在执行所述程序的所述代码转换的所述优化之后存在。

3.根据权利要求2所述的系统，其中所述子图结构的所述标识包括以下密钥中的至少一个密钥或由以下密钥中的至少一个密钥索引：

被所述程序利用的库的例程的名称；

作为所述程序的一部分并且专用于所述程序的用户定义例程的名称；

例程的哈希值；

所述子图结构的哈希值；或者

语法子图结构模板的哈希值。

4.根据权利要求1所述的系统，其中所述优化特性注释包括以下至少一项：

指示与所识别的所述子图结构相对应的所述代码段是否在所述代码段的执行期间不具有副作用的值；

指示与所识别的子图结构相对应的所述代码段是否在所述代码段的执行期间访问任何非局部变量的值；

指示与所识别的所述子图结构相对应的所述代码段是否具有任何局部静态变量的值；

指示与所识别的子图结构相对应的所述代码段是否具有通过引用被传递以支持所述代码段的执行的任何参数的值；

指示与所识别的所述子图结构相对应的所述代码段是否在所述代码段的执行期间访问任何I/O设备或I/O流的值；或者

指示与所识别的所述子图结构相对应的所述代码段是否可以在所述代码段的执行期间抛出异常的值。

5.根据权利要求1所述的系统，包括可插拔优化器，所述系统被配置为调用所述可插拔优化器来执行所述优化，其中当优化器可以被启用或禁用或两者时，所述优化器被视为可插拔的，而不重新编译调用所述优化器的代码。

6.一种用于在代码转换期间寻找优化机会的方法，所述方法包括：

扫描程序的语法图的至少一部分，所述语法图具有节点，所述语法图至少表示所述程序的语法结构方面；

查明与所述语法图的节点相关联的所述程序的代码具有优化特性；以及

根据所查明的所述优化特性来注释所述语法图。

7.根据权利要求6所述的方法，其中查明与所述语法图的所述节点相关联的所述程序的代码具有所述优化特性包括以下至少一项：

将所述节点与描述所述优化特性的目录中的条目进行匹配；

将包含所述节点的语法子图与描述所述优化特性的目录中的条目进行匹配。

8.根据权利要求6所述的方法，其中查明与所述语法图的第一节点相关联的所述程序的代码具有第一优化特性包括：根据与所述语法图的第二节点相关联的第二优化特性进行推断，所述第一节点和所述第二节点在所述语法图中具有不同的相应位置，所述第一优化特性和所述第二优化特性具有相同或不同的相应值。

9.根据权利要求6所述的方法，还包括向优化器提供对所注释的所述语法图的访问，并且所述优化器产生以下至少一项：

减小用于所述程序的所述代码的执行的处理器循环计数的优化；

减小用于所述程序的所述代码的执行的存储器要求的优化；

减小用于所述程序的所述代码的执行的I/O要求的优化；

在编译时间用恒定值替换所述程序的代码段的优化；

将数据或指令或两者存储在所述程序的所述代码中的优化；或者

去除所述程序的所述代码中调用或跳转到异常处理程序的优化。