|
摘 要：嵌入式系統(tǒng)對應(yīng)用軟件的質(zhì)量要求很高，在嵌入式開發(fā)中須注意對代碼進(jìn)行優(yōu)化，盡可能地提高代碼效率。雖然C編譯器都提供了一定程度的代碼優(yōu)化，但大部分由編譯器執(zhí)行的優(yōu)化技術(shù)僅涉及執(zhí)行速度和代碼大小的平衡，不可能使程序既快又小，因而必須在編寫程序時(shí)采取必要的措施。本文針對高效率嵌入式程序開發(fā)提供了一些編程技巧，對實(shí)際系統(tǒng)開發(fā)具有重要作用。 關(guān)鍵詞：編譯器; 程序開發(fā); 代碼優(yōu)化 引言 在多媒體、通信等計(jì)算復(fù)雜度高的應(yīng)用中，為了滿足制造費(fèi)用、功耗、性能以及實(shí)時(shí)性等諸多限制條件的要求，嵌入式系統(tǒng)程序往往需要特殊設(shè)計(jì)。這使得設(shè)計(jì)師在設(shè)計(jì)面向特定應(yīng)用的嵌入式軟件時(shí)，需要有一套切實(shí)可行的編程準(zhǔn)則。而在實(shí)際程序設(shè)計(jì)中，工程師尤其需要考慮對變量的使用和循環(huán)程序的處理。 變量使用 在進(jìn)行實(shí)際程序開發(fā)時(shí)，變量的使用至關(guān)重要,其中使用全局變量比向函數(shù)傳遞參數(shù)更加有效，這樣免去了函數(shù)調(diào)用時(shí)參數(shù)入棧和出棧的需要。當(dāng)然，使用全局變量會對程序有一些副作用。變量定義的次序會導(dǎo)致最終映像中數(shù)據(jù)布局的不同。 由此可見，在聲明變量時(shí)，需要考慮怎樣最佳地控制存儲器布局。最好的方法是在編程的時(shí)候，把所有相同類型的變量放在一起定義。 通常，工程師設(shè)法使用short或char來定義變量以節(jié)省存儲器空間。在函數(shù)的局部變量數(shù)目有限的情況下，編譯器會把局部變量分配給內(nèi)部寄存器，每個(gè)變量占用一個(gè)寄存器。在這種情況下，使用short和char型變量不但不會節(jié)省空間，反而會帶來其它的副作用。如圖2所示：假定a是任意可能的寄存器，存儲函數(shù)的局部變量。同樣完成加1的操作，32位的int型變量最快，只用一條加法指令。而8位和16位變量，完成加法操作后，還需要在32位的寄存器中進(jìn)行符號擴(kuò)展。其中，帶符號的變量，要用邏輯左移和算術(shù)右移兩條指令才能完成符號擴(kuò)展；無符號的變量，要使用一條邏輯與指令對符號位進(jìn)行清零。所以，使用32位的int或unsigned int局部變量最有效。某些情況下，函數(shù)從外部存儲器讀入局部變量進(jìn)行計(jì)算，這時(shí)候，需要把不是32位的變量轉(zhuǎn)換成32位。至于把8位或16位變量擴(kuò)展成32位后，隱藏了原來可能溢出異常這個(gè)問題，需要進(jìn)一步仔細(xì)考慮。 在程序中，經(jīng)常會使用switch case語句，每一個(gè)由機(jī)器語言實(shí)現(xiàn)的測試和跳轉(zhuǎn)僅僅是為了決定下一步要做什么，就浪費(fèi)了處理器時(shí)間。為了提高速度，可以把具體的情況按照它們發(fā)生的相對頻率排序。即把最可能發(fā)生的情況放在第一，發(fā)生概率小的情況放在最后，這樣會減少代碼平均執(zhí)行時(shí)間。 通常，工程師總是竭力避免使用冗余變量，以精簡程序。一般情況下這樣做是正確的，但是也有例外，如下所示： int f(void); int g(void); file://f()和g()不訪問全局變量errs int errs; file://全局變量 void test1(void) { errs += f(); errs += g(); } void test2(void) { int localerrs = errs; // 定義冗余的局部變量 localerrs += f(); localerrs += g(); errs = localerrs; } 在第一種情況test1()里，每次訪問全局變量errs時(shí)都要先從相應(yīng)的存儲器下載到寄存器里，經(jīng)f()或g()函數(shù)調(diào)用后再存儲回原來的存儲器里面。在該例子中，一共要進(jìn)行兩次這樣的下載/存儲操作。而在第二種情況test2()里，局部變量localerrs被分配以寄存器，這樣一來，整個(gè)函數(shù)就只需要一次下載/存儲全局變量存儲器了。盡量節(jié)省存儲器訪問的次數(shù)，對于提高系統(tǒng)性能非常有用。 循環(huán)程序的處理 計(jì)數(shù)循環(huán)是程序中常用的流程控制結(jié)構(gòu)。在C中，類似下面的for循環(huán)比比皆是： for(loop=1；loop<=limit；loop++) 這種累加計(jì)數(shù)的方法符合一般的自然思維習(xí)慣，所以比下面的遞減計(jì)數(shù)方法使用更多： for(loop<=limit；loop！=0； loop--) 這兩者在邏輯上并沒有效率差異，但是映射到具體的體系結(jié)構(gòu)中，就產(chǎn)生了很大的不同。 累加法比遞減法多用了一條指令，當(dāng)循環(huán)次數(shù)比較多的時(shí)候，這兩段代碼就會在性能上產(chǎn)生明顯的差異。分析其本質(zhì)原因，在于當(dāng)進(jìn)行一個(gè)非零常數(shù)比較時(shí)，必須用專門的CMP指令來執(zhí)行；而當(dāng)一個(gè)變量與零進(jìn)行比較時(shí)，ARM指令可以直接利用條件執(zhí)行的特性(NE)來進(jìn)行判斷。很多時(shí)候循環(huán)展開由編譯器自動完成，不過應(yīng)注意對中間變量或結(jié)果被更改的循環(huán)，編譯程序往往拒絕展開，這時(shí)候就需要工程師自己來做展開工作了。 尤其值得注意的是，在有內(nèi)部指令cache的CPU上(如ARM946ES芯片)，因?yàn)檠h(huán)展開的代碼很大，往往會出現(xiàn)高速緩沖存儲器溢出。這時(shí)展開的代碼會頻繁地在CPU的高速緩沖存儲器和內(nèi)存之間來回調(diào)用，又因?yàn)楦咚倬彌_存儲器速度很高，所以此時(shí)循環(huán)展開反而會變慢?！ ⊥瑫r(shí)，循環(huán)展開會影響矢量運(yùn)算優(yōu)化。 ARM處理器核對NZ(零比較轉(zhuǎn)移)有特別的指令處理，速度非常快，如果你的循環(huán)對方向不敏感，可以由大向小循環(huán)。需要注意的是，如果指針操作使用了i值，這種方法可能引起指針?biāo)饕绲膰?yán)重錯(cuò)誤(i = MAX+1)。當(dāng)然你可以通過對i做加減運(yùn)算來糾正，但是如果這樣就沒有提高效率的作用了。 結(jié)語 本文對高效率嵌入式ARM程序開發(fā)總結(jié)了一些編程技巧。在實(shí)際的嵌入式系統(tǒng)開發(fā)中，可以大大的提高系統(tǒng)的性能，特別是在多媒體和通信等復(fù)雜度高的應(yīng)用中，對程序設(shè)計(jì)具有指導(dǎo)意義。 |
|
|
