xScale应用程序性能的优化策略
扫描二维码
随时随地手机看文章
摘要:XScale是一款具有高性能、低功耗特性的ARM兼容嵌入式微处理器架构。XScale引入了多种硬件特性提高其处理能力,但也给应用程序的优化带来了困难。本文介绍XScale体系结构的特点,从开发工具选择、系统设计和编程开发等多个角度讨论对XScale应用程序进行优化的策略和技术。
关键词:XScale 编译优化 优化策略ARM
引言
XScale体系结构是采用Intel Pentium技术实现的ARM兼容的嵌入式微处理器架构,并对ARM体系结构进行了增强,具有业界领先的高性能和低功耗特性被广泛应用于消费电子、无线通信、多媒体和网络交换等嵌入式应用领域。XScale引入了一系列高性能微处理器的设计技术,总体性能显著地超出同主频的ARM微处理器。然而,由于受功耗、成本和体积等因素的制约,嵌入式微处理器的处理能力与桌面系统相比仍存在较大差距。通常需要对嵌入式应用程序进行性能优化,以满足嵌入式应用的性能需求。
业界对嵌入式系统的性能优化进行了很多研究与实践。文献为XScale优化编译器的设计提供了多种优化技术,也可用于一些应用程序的手工优化;文献从应用程序编程的角度讨论了ARM嵌入式系统软件设计优化技术;文献讨论了提高C/C++嵌入式应用程序性能的一些技巧,其中多数技术可以由优化编译器中实现。
本文在总结XScale优化编译器设计和XScale嵌入式系统设计开发工作的基础上,从系统设计、开发工具选择、编译优化和编程开发等角度讨论和提出了XScale应用程序的优化策略和技术。
1 XScale体系结构
XScale微架构引入了Pentium处理器工艺和系统结构技术,实现了Pentium微处理器体系结构的一系列高性能技术,达到了高性能、低功耗和小体积等嵌入式系统要求的特性。
(1)超流水线
Xscale的超流水线(SuperPipeline)技术,如图1所示,由整数处理(integer)、乘加(MAC)和存储(memory)3条流水线组成。3条流水线的长度是6到9段,前4到5段共享,后面分支部分并行工作可有效提高处理器性能。
(2)高主频
采用Pentium工艺技术,XScale主频可以超出普通ARM微处理器主频数倍,在保持较低能量消耗的前提下,高达600MHz以上。如PXA27X的主频可高达724MHz。
(3)存储体系
XScale实现了一个高效的存储器体系结构,为其超流水线的高效运行提供数据资源。XScale存储体系功能主要包括32KB D-Cache、32KB I-Cache、2KB Mini Dcache、Fill Buffers、ending Buffers以及4.8GB/s带宽的存储总线,使处理器可以高效访问存储器。
(4)分支预测
XScale实现了基于统计分析的分支预测功能部件,减少由于分支转移冲刷指令流水线的次数,也有效地提高了处理器的性能。
(3)指令集体系结构
针对ARM数据处理能力的不足,XScale对ARM的乘加逻辑进行了增强,增加了8条DSP指令。XScale处理器还可集成Flash闪存和无线MMX逻辑功能。这些特性有效地提高了XScale数据处理能力。带有无线MMX的PXA27X在312MHz主频运行处理多媒体应用时,其性能与520MHz ARM处理器相当。
(6)省去不常用的逻辑功能
为了节省处理器芯片体积和降低运行功耗,XScale体系结构没有实现昂贵的浮点运算部件和除法部件。这些是嵌入式应用中不常用的运算。当需要这类运算时,可以通过软件方法实现。
XScale复杂的体系结构给嵌入式应用程序的优化带来了更大的困难。
2 性能优化技术
XScale处理器性能的发挥很大程度上依赖于应用程序的优化技术。XScale嵌入式应用系统的性能优化可以下几个方面考虑。
2.1 算法结构优化
实现某种应用功能通常可采用多种算法或方法,不同算法的复杂度和效率差别很大。选择一种高效的算法或对算法进行优化,可以使应用程序获得最大的优化性能。常用的优化技术有以下几种。
(1)选择高效算法
如果算法效率低下,再快的处理器也会显得不够有,而一个高效的算法却可以弥补处理器性能的不足。
考虑从已排序好的n个元素a[0:n-1]中找出某一特定元素x。如果采用顺序搜索方式,从a[0]到a[n-1]逐个比较这n个元素,需要O(n)次比较。而如果采用二分搜索方法,则仅需O(logn)次比较。当n为2 31时,前一算法平均需要比较2 31次,后一算法平均仅需比较31次。两者所需时间相差达10 8倍。
(2)递归算法非递归化
采用递归过程实现算法具有结构清晰、程序简练易读、正确性容易证明的特点;但递归算法通常需要执行大量的过程调用,并在堆栈中保存所有返回过程的局部变量,效率往往较低。当应用程序存在性能问题时,使用循不迭代方法将递归算法转换成非递归算法往往可以使程序性能提高数倍。文献对八皇后问题和Fibonacci数列的递归算法与非递归算法进行了性能比较试验,结果如表1所列。
表1 递归算法和非递归算法的性能对比
问题 | 递归算法时间/s | 非递归算法时间/s | 加速比/倍 |
八皇后问题(最大栈深度为12) | 100 | 20 | 5 |
Fibonacci数列(n=40) | 50 | 1 | 50 |
算法优化是首选的优化技术。
2.2 编译优化
随着编译技术的成熟,很多编译器都实现了较强的代码优化功能,可在编译过程中自动对应用程序进行优化,改进一些不合理的结构,生成效率较高的目标代码。
多数编译器都可基于数据流分析实现别名分析、常数拆叠、常数传播、公共子表达式消除、冗余代码和死码删除、循环不变量的移动、循环逆转、循环展开、函数嵌入等与体系结构无关的优化。
GNU gcc、WindRiverdiab、Intl XScale Compiler等常见编译器都针对XScale体系结构进行了优化设计,可以有效地利用XScale/ARM指令的条件执行、条件设置和操作数移位等功能,使一条指令完成多个操作,缩短指令序列的长度;减少跳转指令的数目,减少冲刷流水线的次数;按照XScale超流水线要求,利用3地址指令、多字传送指令、DSP乘加指令和MMX指令等,生成高效的指令序列,提高应用程序的性能。
一些优化编译器可借用并行程序设计技术,进行相关性分析,获得源程序的语义信息,采用软件流水线、数据规划、循环重构等技术,使应用程序呈现更好的局部性,提高Cache命中率,从而提高计算密集型应用程序的性能。对于矩阵计算等计算密集型程序,一些高性能优化编译器生成的代码可以高出普通编译器产生的代码十倍之多。
应用程序开发过程中应该充分利用编译器的代码优化功能,在编码时将主要精力集中在业务逻辑算法流程的设计上,提高编程效率和代码可读性。
2.3 编程优化
编译优化是静态优化。优化编译器可以自动完成程序段和代码块范围内的优化问题,但编译器很难获取程序语义信息、算法流程和程序运行状态信息。很多情况下也需要编译人员以某种方式将程序运行状态信息传递给编译器,或进行手工优化。以下是常用的编译优化技术。
(1)使用inline函数
多数编译器支持inline关键字。如果一个函数被设计成一个inline函数,那么在调用它们的地方将会用函数体来替代函数调用语句,这样将会彻底省去函数调用的开销。使用inline的最大缺点是函数在被多处调用时,代码量将增大。
(2)减少函数调用参数
根据ARM过程调用规范,4个以下的形参通过寄存器传递,第5个以上的形参通过存储器栈传递。显然,通过存储器栈传送参数的开销较大。函数调用形参限制在4个以内,可以降低函数调用的开销。
(3)在Switch是一种使用普通的编程技术。编译器为之产生if-else-if嵌套代码,并按照顺序进行比较,发现匹配则跳到满足条件的语句执行。编程时,根据发生的相对频率排序,将最可能发生的情况放在第一位,最不可能的情况放在最后一位,可以提高Switch语句块的执行速度。
实际上,程序中if条件的处理也有类似的特性。
(4)避免使用C++的昂贵功耗
C++在支持软件工程、面向对象程序设计、结构化对C进行卓有成效的改进,但在代码尺寸、执行速度等方面比C语言差一些。C++的类机制与C语言的结构差别不大,但C++的多重继承、虚拟基类、模板和运行类型识别等特性对代码尺寸和运行效率有负面影响。对这些功能要慎重使用,可以通过试验测试其影响的大小。
(5)减少或避免执行耗时的操作
应用程序的主要执行时间通常花费在关键路径代码段或程序模块,关键路径程序模块往往包含循环或嵌套循环。减少循环或内层循环中昂贵操作的执行频率可以显著地提高应用程序的效率。常见的耗时操作有:I/O操作、文件访问、图形界面操作和系统调用等。
表2列出了XScale常见的I/O处理、系统调用和文件访问等昂贵操作的代价。
表2 XScale常见最昂贵操作的代码
操作类型 | 代价(时钟周期/个) |
sprintf | 828 |
fprintf | 540 |
fread | 552 |
fwrite | 864 |
write | 216 |
Read | 216 |
除法 | 112 |
atoi | 596 |
对于文件访问等操作,每次读入和写出一个较大的数据块,或使用内存映射技术访问文件,可以减少相关系统调用执行的次数,从而提高程序执行的性能。下面是一个使用这种优化技术的示例。
优化前代码:
int data_in,int data_out;
int file_in,file_out;
…
for(;;){
read(file_in,data_in,1);
data_out=decode(&data_in);
write(file_out,&data_out,1);
}
优化后代码:
int data_in[1024],
int data_out[1024];
int file_in,file_out;
…
for(;;){
read(file_in,data_in,1024);
}
(6)用查表代替计算
在处理器资源紧张和存储器资源相对富余的情况下,可以用牺牲存储空间换取速度的方法。例如需要频繁计算正弦和余弦等函数数值时,可预先将函数值计算出来,置于内存,供以后查找。
2.4 高性能开发工具
应用程序的可执行代码通常由编译器编译产生的目标代码和链接程序从系统库提取的库例程两部分组成。
选择一种优化能力强的编译器和开发工具可以生成更加高效的代码。WindRiver Diab、GNU gcc、GNUpro和Intel XScale Compiler都针对XScale体系结构进行了优化。
嵌入式应用程序通常包含大量的系统函数调用。在XScale平台上的测试结果表明:MediaBench的应用程序大约有50%的执行时间花费在系统库函数,选用高效的系统运行库(runtime library)也可使应用程序的运行效率获得提升。如glibc库的缓冲区的大小是newlib的数十倍,所以在处理输入输出操作方面具有更高的效率。
2.5 特定于XScale体系结构的优化
(1)避免除法
XScale没有除法部件和整数除法指令,除法是由软件实现的。软件实现的除法效率很低,应该尽可能避免除法和计算余数等运算。有时可以将除法转变为乘法。下面两侧是除法操作优化的示例。
①用关系运算符两边乘除数消除除法操作
优化前:if((x/y)>z)
优化后:if(x>(y*z))
②将除法转换为乘常数和移位操作
优化前:v.x=(v1.x+v2.x+v3.x)/3
优化后:使用常数乘数0x5555转换成
v.x=(int)(((_int64)(v1.x+v2.x+v3.x)*
(_int64)0x55555)>>16);
(2)避免浮点运算
XScale没有实现浮点部件。浮点运算是通过系统库实现的,代价很高,通常也应该避免,有时可以转换成整数运算。包含浮点运算的库例程有格式化输入输出(scanf/printf)等。XScale中常见浮点运算的代价如表3所列。
表3 XScale常见浮点运算的代价
运算类型 | 代价(时钟周期/个) |
加法+ | 400 |
乘法* | 400 |
除法/ | 560 |
(3)使用GPP和IPP库
XScale的很多硬件特性是针对多媒体嵌入式应用的特点而设计的,很难在编译器中支持这些特性。为此,Intel公司对多媒体处理、图形处理和数值运算的一些典型操作和算法进行了手工优化,设计成程序库,分别称为GPP/IPP库。这些库例程可以很好地发挥XScale硬件的计算潜能,达到很高的执行效率。用IPP库实现除法和平方根的性能如图2所示。
由图2可以看出,使用IPP/GPP库使相关操作的性能获得大幅提升。
3 性能优化策略
应用程序的性能优化与缩短开发周期、软件工程和OOP的目标之间通常存在矛质。嵌入式系统需要性能优,但性能优化需要人力物力投入,会增加开发时间,降低程序的可读性,排斥使用新的开发工具和编程语言。而软件工程的目标是使用高效的开发工具。编程语言和编程规范提高程序的可读性、可靠性,缩短开发周期,降低项目成本。为此应该在二者之间寻找一种平衡。通常可以采取以下策略和原则;
①将算法结构优化作为首选优化技术,设计高效的应用程序流程和算法;
②根据功能、性能差异和投资预算选择高效的编译器、系统运行库、图形库、中间件等;
③使用性能监测工具识别占主要执行时间的关键路径程序模块,采用一切优化手段对关键路径代码和程序模块进行优化,挖掘应用程序性能;
④非关键路径的流程控制代码按照软件工程的要求,采用高效率程序语言和开发工具实现,提高设计开发效率。使用编译器进行优化。
结语
XScale体系结构按照嵌入式应用的要求,采用Pentium系列微处理器设计技术和工艺设计的一款性能突出的ARM兼容嵌入式微处理器。XScale体系结构引入了多种硬件特性增强处理器的性能,但也给应用程序优化带来了挑战。发挥XScale体系结构的性能,需要操作系统、编译器、运行库、连接程序和装载程序等各层系统软件的支持,需要在嵌入式项目的系统规范、开发工具选型、系统设计和编码等多个阶段考虑对应用程序进行优化。