1、选择合适的算法和数据结构
选择一种合适的数据结构很重要,如果在一堆随机存放的数中使用了大量的插入和删除指令,那使用链表要快得多。数组与指针语句具有十分密切的关系,一般来说,指针比较灵活简洁,而数组则比较直观,容易理解。对于大部分的编译器,使用指针比使用数组生成的代码更短,执行效率更高。
在许多种情况下,可以用指针运算代替数组索引,这样做常常能产生又快又短的代码。与数组索引相比,指针一般能使代码速度更快,占用空间更少。使用多维数组时差异更明显。下面的代码作用是相同的,但是效率不一样。
数组索引 指针运算 for(;;){ p=array a=array[t++]; for(;;){ a=*(p++); 。。。。。。。。。。。。。。。 } } 指针方法的优点是,array的地址每次装入地址p后,在每次循环中只需对p增量操作。在数组索引方法中,每次循环中都必须根据t值求数组下标的复杂运算。
2、使用尽量小的数据类型 能够使用字符型(char)定义的变量,就不要使用整型(int)变量来定义;能够使用整型变量定义的变量就不要用长整型(long int),能不使用浮点型(float)变量就不要使用浮点型变量。当然,在定义变量后不要超过变量的作用范围,如果超过变量的范围赋值,c编译器并不报错,但程序运行结果却错了,而且这样的错误很难发现。
在iccavr中,可以在options中设定使用printf参数,尽量使用基本型参数(%c、%d、%x、%x、%u和%s格式说明符),少用长整型参数(%ld、%lu、%lx和%lx格式说明符),至于浮点型的参数(%f)则尽量不要使用,其它c编译器也一样。在其它条件不变的情况下,使用%f参数,会使生成的代码的数量增加很多,执行速度降低。
3、减少运算的强度 (1)、查表(游戏程序员必修课) 一个聪明的游戏大虾,基本上不会在自己的主循环里搞什么运算工作,绝对是先计算好了,再到循环里查表。看下面的例子:
旧代码:
long 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_table[i];} 如果表很大,不好写,就写一个init函数,在循环外临时生成表格。
(2)求余运算 a=a%8; 可以改为:
a=a&7; 说明:位操作只需一个指令周期即可完成,而大部分的c编译器的“%”运算均是调用子程序来完成,代码长、执行速度慢。通常,只要求是求2n方的余数,均可使用位操作的方法来代替。
(3)平方运算 a=pow(a, 2.0); 可以改为:
a=a*a; 说明:在有内置硬件乘法器的单片机中(如51系列),乘法运算比求平方运算快得多,因为浮点数的求平方是通过调用子程序来实现的,在自带硬件乘法器的avr单片机中,如atmega163中,乘法运算只需2个时钟周期就可以完成。既使是在没有内置硬件乘法器的avr单片机中,乘法运算的子程序比平方运算的子程序代码短,执行速度快。
如果是求3次方,如:
a=pow(a,3.0); 更改为:
a=a*a*a; 则效率的改善更明显。
(4)用移位实现乘除法运算 a=a*4;b=b/4; 可以改为:
a=a<>2; 通常如果需要乘以或除以2n,都可以用移位的方法代替。在iccavr中,如果乘以2n,都可以生成左移的代码,而乘以其它的整数或除以任何数,均调用乘除法子程序。用移位的方法得到代码比调用乘除法子程序生成的代码效率高。实际上,只要是乘以或除以一个整数,均可以用移位的方法得到结果,如:
a=a*9 可以改为:
a=(a<<3)+a 采用运算量更小的表达式替换原来的表达式,下面是一个经典例子:
旧代码:
x = w % 8;y = pow(x, 2.0);z = y * 33;for (i = 0;i < max;i++){ h = 14 * i; printf(%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 != rvoid 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、循环优化 (1)充分分解小的循环 要充分利用cpu的指令缓存,就要充分分解小的循环。特别是当循环体本身很小的时候,分解循环可以提高性能。
注意,很多编译器并不能自动分解循环。不好的代码:
// 3d转化:把矢量 v 和 4x4 矩阵 m 相乘for (i = 0;i < 4;i ++){r[i] = 0;for (j = 0;j 0;i--) ;} 两个函数的延时效果相似,但几乎所有的c编译对后一种函数生成的代码均比前一种代码少1~3个字节,因为几乎所有的mcu均有为0转移的指令,采用后一种方式能够生成这类指令。在使用while循环时也一样,使用自减指令控制循环会比使用自加指令控制循环生成的代码更少1~3个字母。
但是,在循环中有通过循环变量“i”读写数组的指令时,使用预减循环有可能使数组超界,要引起注意。
(4)while循环和do…while循环 用while循环时有以下两种循环形式:
unsigned int i;i=0;while (i0); 在这两种循环中,使用do…while循环编译后生成的代码的长度短于while循环。
(5)循环展开 这是经典的速度优化,但许多编译程序(如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++;} 可以看出,新代码里比较指令由100次降低为10次,循环时间节约了90%。不过注意:对于中间变量或结果被更改的循环,编译程序往往拒绝展开(怕担责任呗),这时候就需要你自己来做展开工作了。
还有一点请注意,在有内部指令cache的cpu上(如mmx芯片),因为循环展开的代码很大,往往cache溢出,这时展开的代码会频繁地在cpu 的cache和内存之间调来调去,又因为cache速度很高,所以此时循环展开反而会变慢。还有就是循环展开会影响矢量运算优化。
(6)循环嵌套 把相关循环放到一个循环里,也会加快速度。
旧代码:
for (i = 0; i < max; i++) /* initialize 2d array to 0's */ for (j = 0; j < max; j++) a[i][j] = 0.0; for (i = 0; i < max; i++) /* put 1's along the diagonal */ a[i][i] = 1.0; 新代码:
for (i = 0; i < max; i++) /* initialize 2d array to 0's */{ for (j = 0; j < max; j++) a[i][j] = 0.0; a[i][i] = 1.0; /* put 1's along the diagonal */} (7)switch语句中根据发生频率来进行case排序 switch 可能转化成多种不同算法的代码。其中最常见的是跳转表和比较链/树。当switch用比较链的方式转化时,编译器会产生if-else-if的嵌套代码,并按照顺序进行比较,匹配时就跳转到满足条件的语句执行。所以,可以对case的值依照发生的可能性进行排序,把最有可能的放在第一位,这样可以提高性能。
此外,在case中推荐使用小的连续的整数,因为在这种情况下,所有的编译器都可以把switch 转化成跳转表。
不好的代码:
int days_in_month, short_months, normal_months, long_months;。。。。。。switch (days_in_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 ++;break;case 28:case 29:short_months ++;break;default:cout << month has fewer than 28 or more than 31 days
type) { case infrequent_msg1: handleinfrequentmsg1(); break; case infrequent_msg2: handleinfrequentmsg2(); break; 。。。。。。 case infrequent_msgm: handleinfrequentmsgm(); break; }} 如果switch中每一种情况下都有很多的工作要做,那么把整个switch语句用一个指向函数指针的表来替换会更加有效,比如下面的switch语句,有三种情况:
enum msgtype{msg1, msg2, msg3}switch (receivemessage(){ case msg1; 。。。。。。 case msg2; 。。。。。 case msg3; 。。。。。} 为了提高执行速度,用下面这段代码来替换这个上面的switch语句。
/*准备工作*/int handlemsg1(void);int handlemsg2(void);int handlemsg3(void);/*创建一个函数指针数组*/int (*msgfunction [])()={handlemsg1, handlemsg2, handlemsg3};/*用下面这行更有效的代码来替换switch语句*/status=msgfunction[receivemessage()](); (9)循环转置 有些机器对jnz(为0转移)有特别的指令处理,速度非常快,如果你的循环对方向不敏感,可以由大向小循环。
旧代码:
for (i = 1; i <= max; i++){ 。。。} 新代码:
i = max+1;while (--i){ 。。。} 不过千万注意,如果指针操作使用了i值,这种方法可能引起指针越界的严重错误(i = max+1;)。当然,你可以通过对i做加减运算来纠正,但这样就起不到加速的作用,除非类似于以下情况:
旧代码:
char a[max+5];for (i = 1; i <= max; i++){ *(a+i+4)=0;} 新代码:
i = max+1;while (--i){ *(a+i+4)=0;} (10)公用代码块 一些公用处理模块,为了满足各种不同的调用需要,往往在内部采用了大量的if-then-else结构,这样很不好,判断语句如果太复杂,会消耗大量的时间的,应该尽量减少公用代码块的使用(任何情况下,空间优化和时间优化都是对立的--东楼)。
当然,如果仅仅是一个(3==x)之类的简单判断,适当使用一下,也还是允许的。记住,优化永远是追求一种平衡,而不是走极端。
(11)提升循环的性能 要提升循环的性能,减少多余的常量计算非常有用(比如,不随循环变化的计算)。
不好的代码(在for()中包含不变的if()):
for( i 。。。){if( constant0 ){ dowork0( i );// 假设这里不改变constant0的值}else{dowork1( i );// 假设这里不改变constant0的值}} 推荐的代码:
if( constant0 ){for( i 。。。){dowork0( i );}}else{for( i 。。。){dowork1( i );}} 如果已经知道if()的值,这样可以避免重复计算。虽然不好的代码中的分支可以简单地预测,但是由于推荐的代码在进入循环前分支已经确定,就可以减少对分支预测的依赖。
(12)选择好的无限循环 在编程中,我们常常需要用到无限循环,常用的两种方法是while (1)和for (;;)。这两种方法效果完全一样,但那一种更好呢:c语言while(1) 和 for ( ; ; )的区别。然我们看看它们编译后的代码:
编译前:
while (1); 编译后:
mov eax,1test eax,eaxje foo+23hjmp foo+18h 编译前:
for (;;); 编译后:
jmp foo+23h 显然,for (;;)指令少,不占用寄存器,而且没有判断、跳转,比while (1)好。
6、提高cpu的并行性 (1)使用并行代码 尽可能把长的有依赖的代码链分解成几个可以在流水线执行单元中并行执行的没有依赖的代码链。很多高级语言,包括c++,并不对产生的浮点表达式重新排序,因为那是一个相当复杂的过程。
需要注意的是,重排序的代码和原来的代码在代码上一致并不等价于计算结果一致,因为浮点操作缺乏精确度。在一些情况下,这些优化可能导致意料之外的结果。幸运的是,在大部分情况下,最后结果可能只有最不重要的位(即最低位)是错误的。
不好的代码:
double a[100], sum;int i;sum = 0.0f;for (i=0;i<100;i++)sum += a[i]; 推荐的代码:
double a[100], sum1, sum2, sum3, sum4, sum;int i;sum1 = sum2 = sum3 = sum4 = 0.0;for (i = 0;i < 100;i += 4){sum1 += a[i];sum2 += a[i+1];sum3 += a[i+2];sum4 += a[i+3];}sum = (sum4+sum3)+(sum1+sum2); 要注意的是:使用4路分解是因为这样使用了4段流水线浮点加法,浮点加法的每一个段占用一个时钟周期,保证了最大的资源利用率。
(2)避免没有必要的读写依赖 当数据保存到内存时存在读写依赖,即数据必须在正确写入后才能再次读取。虽然amd athlon等cpu有加速读写依赖延迟的硬件,允许在要保存的数据被写入内存前读取出来,但是,如果避免了读写依赖并把数据保存在内部寄存器中,速度会更快。在一段很长的又互相依赖的代码链中,避免读写依赖显得尤其重要。如果读写依赖发生在操作数组时,许多编译器不能自动优化代码以避免读写依赖。
所以,推荐程序员手动去消除读写依赖,举例来说,引进一个可以保存在寄存器中的临时变量。这样可以有很大的性能提升。下面一段代码是一个例子:
不好的代码:
float x[veclen], y[veclen], z[veclen];。。。。。。for (unsigned int k = 1;k < veclen;k ++){x[k] = x[k-1] + y[k];}for (k = 1;k float x[veclen], y[veclen], z[veclen];。。。。。。float t(x[0]);for (unsigned int k = 1;k < veclen;k ++){t = t + y[k];x[k] = t;}t = x[0];for (k = 1;k b->c[4]->aardvark + a->b->c[4]->baboon + a->b->c[4]->cheetah + a->b->c[4]->dog; 新代码:
struct animals * temp = a->b->c[4];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规范的新的编译器可以只计算b/c一次,然后将结果代入第二个式子,节约了一次除法运算。
8、函数优化 (1)inline函数 在c++中,关键字inline可以被加入到任何函数的声明中。这个关键字请求编译器用函数内部的代码替换所有对于指出的函数的调用。
这样做在两个方面快于函数调用:第一,省去了调用指令需要的执行时间;第二,省去了传递变元和传递过程需要的时间。但是使用这种方法在优化程序速度的同时,程序长度变大了,因此需要更多的rom。使用这种优化在inline函数频繁调用并且只包含几行代码的时候是最有效的。
(2)不定义不使用的返回值 函数定义并不知道函数返回值是否被使用,假如返回值从来不会被用到,应该使用void来明确声明函数不返回任何值。
(3)减少函数调用参数 使用全局变量比函数传递参数更加有效率。这样做去除了函数调用参数入栈和函数完成后参数出栈所需要的时间。然而决定使用全局变量会影响程序的模块化和重入,故要慎重使用。
(4)所有函数都应该有原型定义 一般来说,所有函数都应该有原型定义。原型定义可以传达给编译器更多的可能用于优化的信息。
(5)尽可能使用常量(const) 尽可能使用常量(const)。c++ 标准规定,如果一个const声明的对象的地址不被获取,允许编译器不对它分配储存空间。这样可以使代码更有效率,而且可以生成更好的代码。
(6)把本地函数声明为静态的(static) 如果一个函数只在实现它的文件中被使用,把它声明为静态的(static)以强制使用内部连接。否则,默认的情况下会把函数定义为外部连接。这样可能会影响某些编译器的优化——比如,自动内联。
9、采用递归 与lisp之类的语言不同,c语言一开始就病态地喜欢用重复代码循环,许多c程序员都是除非算法要求,坚决不用递归。
事实上,c编译器们对优化递归调用一点都不反感,相反,它们还很喜欢干这件事。只有在递归函数需要传递大量参数,可能造成瓶颈的时候,才应该使用循环代码,其他时候,还是用递归好些。
10、变量 (1)register变量 在声明局部变量的时候可以使用register关键字。这就使得编译器把变量放入一个多用途的寄存器中,而不是在堆栈中,合理使用这种方法可以提高执行速度。函数调用越是频繁,越是可能提高代码的速度。
在最内层循环避免使用全局变量和静态变量,除非你能确定它在循环周期中不会动态变化,大多数编译器优化变量都只有一个办法,就是将他们置成寄存器变量,而对于动态变量,它们干脆放弃对整个表达式的优化。尽量避免把一个变量地址传递给另一个函数,虽然这个还很常用。c语言的编译器们总是先假定每一个函数的变量都是内部变量,这是由它的机制决定的,在这种情况下,它们的优化完成得最好。但是,一旦一个变量有可能被别的函数改变,这帮兄弟就再也不敢把变量放到寄存器里了,严重影响速度。
看例子:
a = b();c(&d); 因为d的地址被c函数使用,有可能被改变,编译器不敢把它长时间的放在寄存器里,一旦运行到c(&d),编译器就把它放回内存,如果在循环里,会造成n次频繁的在内存和寄存器之间读写d的动作,众所周知,cpu在系统总线上的读写速度慢得很。比如你的赛杨300,cpu主频300,总线速度最多66m,为了一个总线读,cpu可能要等4-5个周期,得。。得。。得。。想起来都打颤。
(2)同时声明多个变量优于单独声明变量 (3)短变量名优于长变量名,应尽量使变量名短一点 (4)在循环开始前声明变量 11、使用嵌套的if结构 在if结构中如果要判断的并列条件较多,最好将它们拆分成多个if结构,然后嵌套在一起,这样可以避免无谓的判断。
说明:
上面的优化方案由王全明收集整理。很多资料来源于网上,出处不祥,在此对所有作者一并致谢!
该方案主要是考虑到在嵌入式开发中对程序执行速度的要求特别高,所以该方案主要是为了优化程序的执行速度。
注意:优化是有侧重点的,优化是一门平衡的艺术,它往往要以牺牲程序的可读性或者增加代码长度为代价。
原文标题:长文 | 总结嵌入式c语言代码优化方法
文章出处:【微信公众号:stm32嵌入式开发】欢迎添加关注!文章转载请注明出处。
无线传感器辅助工业智能化累积
厦门的人工智能超算平台正式启动
vifa City便携音箱的性能评测
爱尔兰开发出一种新型人工智能处理芯片 或将在太空中使用
初级数字IC设计-加法器
C语言代码优化的一些技巧
BBC虚拟现实工作室发布VR新品,成功地解决了尼罗河上建造水坝这一难题
中科曙光增持天津海光,加码国产X86处理器
TSMaster图形模块功能详解(三)—— 以CAN信号为例
生益电子112G的PCB产品有望在今年实现量产
FHP540C场效应管是IRF540型号参数的平替
实现无线电传输范围和可靠性的RF增益模块介绍
自动驾驶前端软件DreamView的使用介绍
氩弧焊的危害_氩弧焊的危害怎么防护
高压放大器基于干涉仪的设计与优化中的应用
能量收集技术如何为边缘电池供电系统“续命”
终于有人把RISC-V讲明白了
医疗+VR能够精确操作手术 真正造福于全世界的患者
软磁材料种类有哪些
示波器电流探头使用注意事项