自编教材分享:第六章—程序编写优化(三)



过程级优化
别名消除
C语言中为了方便编码为变量定义了别名,但在同一程序中两个以上的指针引用相同的存储位置时,将存在指针别名的问题。
优化前代码:
优化后代码:
常数传播
常数传播是指替代表示式中已知常数的过程,一般在编译前期进行。实际程序中可能存在复杂的控制流,编译器把所有情况的常数替换都识别出来并对程序实施正确的常数替换优化是较为困难的,因此建议优化人员尽量手动进行常数传播优化。
优化前代码:
优化后代码:
内联替换
为了节省函数调用的时空开销,可以采用内联替换的思路优化程序,具体优化思路为函数在被调用处复制函数代码副本,并通过代码膨胀将被调函数体副本直接在调用处进行内联替换,同时被调过程内的形参也将被替换为主调过程内的实参。
优化前代码:
优化后代码:
过程克隆
过程克隆是指当一个过程在不同的调用环境下表现出不同的特性时根据需要生成该过程的多个实现,便于后续针对每个实现进行不同的优化处理,程序中的调用点会根据其上下文的属性信息来选择调用过程实现的某个版本。
优化前代码:
优化后代码:
全局变量优化
全局变量尤其是多个文件共享的全局数据结构会阻碍编译器的优化。 并且其使得程序员不便追踪其变化,难以进行手工优化。对于并行程序来说,全局变量除非在迫不得已的情况下才建议使用,就算要使用全局变量,也尽量通过参数传递的方式。
优化前代码:
优化后代码:
