《C语言程序运行速度优化方法谈.pdf》由会员分享,可在线阅读,更多相关《C语言程序运行速度优化方法谈.pdf(22页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、C C 语言程序运行速度优化方法谈语言程序运行速度优化方法谈 1 1、选择合适的算法和数据结构、选择合适的算法和数据结构 选择一种合适的数据结构很重要,如果在一堆随机存放的数中使用了大量的插入和删除指令,那使用链表要快得多。数组与指针语句具有十分密切的关系,一般来说,指针比较灵活简洁,而数组则比较直观,容易理解。对于大部分的编译器,使用指针比使用数组生成的代码更短,执行效率更高。在许多种情况下,可以用指针运算代替数组索引,这样做常常能产生又快又短的代码。与数组索引相比,指针一般能使代码速度更快,占用空间更少。使用多维数组时差异更明显。下面的代码作用是相同的,但是效率不一样。数组索引 指针运算
2、For(;)p=array A=arrayt+;for(;)a=*(p+);。指针方法的优点是,array 的地址每次装入地址 p 后,在每次循环中只需对 p 增量操作。在数组索引方法中,每次循环中都必须根据 t 值求数组下标的复杂运算。2 2、使用尽量小的数据类型、使用尽量小的数据类型 能够使用字符型(char)定义的变量,就不要使用整型(int)变量来定义;能够使用整型变量定义的变量就不要用长整型(long int),能不使用浮点型(float)变量就不要使用浮点型变量。当然,在定义变量后不要超过变量的作用范围,如果超过变量的范围赋值,C 编译器并不报错,但程序运行结果却错了,而且这样的错
3、误很难发现。在 ICCAVR 中,可以在 Options 中设定使用 printf 参数,尽量使用基本型参数(%c、%d、%x、%X、%u 和%s 格式说明符),少用长整型参数(%ld、%lu、%lx 和%lX 格式说明符),至于浮点型的参数(%f)则尽量不要使用,其它 C 编译器也一样。在其它条件不变的情况下,使用%f 参数,会使生成的代码的数量增加很多,执行速度降低。3 3、减少运算的强度、减少运算的强度 (1 1)、查表)、查表(游戏程序员必修课游戏程序员必修课)一个聪明的游戏大虾,基本上不会在自己的主循环里搞什么运算工作,绝对是先计算好了,再到循环里查表。看下面的例子:旧代码:long
4、 factorial(int i)if(i=0)return 1;else return i*factorial(i-1);新代码:static long factorial_table=1,1,2,6,24,120,720 /*etc*/;long factorial(int i)return factorial_tablei;如果表很大,不好写,就写一个 init 函数,在循环外临时生成表格。(2 2)、求余运算)、求余运算 a=a%8;可以改为:a=a&7;说明:位操作只需一个指令周期即可完成,而大部分的 C 编译器的“%”运算均是调用子程序来完成,代码长、执行速度慢。通常,只要求是求只
5、要求是求 2n 方的余数,均可使用位操作的方法方的余数,均可使用位操作的方法来代替。来代替。(3 3)、平方运算)、平方运算 a=pow(a,2.0);可以改为:a=a*a;说明:在有内置硬件乘法器的单片机中(如 51 系列),乘法运算比求平方运算快得多,因为浮点数的求平方是通过调用子程序来实现的,在自带硬件乘法器的 AVR 单片机中,如ATMega163 中,乘法运算只需 2 个时钟周期就可以完成。既使是在没有内置硬件乘法器的AVR 单片机中,乘法运算的子程序比平方运算的子程序代码短,执行速度快。如果是求 3 次方,如:a=pow(a,3。0);更改为:a=a*a*a;则效率的改善更明显。(
6、4 4)、用移位实现乘除法运算)、用移位实现乘除法运算 a=a*4;b=b/4;可以改为:a=a2;通常如果需要乘以或除以 2n,都可以用移位的方法代替。在 ICCAVR 中,如果乘以2n,都可以生成左移的代码,而乘以其它的整数或除以任何数,均调用乘除法子程序。用移位的方法得到代码比调用乘除法子程序生成的代码效率高。实际上,只要是乘以或除以一个整数,均可以用移位的方法得到结果,如:a=a*9 可以改为:a=(a3)+a 采用运算量更小的表达式替换原来的表达式,下面是一个经典例子:旧代码:x=w%8;y=pow(x,2.0);z=y*33;for(i=0;i MAX;i+)h=14*i;prin
7、tf(%d,h);新代码:x=w&7;/*位操作比求余运算快*/y=x*x;/*乘法比平方运算快*/z=(y 5)+y;/*位移乘法比乘法快*/for(i=h=0;i 0)while(*q (*r=a/*q)*q=(*q+*r)1;*r=a-*q*q;推荐的代码:/假设 q!=r void isqrt(unsigned long a,unsigned long*q,unsigned long*r)unsigned long qq,rr;qq=a;if(a 0)while(qq (rr=a/qq)qq=(qq+rr)1;rr=a-qq*qq;*q=qq;*r=rr;5 5、循环优化、循环优化 (
8、1 1)、充分分解小的循环)、充分分解小的循环 要充分利用要充分利用 CPUCPU 的指令缓存,就要充分分解小的循环。的指令缓存,就要充分分解小的循环。特别是当循环体本身很小的时候,分解循环可以提高性能。注意:很多编译器并不能自动分解循环。不好的代码:/3D 转化:把矢量 V 和 4x4 矩阵 M 相乘 for(i=0;i 4;i+)ri=0;for(j=0;j 4;j+)ri+=Mji*Vj;推荐的代码:r0=M00*V0+M10*V1+M20*V2+M30*V3;r1=M01*V0+M11*V1+M21*V2+M31*V3;r2=M02*V0+M12*V1+M22*V2+M32*V3;r3
9、=M03*V0+M13*V1+M23*V2+M33*v3;(2 2)、提取公共部分)、提取公共部分 对于一些不需要循环变量参加运算的任务可以把它们放到循环外面,这里的任务包括表达式、函数的调用、指针运算、数组访问等,应该将没有必要执行多次的操作全部集合在一起,放到一个 init 的初始化程序中进行。(3 3)、延时函数)、延时函数 通常使用的延时函数均采用自加的形式:void delay(void)unsigned int i;for(i=0;i0;i-);两个函数的延时效果相似,但几乎所有的 C 编译对后一种函数生成的代码均比前一种代码少 13 个字节,因为几乎所有的几乎所有的 MCU 均有
10、为均有为 0 转移的指令转移的指令,采用后一种方式能够生成这类指令。在使用 while 循环时也一样,使用自减指令控制循环会比使用自加指令控制循环生成的代码更少 13 个字母。但是在循环中有通过循环变量“i”读写数组的指令时,使用预减循环有可能使数组超界,要引起注意。(4 4)、)、whilewhile 循环和循环和 dodowhilewhile 循环循环 用 while 循环时有以下两种循环形式:unsigned int i;i=0;while(i0);在这两种循环中,使用使用 dowhile 循环编译后生成的代码的长度短于循环编译后生成的代码的长度短于 while 循环。循环。(6 6)、
11、循环展开)、循环展开 这是经典的速度优化,但许多编译程序(如 gcc-funroll-loops)能自动完成这个事,所以现在你自己来优化这个显得效果不明显。旧代码:for(i=0;i 100;i+)do_stuff(i);新代码:for(i=0;i 100;)do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;do_stuff(i);i+;可以看出,新代码里比较指令由新代码里比较
12、指令由 100 次降低为次降低为 10 次,循环时间节约了次,循环时间节约了 90%。不过注意:对于中间变量或结果被更改的循环,编译程序往往拒绝展开,(怕担责任呗),这时候就需要你自己来做展开工作了。还有一点请注意,在有内部指令 cache 的 CPU 上(如 MMX 芯片),因为循环展开的代码很大,往往 cache 溢出,这时展开的代码会频繁地在 CPU 的 cache 和内存之间调来调去,又因为 cache 速度很高,所以此时循环展开反而会变慢。还有就是循环展开会影响矢量运算还有就是循环展开会影响矢量运算优化。优化。(6 6)、循环嵌套)、循环嵌套 把相关循环放到一个循环里,也会加快速度。
13、旧代码:for(i=0;i MAX;i+)/*initialize 2d array to 0s*/for(j=0;j MAX;j+)aij=0.0;for(i=0;i MAX;i+)/*put 1s along the diagonal*/aii=1.0;新代码:for(i=0;i MAX;i+)/*initialize 2d array to 0s*/for(j=0;j MAX;j+)aij=0.0;aii=1.0;/*put 1s along the diagonal*/(7 7)、)、SwitchSwitch 语句中根据发生频率来进行语句中根据发生频率来进行 casecase 排序排序
14、 Switch 可能转化成多种不同算法的代码。其中最常见的是跳转表跳转表和比较链比较链/树树。当 switch用比较链的方式转化时,编译器会产生 if-else-if 的嵌套代码,并按照顺序进行比较,匹配时就跳转到满足条件的语句执行。所以可以对 case 的值依照发生的可能性进行排序,把最有可能的放在第一位,这样可以提高性能。此外,在 case 中推荐使用小的连续的整数,因为在这种情况下,所有的编译器都可以把 switch 转化成跳转表。不好的代码:int days_in_month,short_months,normal_months,long_months;。switch(days_in_
15、month)case 28:case 29:short_months+;break;case 30:normal_months+;break;case 31:long_months+;break;default:cout month has fewer than 28 or more than 31 days endl;break;推荐的代码:int days_in_month,short_months,normal_months,long_months;。switch(days_in_month)case 31:long_months+;break;case 30:normal_months
16、+;break;case 28:case 29:short_months+;break;default:cout month has fewer than 28 or more than 31 days type)case FREQUENT_MSG1:handleFrequentMsg();break;case FREQUENT_MSG2:handleFrequentMsg2();break;。case FREQUENT_MSGn:handleFrequentMsgn();break;default:/嵌套部分用来处理不经常发生的消息嵌套部分用来处理不经常发生的消息 switch(pMsg-t
17、ype)case INFREQUENT_MSG1:handleInfrequentMsg1();break;case INFREQUENT_MSG2:handleInfrequentMsg2();break;。case INFREQUENT_MSGm:handleInfrequentMsgm();break;如果 switch 中每一种情况下都有很多的工作要做,那么把整个 switch 语句用一个指向指向函数指针的表函数指针的表来替换会更加有效,比如下面的 switch 语句,有三种情况:enum MsgTypeMsg1,Msg2,Msg3 switch(ReceiveMessage()cas
18、e Msg1;。case Msg2;。case Msg3;。为了提高执行速度,用下面这段代码来替换这个上面的 switch 语句。/*准备工作*/int handleMsg1(void);int handleMsg2(void);int handleMsg3(void);/*创建一个函数指针数组*/int(*MsgFunction)()=handleMsg1,handleMsg2,handleMsg3;/*用下面这行更有效的代码来替换 switch 语句*/status=MsgFunctionReceiveMessage()();(9 9)、循环转置)、循环转置 有些机器对 JNZ(为 0 转
19、移)有特别的指令处理,速度非常快,如果你的循环对方向不敏感,可以由大向小循环。旧代码:for(i=1;i=MAX;i+)。新代码:i=MAX+1;while(-i)。不过千万注意,如果指针操作使用了 i 值,这种方法可能引起指针越界的严重错误(i=MAX+1;)。当然你可以通过对 i 做加减运算来纠正,但是这样就起不到加速的作用,除非类似于以下情况:旧代码:char aMAX+5;for(i=1;i=MAX;i+)*(a+i+4)=0;新代码:i=MAX+1;while(-i)*(a+i+4)=0;(1010)、公用代码块)、公用代码块 一些公用处理模块,为了满足各种不同的调用需要,往往在内部
20、采用了大量的if-then-else 结构,这样很不好,判断语句如果太复杂,会消耗大量的时间的,应该尽量减少公用代码块的使用。(任何情况下,空间优化和时间优化都是对立的-东楼)。当然,如果仅仅是一个(3=x)之类的简单判断,适当使用一下,也还是允许的。记住,优化永远是追求一种平衡,而不是走极端。(1111)提升循环的性能)提升循环的性能 要提升循环的性能,减少多余的常量计算非常有用(比如,不随循环变化的计算)。不好的代码(在 for()中包含不变的 if():for(i。)if(CONSTANT0)DoWork0(i);/假设这里不改变假设这里不改变 CONSTANT0 的值的值 else D
21、oWork1(i);/假设这里不改变假设这里不改变 CONSTANT0 的值的值 推荐的代码:if(CONSTANT0)for(i。)DoWork0(i);else for(i。)DoWork1(i);如果已经知道 if()的值,这样可以避免重复计算。虽然不好的代码中的分支可以简单地预测,但是由于推荐的代码在进入循环前分支已经确定,就可以减少对分支预测的依赖。(1212)、选择好的无限循环)、选择好的无限循环 在编程中,我们常常需要用到无限循环,常用的两种方法是 while(1)和 for(;)。这两种方法效果完全一样,但那一种更好呢?然我们看看它们编译后的代码:编译前:while(1);编译
22、后:mov eax,1 test eax,eax je foo+23h jmp foo+18h 编译前:for(;);编译后:jmp foo+23h 显然,for(;)指令少,不占用寄存器,而且没有判断、跳转,比 while(1)好。6 6、提高、提高 CPUCPU 的并行性的并行性 (1 1)使用并行代码)使用并行代码 尽可能把长的有依赖的代码链分解成几个可以在流水线执行单元中并行执行的没有依赖的代码链。很多高级语言,包括 C+,并不对产生的浮点表达式重新排序,因为那是一个相当复杂的过程。需要注意的是,重排序的代码和原来的代码在代码上一致并不等价于计算结果一致,因为浮点操作缺乏精确度。在一些
23、情况下,这些优化可能导致意料之外的结果。幸运的是,在大部分情况下,最后结果可能只有最不重要的位(即最低位)是错误的。不好的代码:double a100,sum;int i;sum=0.0f;for(i=0;i100;i+)sum+=ai;推荐的代码:double a100,sum1,sum2,sum3,sum4,sum;int i;sum1=sum2=sum3=sum4=0.0;for(i=0;i 100;i+=4)sum1+=ai;sum2+=ai+1;sum3+=ai+2;sum4+=ai+3;sum=(sum4+sum3)+(sum1+sum2);要注意的是:使用使用 4 路分解是因为这
24、样使用了路分解是因为这样使用了 4 段流水线浮点加法,浮点加法的每一段流水线浮点加法,浮点加法的每一个段占用一个时钟周期,保证了最大的资源利用率。个段占用一个时钟周期,保证了最大的资源利用率。(2 2)避免没有必要的读写依赖)避免没有必要的读写依赖 当数据保存到内存时存在读写依赖,即数据必须在正确写入后才能再次读取。虽然AMD Athlon 等 CPU 有加速读写依赖延迟的硬件,允许在要保存的数据被写入内存前读取出来,但是,如果避免了读写依赖并把数据保存在内部寄存器中,速度会更快。在一段很长的又互相依赖的代码链中,避免读写依赖显得尤其重要。如果读写依赖发生在操作数组时,许多编译器不能自动优化代
25、码以避免读写依赖。所以推荐程序员手动去消除读写依赖,举例来说,引进一个可以保存在寄存器中的临时变量。这样可以有很大的性能提升。下面一段代码是一个例子:不好的代码:float xVECLEN,yVECLEN,zVECLEN;。for(unsigned int k=1;k VECLEN;k+)xk=xk-1+yk;for(k=1;k VECLEN;k+)xk=zk*(yk-xk-1);推荐的代码:float xVECLEN,yVECLEN,zVECLEN;。float t(x0);for(unsigned int k=1;k VECLEN;k+)t=t+yk;xk=t;t=x0;for(k=1;k
26、 b-c4-aardvark+a-b-c4-baboon+a-b-c4-cheetah+a-b-c4-dog;新代码:struct animals*temp=a-b-c4;total=temp-aardvark+temp-baboon+temp-cheetah+temp-dog;一些老的 C 语言编译器不做聚合优化聚合优化,而符合 ANSI 规范的新的编译器可以自动完成这个优化,看例子:float a,b,c,d,f,g;。a=b/c*d;f=b*g/c;这种写法当然要得,但是没有优化 float a,b,c,d,f,g;。a=b/c*d;f=b/c*g;如果这么写的话,一个符合 ANSI 规
27、范的新的编译器可以只计算 b/c 一次,然后将结果代入第二个式子,节约了一次除法运算。8 8、函数优化、函数优化 (1 1)InlineInline 函数函数 在 C+中,关键字 Inline 可以被加入到任何函数的声明中。这个关键字请求编译器用函这个关键字请求编译器用函数内部的代码替换所有对于指出的函数的调用。数内部的代码替换所有对于指出的函数的调用。这样做在两个方面快于函数调用:第一,省去了调用指令需要的执行时间;第二,省去了传递变元和传递过程需要的时间。但是使用这种方法在优化程序速度的同时,程序长度变大了,因此需要更多的 ROM。使用这种优化使用这种优化在在 Inline 函数频繁调用并
28、且只包含几行代码的时候是最有效的。函数频繁调用并且只包含几行代码的时候是最有效的。(2 2)不定义不使用的返回值)不定义不使用的返回值 函数定义并不知道函数返回值是否被使用,假如返回值从来不会被用到,应该使用 void来明确声明函数不返回任何值。(3 3)减少函数调用参数)减少函数调用参数 使用全局变量全局变量比函数传递参数更加有效率。这样做去除了函数调用参数入栈和函数完成后参数出栈所需要的时间。然而决定使用全局变量会影响程序的模块化和重入,故要慎重使用。(4 4)所有函数都应该有原型定义)所有函数都应该有原型定义 一般来说,所有函数都应该有原型定义。原型定义可以传达给编译器更多的可能用于优化
29、的信息。(5 5)尽可能使用常量)尽可能使用常量(const)(const)尽可能使用常量(const)。C+标准规定,如果一个 const 声明的对象的地址不被获取,允许编译器不对它分配储存空间。这样可以使代码更有效率,而且可以生成更好的代码。(6 6)把本地函数声明为静态的)把本地函数声明为静态的(static)(static)如果一个函数只在实现它的文件中被使用,把它声明为静态的(static)以强制使用内部连接。否则,默认的情况下会把函数定义为外部连接。这样可能会影响某些编译器的优化比如,自动内联。9 9、采用递归、采用递归 与 LISP 之类的语言不同,C 语言一开始就病态地喜欢用重
30、复代码循环,许多 C 程序员都是除非算法要求,坚决不用递归。事实上,C 编译器们对优化递归调用一点都不反感,相反,它们还很喜欢干这件事。只有在递归函数需要传递大量参数,可能造成瓶颈的时候,才应该使用循环代码,其他时候,还是用递归好些。1010、变量、变量 (1 1)registerregister 变量变量 在声明局部变量的时候可以使用 register 关键字。这就使得编译器把变量放入一个多用途的寄存器中,而不是在堆栈中,合理使用这种方法可以提高执行速度。函数调用越是频繁,越是可能提高代码的速度。在最内层循环避免使用全局变量和静态变量,除非你能确定它在循环周期中不会动态变化,大多数编译器优化
31、变量都只有一个办法,就是将他们置成寄存器变量,而对于动态变量,它们干脆放弃对整个表达式的优化。尽量避免把一个变量地址传递给另一个函数,虽然这个还很常用。C 语言的编译器们总是先假定每一个函数的变量都是内部变量,这是由它的机制决定的,在这种情况下,它们的优化完成得最好。但是,一旦一个变量有可能被别的函数改变,这帮兄弟就再也不敢把变量放到寄存器里了,严重影响速度。看例子:a=b();c(&d);因为 d 的地址被 c 函数使用,有可能被改变,编译器不敢把它长时间的放在寄存器里,一旦运行到 c(&d),编译器就把它放回内存,如果在循环里,会造成 N 次频繁的在内存和寄存器之间读写d的动作,众所周知,
32、CPU在系统总线上的读写速度慢得很。比如你的赛杨300,CPU 主频 300,总线速度最多 66M,为了一个总线读,CPU 可能要等 4-5 个周期,得。得。得。想起来都打颤。(2 2)、同时声明多个变量优于单独声明变量)、同时声明多个变量优于单独声明变量 (3 3)、短变量名优于长变量名,应尽量使变量名短一点)、短变量名优于长变量名,应尽量使变量名短一点 (4 4)、在循环开始前声明变量)、在循环开始前声明变量 1111、使用嵌套的、使用嵌套的 ifif 结结构构 在 if 结构中如果要判断的并列条件较多,最好将它们拆分成多个 if 结构,然后嵌套在一起,这样可以避免无谓的判断。说明:上面的优化方案由王全明收集整理。很多资料来源与网上,出处不祥,在此对所有作者一并致谢!该方案主要是考虑到在嵌入式开发中对程序执行速度的要求特别高,所以该方案主要是为了优化程序的执行速度优化程序的执行速度。注意:优化是有侧重点的,优化是一门平衡的艺术,它往往要以牺牲程序的可读性或者增加代码长度为代价。(任何情况下,空间优化和时间优化都是对立的-东楼)。作者:Feisky 出处:http:/