原文地址：
http://www.21ic.com/news/n16690c63.aspx
| [日期：2006-12-13] | 來源：電子設計應用 作者：東南大學 楊軍 周凡 | [字體：大 中 小] |
摘 要：嵌入式系統對應用軟件的質量要求很高，在嵌入式開發中須注意對代碼進行優化，儘可能地提高代碼效率。雖然C編譯器都提供了一定程度的代碼優化，但大部分由編譯器執行的優化技術僅涉及執行速度和代碼大小的平衡，不可能使程序既快又小，因而必須在編寫程序時採取必要的措施。本文針對高效率嵌入式程序開發提供了一些編程技巧，對實際系統開發具有重要作用。
關鍵詞：編譯器; 程序開發; 代碼優化
引言
在多媒體、通信等計算複雜度高的應用中，爲了滿足製造費用、功耗、性能以及實時性等諸多限制條件的要求，嵌入式系統程序往往需要特殊設計。這使得設計師在設計面向特定應用的嵌入式軟件時，需要有一套切實可行的編程準則。而在實際程序設計中，工程師尤其需要考慮對變量的使用和循環程序的處理。
變量使用
在進行實際程序開發時，變量的使用至關重要,其中使用全局變量比向函數傳遞參數更加有效，這樣免去了函數調用時參數入棧和出棧的需要。當然，使用全局變量會對程序有一些副作用。變量定義的次序會導致最終映像中數據佈局的不同，如圖1所示。
740)this.width=740" border=undefined>
圖1 變量映像次序混亂狀況
由此可見，在聲明變量時，需要考慮怎樣最佳地控制存儲器佈局。最好的方法是在編程的時候，把所有相同類型的變量放在一起定義。
通常，工程師設法使用short或char來定義變量以節省存儲器空間。在函數的局部變量數目有限的情況下，編譯器會把局部變量分配給內部寄存器，每個變量佔用一個寄存器。在這種情況下，使用short和char型變量不但不會節省空間，反而會帶來其它的副作用。如圖2所示：假定a是任意可能的寄存器，存儲函數的局部變量。同樣完成加1的操作，32位的int型變量最快，只用一條加法指令。而8位和16位變量，完成加法操作後，還需要在32位的寄存器中進行符號擴展。其中，帶符號的變量，要用邏輯左移和算術右移兩條指令才能完成符號擴展；無符號的變量，要使用一條邏輯與指令對符號位進行清零。所以，使用32位的int或unsigned int局部變量最有效。某些情況下，函數從外部存儲器讀入局部變量進行計算，這時候，需要把不是32位的變量轉換成32位。至於把8位或16位變量擴展成32位後，隱藏了原來可能溢出異常這個問題，需要進一步仔細考慮。
740)this.width=740" border=undefined>
圖2 不同類型局部變量的加法程序
在程序中，經常會使用switch case語句，每一個由機器語言實現的測試和跳轉僅僅是爲了決定下一步要做什麼，就浪費了處理器時間。爲了提高速度，可以把具體的情況按照它們發生的相對頻率排序。即把最可能發生的情況放在第一，發生概率小的情況放在最後，這樣會減少代碼平均執行時間。
通常，工程師總是竭力避免使用冗餘變量，以精簡程序。一般情況下這樣做是正確的，但是也有例外，如下所示：
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時都要先從相應的存儲器下載到寄存器裏，經f()或g()函數調用後再存儲回原來的存儲器裏面。在該例子中，一共要進行兩次這樣的下載/存儲操作。而在第二種情況test2()裏，局部變量localerrs被分配以寄存器，這樣一來，整個函數就只需要一次下載/存儲全局變量存儲器了。儘量節省存儲器訪問的次數，對於提高系統性能非常有用。
循環程序的處理
計數循環是程序中常用的流程控制結構。在C中，類似下面的for循環比比皆是：
for(loop=1；loop<=limit；loop++)
這種累加計數的方法符合一般的自然思維習慣，所以比下面的遞減計數方法使用更多：
for(loop<=limit；loop！=0； loop--)
這兩者在邏輯上並沒有效率差異，但是映射到具體的體系結構中，就產生了很大的不同。
累加法比遞減法多用了一條指令，當循環次數比較多的時候，這兩段代碼就會在性能上產生明顯的差異。分析其本質原因，在於當進行一個非零常數比較時，必須用專門的CMP指令來執行；而當一個變量與零進行比較時，ARM指令可以直接利用條件執行的特性(NE)來進行判斷。很多時候循環展開由編譯器自動完成，不過應注意對中間變量或結果被更改的循環，編譯程序往往拒絕展開，這時候就需要工程師自己來做展開工作了。
尤其值得注意的是，在有內部指令cache的CPU上(如ARM946ES芯片)，因爲循環展開的代碼很大，往往會出現高速緩衝存儲器溢出。這時展開的代碼會頻繁地在CPU的高速緩衝存儲器和內存之間來回調用，又因爲高速緩衝存儲器速度很高，所以此時循環展開反而會變慢。同時，循環展開會影響矢量運算優化。
ARM處理器覈對NZ(零比較轉移)有特別的指令處理，速度非常快，如果你的循環對方向不敏感，可以由大向小循環。需要注意的是，如果指針操作使用了i值，這種方法可能引起指針索引超界的嚴重錯誤(i = MAX+1)。當然你可以通過對i做加減運算來糾正，但是如果這樣就沒有提高效率的作用了。
結語
本文對高效率嵌入式ARM程序開發總結了一些編程技巧。在實際的嵌入式系統開發中，可以大大的提高系統的性能，特別是在多媒體和通信等複雜度高的應用中，對程序設計具有指導意義。
參考文獻：
1 Marshall P. Cline and Greg A. Lomow. C++ FAQs, Addison-Wesley, 1995
2 Bruce Eckel. Thinking in C++(C++ 編程思想，劉宗田 等譯)，機械工業出版社，2000