ARM體系結(jié)構(gòu)下的程序設(shè)計(jì)經(jīng)驗(yàn)

RM 系列處理器是 RISC (Reducded InSTructiON Set Computing)處理器。很多基于ARM的高效代碼的程序設(shè)計(jì)策略都源于RISC 處理器。和很多 RISC 處理器一樣，ARM 系列處理器的內(nèi)存訪問(wèn)，也要求數(shù)據(jù)對(duì)齊，即存取“字(Word)”數(shù)據(jù)時(shí)要求四字節(jié)對(duì)齊，地址的bits[1：0]==0b00;存取“半字(Halfwords)”時(shí)要求兩字節(jié)對(duì)齊，地址的bit[0]==0b0;存取“字節(jié)(Byte)”數(shù)據(jù)時(shí)要求該數(shù)據(jù)按其自然尺寸邊界(Natural Size Boundary)定位。
ARM 編譯程序通常將全局變量對(duì)齊到自然尺寸邊界上，以便通過(guò)使用 LDR和 STR 指令有效地存取這些變量。這種內(nèi)存訪問(wèn)方式與多數(shù) CISC (Complex Instruction Set Computing)體系結(jié)構(gòu)不同，在CISC體系結(jié)構(gòu)下，指令直接存取未對(duì)齊的數(shù)據(jù)。因而，當(dāng)需要將代碼從CISC 體系結(jié)構(gòu)向 ARM 處理器移植時(shí)，內(nèi)存訪問(wèn)的地址對(duì)齊問(wèn)題必須予以注意。在RISC體系結(jié)構(gòu)下，存取未對(duì)齊數(shù)據(jù)無(wú)論在代碼尺寸或是程序執(zhí)行效率上，都將付出非常大的代價(jià)。

本文將從以下幾個(gè)方面討論在ARM體系結(jié)構(gòu)下的程序設(shè)計(jì)問(wèn)題。

未對(duì)齊的數(shù)據(jù)指針

C和C++編程標(biāo)準(zhǔn)規(guī)定，指向某一數(shù)據(jù)類型的指針，必須和該類型的數(shù)據(jù)地址對(duì)齊方式一致，所以ARM 編譯器期望程序中的 C 指針指向存儲(chǔ)器中字對(duì)齊地址，因?yàn)檫@可使編譯器生成更高效的代碼。

比如，如果定義一個(gè)指向 int 數(shù)據(jù)類型的指針，用該指針讀取一個(gè)字，ARM 編譯器將使用LDR 指令來(lái)完成此操作。如果讀取的地址為四的倍數(shù)(即在一個(gè)字的邊界)即能正確讀取。但是，如果該地址不是四的倍數(shù)，那么，一條 LDR 指令返回一個(gè)循環(huán)移位結(jié)果，而不是執(zhí)行真正的未對(duì)齊字載入。循環(huán)移位結(jié)果取決于該地址向?qū)τ谧值倪吔绲钠屏亢拖到y(tǒng)所使用的端序(Endianness)。例如，如果代碼要求從指針指向的地址 0x8006 載入數(shù)據(jù)，即要載入 0x8006、0x8007、0x8008 和 0x8009 四字節(jié)的內(nèi)容。但是，在 ARM 處理器上，這個(gè)存取操作載入了0x8004、0x8005、0x8006 和 0x8007 字節(jié)的內(nèi)容。這就是在未對(duì)齊的地址上使用指針存取所得到的循環(huán)移位結(jié)果。

因而，如果想將指針定義到一個(gè)指定地址(即該地址為非自然邊界對(duì)齊)，那么在定義該指針時(shí)，必須使用 __packed 限定符來(lái)定義指針： 例如，
__packed int *pi; // 指針指向一個(gè)非字對(duì)其內(nèi)存地址

使用了_packed限定符限定之后，ARM 編譯器將產(chǎn)生字節(jié)存取命令(LDRB或STRB指令)來(lái)存取內(nèi)存，這樣就不必考慮指針對(duì)齊問(wèn)題。所生成的代碼是字節(jié)存取的一個(gè)序列，或者取決于編譯選項(xiàng)、跟變量對(duì)齊相關(guān)的移位和屏蔽。但這會(huì)導(dǎo)致系統(tǒng)性能和代碼密度的損失。

值得注意的是，不能使用 __packed 限定的指針來(lái)存取存儲(chǔ)器映射的外圍寄存器，因?yàn)?ARM 編譯程序可使用多個(gè)存儲(chǔ)器存取來(lái)獲取數(shù)據(jù)。因而，可能對(duì)實(shí)際存取地址附近的位置進(jìn)行存取，而這些附近的位置可能對(duì)應(yīng)于其它外部寄存器。當(dāng)使用了位字段(Bitfield)時(shí)， ARM 程序?qū)⒃L問(wèn)整個(gè)結(jié)構(gòu)體，而非指定字段。

編譯器的缺省行為

多數(shù)嵌入式應(yīng)用程序最初都是在原型環(huán)境下開發(fā)的。無(wú)論什么樣的原型環(huán)境的資源與最終產(chǎn)品環(huán)境都是有差異的。因此，考慮如何將嵌入式應(yīng)用程序從其所依賴的開發(fā)工具或調(diào)試環(huán)境中移植到在目標(biāo)硬件上獨(dú)立運(yùn)行是非常重要的。

開始編寫嵌入式應(yīng)用程序時(shí)，開發(fā)者可能并不清楚目標(biāo)硬件的具體規(guī)格。如，目標(biāo)系統(tǒng)使用了什么樣的外圍設(shè)備、存儲(chǔ)器映射情況甚至不能確定處理器的型號(hào)。 為在了解這些詳細(xì)信息前能夠繼續(xù)軟件的開發(fā)，RVCT 工具提供了很多默認(rèn)的操作，使用戶能編譯和調(diào)試與目標(biāo)系統(tǒng)無(wú)關(guān)的應(yīng)用程序代碼。下面詳細(xì)介紹介紹這些編譯選項(xiàng)，只有深入了解這些編譯選項(xiàng)設(shè)置，才能使開發(fā)更順利的進(jìn)行。

調(diào)整 C 庫(kù)使其適應(yīng)目標(biāo)硬件

默認(rèn)情況下，C 庫(kù)利用semihostig機(jī)制來(lái)提供設(shè)備驅(qū)動(dòng)級(jí)的功能，使得主機(jī)主機(jī)能夠用作輸入和輸出設(shè)備。這種機(jī)制對(duì)于嵌入式開發(fā)十分有用，因?yàn)橛糜陂_發(fā)的硬件系統(tǒng)通常沒(méi)有最終系統(tǒng)的輸入和輸出設(shè)備。
最簡(jiǎn)單的函數(shù)重定向的例子就是用戶希望fputc()函數(shù)能夠?qū)⒆址麖哪繕?biāo)系統(tǒng)的串口輸出而不是在調(diào)試時(shí)，將字符從調(diào)試器的控制臺(tái)輸出。這時(shí)就需要重新實(shí)現(xiàn)該函數(shù)。下面的例子將fputc() 的輸入字符參數(shù)重新指向一連續(xù)輸出函數(shù) sendchar()，將定該例在一個(gè)獨(dú)立的源文件中實(shí)現(xiàn)的。這樣，fputc() 在依目標(biāo)而定的輸出和 C 庫(kù)標(biāo)準(zhǔn)輸出函數(shù)之間充當(dāng)一個(gè)抽象層。