详解嵌入式程序设计中遇到的优化问题

嵌入式系统是受功耗、成本和体积等因素的制约，由于嵌入式一些微处理器的处理能力会有大的差距，所以嵌入式系统在程序的运行上都是比较苛刻的，那么遇到这样的问题，那就需要对嵌入式应用程序来进行性能的优化，来满足需求。

我们首先就要先知道嵌入式程序优化的类型有哪些呢?

嵌入式应用程序优化，指在不改变程序功能的情况下，通过修改原来程序的算法、结构，并利用软件开发工具对程序进行改进，使修改后的程序运行速度更高或代码尺寸更小。

按照优化的侧重点不同，程序优化可分为运行速度优化和代码尺寸优化。运行速度优化是指在充分掌握软硬件特性的基础上，通过应用程序结构调整等手段来缩短完成指定任务所需的运行时间;代码尺寸优化则是指应用程序在能够正确实现所需功能的前提下，尽可能减小程序的代码量。实际应用中，这两者往往是相互矛盾的，为了提高程序运行速度，就要以增加代码量为代价;而为了减小程序代码尺寸，可能又要以降低程序运行速度为代价。因此，在对程序进行优化之前，应根据实际需要来制定具体的优化策略。随着计算机和微电子技术的不断发展，存储空间已不再是制约嵌入式系统的主要因素，因此本文主要讨论运行速度优化。

接下来就是嵌入式程序设计中优化遵循的原则了

嵌入式程序优化主要遵循以下3个原则。

①等效原则：优化前后程序实现的功能一致。

②有效原则：优化后要比优化前运行速度快或占用存储空间小，或二者兼有。

③经济原则：优化程序要付出较小的代价，取得较好的结果。

重点来了嵌入式程序优化的主要方面：算法和数据结构优化、编译优化以及代码优化。

算法和数据结构优化

算法和数据结构是程序设计的核心所在，算法的好坏在很大程度上决定了程序的优劣。

编译优化

现在，很多的编译器都具有一定的代码优化功能。在编译时，借用并行程序设计技术，进行相关性分析;获得源程序的语义信息，采用软件流水线、数据规划、循环重构等技术，自动进行一些与处理器体系无关的优化，生成高质量的代码。许多编译器有不同级别的优化选项，可以选用一种合适的优化方式。通常情况下，如果选用了最高级别的优化方式，那么编译器将片面追求代码的优化，有时会导致错误。

另外，还有一些专用的编译器针对某些体系结构进行了优化设计，可以充分利用硬件资源来生成高质量的代码。例如：Microsoft eMbedded Visual C++版的Intel编译器完全针对Intel XScale体系，经过高度优化，能创建运行速度更快的代码。此编译器采用了多种优化技术，包括优化指令管道操作的调度技术、双重加载与存储Intel XScale技术功能支持以及过程间优化(将函数使用的变量存放到寄存器，以便快速访问)等。

在嵌入式软件开发过程中应选择一种优化能力强的编译器，充分利用其代码优化功能，生成高效的代码，提高程序的运行效率。

代码优化

代码优化，就是采用汇编语言或更精简的程序代码来代替原有的代码，使编译后的程序运行效率更高。编译器可以自动完成程序段和代码块范围内的优化，但很难获取程序语义信息、算法流程和程序运行状态信息，因而需要编程人员进行手工优化。以下是一些常用的优化技术和技巧。

(1)代码替换

使用周期短的指令代替周期长的指令，以降低运算的强度。

①减少除法运算。用关系运算符两边乘除数避免除法操作，还有一些除法和取模的运算可以用位操作来代替。因为位操作指令只需一个指令周期，而“/”运算则需要调用子程序，代码长，执行慢。例如：

优化前if((a/b)>c)和a=a/4

优化后if(a>(b*c))和a=a>>2

②减少乘方运算。例如：

优化前a=pow(a，3.0)

优化后a=a*a*a

③使用白加、自减指令。例如：

优化前a=a+1、a=a-l

优化后a++、a--或inc、dec

④尽量使用小的数据类型。在所定义的变量满足使用要求的条件下，优先使用顺序为：字符型(char)>整型(im)>长整型(long int)>浮点型(float)。

对除法来说，使用无符号数比有符号数会有更高的效率。在实际调用中，尽量减少数据类型的强制转换;少用浮点运算，如果运算的结果能够控制在误差之内，则可用长整型代替浮点型。

点击获取1V1嵌入式学习规划，现在还送100G精选学习资料。文中文获取吖

(2)全局变量与局部变量

少用全局变量，多用局部变量。全局变量是放在数据存储器中的，定义了全局变量，MCU就少了一个可以利用的数据存储器空间，太多的全局变量，会导致编译器无足够的内存分配;而局部变量则大多定位于MCU内部的寄存器中。在绝大多数的MCU中，使用寄存器的操作速度比数据存储器快，指令也更灵活，有利于生成质量更高的代码，而且局部变量所占用的寄存器和数据存储器在不同的模块中可以重复利用。

(3)使用寄存器变量

当一个变量被频繁读/写时，需要反复访问内存，花费大量的存取时间。为了提高访问效率，可以使用CPU寄存器变量，不需要访问内存，直接进行读/写。循环次数较多的循环控制变量及循环体内反复使用的变量均可定义为寄存器变量，而循环计数是应用寄存器变量的最佳选择。只有局部自动变量和形参才可以定义为寄存器变量。因为寄存器变量属于动态存储方式，因此凡需要采用静态存储方式的变量都不能定义为寄存器变量。寄存器变量的说明符是register。下面是一个采用寄存器变量的例子：

register i,sum=0;

for(i=1;i<=n;i++)

{

sum=sum+i;

...

}

(4)循环体的优化

循环体是程序设计和优化的重点，对于一些不需要循环变量参加运算的模块，可以把它放到循环的外面。对于次数固定的循环体，for循环比while循环效率更高，减计数循环比增计数循环速度快。例如：

优化前：

for(i=0;i<100;i++)

{

sum=sum+100;

...

}

优化后：

for(i=100;i!=0;i--)

{

sum=sum+100;

...

}

实际运行时，每次循环需要在循环体外加两条指令：一条减法指令(减少循环计数值)和一条条件分支指令。这些指令称为“循环开销”。在ARM处理器上，减法指令需要1个周期，条件分支指令需要3个周期，这样每个循环另加了4个周期的开销。可以采用循环展开的方法来提高循环运行的速度，即：重复循环主题多次，并按同样的比例减少循环次数来减小循环的开销，以增加代码尺寸。来换取程序的运行速度。。

(5)switch语句用法的优化

编程时，对case值按照可能性排序，将最可能发生的情况放在第一个，最不可能的情况放在最后一个，可以提高switch语句块的执行速度。

(6)函数调用

高效的调用函数，尽量限制使用函数的参数个数，不要超过4个。ARM调用时，4个以下的形参通过寄存器传递，第5个以上的形参通过存储器栈传递。如果有更多的参数调用，则可将相关的参数组织在一个结构体内，用传递结构体指针来代替参数。

(7)内联函数和内嵌汇编

对性能影响大的重要函数可以使用关键字_inline内联，会省去调用函数的开销，负面影响是增加了代码尺寸。程序中对时间要求苛刻的部分可以用内嵌汇编来编写，通常可以带来速度上的显著提高。

(8)查表代替计算

在程序中尽量不进行非常复杂的运算，如浮点数的开方。对于这些消耗时间和资源的运算，可以采用空间换取时间的方法。预先将函数值计算出来，置于程序存储区中，以后程序运行时直接查表即可，减小了程序执行过程中重复计算的工作量。

(9)减少或避免执行耗时的操作

应用程序的大量运行时问通常花费在关键程序模块，关键模块往往包含循环或嵌套循环。减少循环中耗时的操作，可以提高程序的执行速度。常见的耗时操作有：输入/输出操作、文件访问、图形界面操作和系统调用等。其中，如果无法避免文件的读/写，那么对文件的访问将是影响程序运行速度的一大因素。提高文件访问速度的方法有两种：一种是采用内存映射文件;另一种是使用内存缓存。

(10)使用针对硬件优化的函数库

Intel公司为XScale处理器设计的GPP(Graphics Performance Primitives library)/IPP(Integrated Perform-ance Primitives library)库，针对多媒体处理、图形处理和数值运算的一些典型操作和算法进行了手工优化，可以很好地发挥XScale硬件的计算潜能，达到很高的执行效率。

(11)利用硬件特性

为了提高程序的运行效率，要充分利用硬件特性来减小其运行开销，例如减少中断次数、利用DMA传输方式等。

CPU对各种存储器的访问速度排序依次为：CPU内部RAM>外部同步RAM>外部异步RAM>Flash/ROM。对于已经烧录在Flash或ROM中的程序代码，如果让CPU直接从中读取代码执行，运行速度较慢，则可在系统启动后将Flash或ROM中的目标代码拷贝至RAM中后执行，以提高程序的运行速度。

嵌入式程序设计必不可少的就是遇到优化的问题，那通过上诉一系列的讲解，你是不是对嵌入式程序设计里的优化，有了更深一层的理解了呢?我们需要的是根据实际情况来看，算法和数据结构优化作为首选优化技术，然后根据功能、性能差异和投资预算等因素选择高效的编译器，代码优化手段对其进行优化，最后就是使用高效的编译器进行编译优化，从而得到高质量的代码。