补充资料：程序最优化变换

程序最优化变换
f

程序最优化变换tp找嗯ram一咐i而z吨t~forlr.6.ls;即orpaMM onT“Mo3“py.川一e npeo6pa30.a皿，，】 用一种中间形式表示的程序的受控变换，在编译(翻译或程序生成)时用于改进程序工作特性的目的.这些工作特性与被程序使用的计算机资源有关，主要的资源是执行时间和使用的存储量. 通常，程序最优化变换的每个应用改变程序片段的局部语义，但是保留整个程序的语义—结果程序或者是等价于初始程序，或者是对较大数据集的扩充. 人们可以区分依赖于机器的程序最优化变换(machine一dependellt Prog触111一oPtimj劝19 transforr比l-tions)和通用的程序最优化变换(姗versal Pr ogmnl-叩石mi刀ng transformations).前者是通过机器语言的特性或者其他具体计算机的具体特性定义的.后者(例如把从程序的开始就不可访问的操作符移去)仅由包括在算法初始描述中的语义定义，对一大类计算机是可应用的. 使用程序最优化变换改进机器程序的常用方法是从程序的执行过程中移去一些计算或对象，或者是以简单的计算代替复杂的计算(在计算复杂性的既定界限基础上).这要求考虑程序的各语句和对象之间在这些过程中产生的控制、信息和频率关系.程序最优化变换的组成:必须借助于程序语句的局部语义搜索指示的类型的关系(称为程序的流程分析(flow analysisof the prog~);检查收集的信息的某些性质(称为上下文条件(context condition));和在这些条件满足的情况下变换程序的片段(由给定的程序最优化变换进行适当的变换). 按照由独立于环境的程序最优化变换处理的程序部分(称为经济部分(econo明part))的大小，把程序最优化变换分成局部的(kical)，全局的(glo加l)，和拟局部的(quasi一local)，地带(zo士)或小丘(恤-n1Irl(犯k).经济部分不大于一个语句者称为局部的;经济部分是整个程序者称为全局的;经济部分是有固定内部结构的片段者—例如射线(ray)(语句的线性序列)，称为拟局部的;不包含其他地带的地带(程序控制流程图的非平凡强连通子图);不包含其他小丘或地带的小丘(正好在两个顶点—输人和输出与控制流程图的其他部分相连通的子图;输人顶点属于小丘，输出顶点不属于小丘). 为了减少全局程序最优化变换的时间和体积的复杂性，人们常常使用因子分解(factor此咖n)—用一系列半局部的变换代替全局变换，按它们的复杂性应用于程序片段. 仅对窄小的一类程序，例如线性程序类，可能构造程序最优化变换的有限完全集因此，在现代编译程序中，对很大范围来说，一套程序优化变换是在启发式背景上构造，本质上是依赖于编译程序(翻译程序或程序生成程序)所要解决的一类问题.通常程序最优

[1] [2]  下一页

说明：补充资料仅用于学习参考，请勿用于其它任何用途。