2.2优化编译器的能力和局限性

老子叫甜甜 提交于 2020-04-06 07:17:35

写程序最主要的目标是使他在所有的可能的情况下都能正确工作。程序应该写出清晰简单的代码,主要为了给后期维护,起作用;但常常我们在程序的简单性,维护性,与程序的运行速度进行权衡;

 

高效的程序需要几类活动:

(1)必须选择一组合适的算法和数据结构;

(2)必须编写出编译器能够优化以转换成高效可执行的源代码,因此理解优化编译器的能力和局限性很重要,因此程序即使是很小的变动,会引起编译器优化方式很大的变化;因此程序员经常能够使编译器更容易产生高效代码的方式来编写他们的程序,对于C语言的指针,就编译器已经很难优化了;

(3)并发编程,利用多处理器和多核的某种组合并行的计算;

 

现代编译器使用复杂精细的算法来确定一个程序中计算的是什么值,以及它们是如何使用的,然后利用一些机会来简化表达式,在几个不同的地方使用用一个计算,降低给定计算的执行次数;GCC编译器提供优化级别的控制,级别越高,程序的规模可能会提高,调试困难会提高;低级别的优化高效的C代码,要比高级别的优化初级的C代码性能要高;

 

要是编译器安全的优化,程序员必须花大力气编写编译器可以转换成有效的代码,举例如下:

(1)*x += * y; 

          *x += *y;

与(2)*x += 2 * *y;

这两个代码片段似乎有相同的行为;(2)要快一点,涉及3次存储器引用,而(1)涉及6次存储器引用,但是如果考虑*x = *y,则(1)会增加4倍的值,而(2)是增加3倍的值,此差别造成编译器对这两个片段的优化是不同的,在进行安全的优化时,编译器会假设两个指针指向同一个位置;

 

大多数的编译器不会试图判断一个函数是否有副作用,会优化可能的候选函数,成为(2)的例子,因此可能造成值得不同,如下:

(1)return f()+f()

(2)return 2 * f()

f(){

  reurn counter++;

}

 

注意,GCC完成最基本的优化,因此需要花费更多的精力,以一种简化编译器生成高效代码的任务方式来编写程序。

 

局限性:

考察以下代码:

复制代码
void Twiddle1(int *xp, int *yp)
{
    *xp += *yp;
    *xp += *yp;
}

void Twiddle2(int *xp, *yp)
{
    *xp += 2 * *yp;
}
复制代码

这两个过程等价吗? 事实上 Twiddle2 的效率更高, 因为它只要求 3 次存储器引用, 而 Twiddle1 需要 6 次, 但它们不能相互代替, 因为当 xp == yp 时,

*xp += *xp;
*xp += *xp;

之后, xp 的值是原来的 4 倍, 但是类似 Twiddle2 的操作:

*xp += 2 * *xp;

的结果却是原来的 3 倍. 所以编译器不会产生 Twiddle2 的代码作为 Twiddle1 的优化代码.
考察以下代码:

x = 1000; y = 3000;
*q = y;
*p = x;
t1 = *q    // ?

t1 的值依赖于指针 p 和 q 的位置关系, 如果 p == q, 那么 t1 == 1000; 如果不相等, t1 == 3000. 这就是一种妨碍优化的因素, 它严重限制了编译器产生优化代码的机会和优化策略.
两个指针可能指向同一个储存器的位置的情况称为储存器别名使用(memory aliasing). 在直至项安全优化的代码中, 编译器需要假设储存器别名使用的情况.
第二个妨碍优化的因素是函数调用, 考察以下代码:

复制代码
int F();

int Func1()
{
    return F() + F() + F() + F();
}

int Func2()
{
    return 4 *  F();
}
复制代码

看上去似乎是相同的结果, 但是 Func2() 只调用 F() 1 次, 而 Func1() 调用 4 次, 考虑以下代码:

int counter = 0;
int F()
{
    return counter++;
}

对于 Func1() 我们可以用内联函数进行优化即将函数调用替换为函数体:

复制代码
//优化后的版本
int Funct1Inline()
{
    int t = counter++;    // +0
    t = counter++;        // +1
    t = counter++;        // +2
    t = counter++;        // +3
    return t;
}
复制代码

这样的转换不仅可以减少了函数调用的开销, 也允许编译器对代码进行进一步优化:

复制代码
//编译器进一步优化
int Func1Opt()
{
    int t = 4 * counter + 6;
    counter = t + 4;
    return t;
}
复制代码

 

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!