lec05-Code Optimization.pptVIP

Computer Systems:A Programmer’s Perspective 计算机系统详解Lecture 5 Code Optimization April 29, 2011 Wu junmin (jmwu@ustc.edu.cn) Overview Machine-Independent Optimizations Code Profiling Tuning 严峻的现实 这里更强调性能而非渐进复杂性 常数因子同样重要! 很容易看到，代码的编写情况可导致程序性能有10倍的差异 必须在多个层次进行优化: 算法, 数据表示, 过程, 和循环 必须了解系统以便更好的优化 程序是如何编译及执行的 如何测量程序性能及确定性能瓶颈 如何在不破坏代码模块化和通用性的前提下改进性能 优化编译器 为程序提供更有效的机器级映射 寄存器分配 代码选择和排序 (调度) 死代码消除 清除细微的低效情况 不会(通常情况) 改进渐进效率 由程序员来决定选择最好的整体算法 数量级（大O）的改进通常比常数因子更重要 但是常数因子也很重要 逾越优化障碍很困难 潜在的存储器别名 潜在的过程副作用 编译器优化的限制 对优化的根本限制 不能导致任何情况下程序行为的变化 很多优化不能进行的原因是会对一些病态条件下的程序行为产生影响. 由于语言和编码风格的原因，某些对程序员很明显的程序行为可能变得晦涩难懂 例如，数据范围可能比其类型所声明的范围更小 大多数分析仅限于过程内部 在大多数情况下对整个程序的分析代价高昂 大多数分析仅基于静态信息 编译器难以预测运行时输入 当不确定时，编译器只能采取保守方式 平台无关优化 是指通过手工或者编译器来做的一些与处理器、编译器型号无关的优化 代码移动 减少计算的频率 如果总是产生相同的结果 尤其是将代码移出循环体 编译器生成的代码移动 大多数编译器对数组+简单循环有很好的优化措施 GCC生成代码 运算强度减弱 由简单操作替换代价高昂操作 移位, 和加运算来代替乘法和除法 16*x -- x 4 效果与机器相关 取决于乘法和除法指令的开销 在Pentium II或 III平台上, 整数乘法需要4个cpu周期 识别结果序列 公共子表达式共享 部分表达式重用 编译器在挖掘算术属性性能上通常不够精密 时间量级 绝对时间 典型的是以纳秒为单位 10–9秒 机器指令的时间量级 时钟周期 大多数计算机由高频时钟信号控制 典型范围 100 MHz 108周期 每秒 时钟周期 = 10ns 2 GHz 2 X 109 周期每秒 时钟周期 = 0.5ns 测量性能 对大多数程序，使用每元素周期数(CPE) 对于使用链表和向量的程序十分有效 总时间 =固定开销 + CPE * 链表长度 每元素周期数（Cycles Per Element） 对于工作在链表或者向量上的程序是很方便的度量方式 长度 = n T = CPE*n + 开销 向量抽象数据类型(ADT) 操作 vec_ptr new_vec(int len) 创建指定长度向量 int get_vec_element(vec_ptr v, int index, int *dest) 获取向量元素，并存储到*dest 越界返回0，成功返回1 int *get_vec_start(vec_ptr v) 返回向量数据的起始地址 类似于pascal，ML，java中的数组实现 例如总是进行越界检查 优化举例 过程 计算整数向量中所有元素和 将结果存储到目的地址 通过抽象数据类型定义向量数据结构和操作 Pentium III 性能: 时钟周期 /元素 42.06 (Compiled -g) 31.25 (Compiled -O2) 理解循环 低效： 每次迭代都调用过程 vec_length 尽管结果总是相同 将 vec_length 移出循环 优化 将过程vec_length 移出内层循环 从一个迭代到下一个的值不变 代码移动 CPE: 20.66 (Compiled -O2) vec_length 仅需要常量时间,但却有不可忽略的开销 代码移动举例#2 将string中字符转换到小写格式的程序 从实验报告中选出, 1998年 小写格式转换性能 当字符串长度增长为原来的2倍时时间开销增长为4倍 性能是字符串长度的二次方倍 将循环改为goto程序形式 strlen 在每个迭代中都执行 strlen 开销与字符串长度为线性关系 必须扫描字符串以找到\0 整体性能为二次方量级 性能改进 将 strlen移到循环外 因为每次迭代的结果不会改变 代码移动 小写格式转换性能 当字符串长度倍增时间倍增 lower2性能与长度成线性关