ARM流水線關(guān)鍵技術(shù)分析與代碼優(yōu)化
流水線技術(shù)通過多個(gè)功能部件并行工作來縮短程序執(zhí)行時(shí)間,提高處理器核的效率和吞吐率,從而成為微處理器設(shè)計(jì)中最為重要的技術(shù)之一。ARM7處理器核使用了典型三級(jí)流水線的馮·諾伊曼結(jié)構(gòu),ARM9系列則采用了基于五級(jí)流水線的哈佛結(jié)構(gòu)。通過增加流水線級(jí)數(shù)簡(jiǎn)化了流水線各級(jí)的邏輯,進(jìn)一步提高了處理器的性能。
ARM7的三級(jí)流水線在執(zhí)行單元完成了大量的工作,包括與操作數(shù)相關(guān)的寄存器和存儲(chǔ)器讀寫操作、ALU操作以及相關(guān)器件之間的數(shù)據(jù)傳輸。執(zhí)行單元的工作往往占用多個(gè)時(shí)鐘周期,從而成為系統(tǒng)性能的瓶頸。ARM9采用了更為高效的五級(jí)流水線設(shè)計(jì),增加了2個(gè)功能部件分別訪問存儲(chǔ)器并寫回結(jié)果,且將讀寄存器的操作轉(zhuǎn)移到譯碼部件上,使流水線各部件在功能上更平衡;同時(shí)其哈佛架構(gòu)避免了數(shù)據(jù)訪問和取指的總線沖突。
然而不論是三級(jí)流水線還是五級(jí)流水線,當(dāng)出現(xiàn)多周期指令、跳轉(zhuǎn)分支指令和中斷發(fā)生的時(shí)候,流水線都會(huì)發(fā)生阻塞,而且相鄰指令之間也可能因?yàn)榧拇嫫鳑_突導(dǎo)致流水線阻塞,降低流水線的效率。本文在對(duì)流水線原理及運(yùn)行情況詳細(xì)分析的基礎(chǔ)上,研究通過調(diào)整指令執(zhí)行序列來提高流水線運(yùn)行性能的方法。
1 ARM7/ARM9流水線技術(shù)
1.1 ARM7流水線技術(shù)
ARM7系列處理器中每條指令分取指、譯碼、執(zhí)行三個(gè)階段,分別在不同的功能部件上依次獨(dú)立完成。取指部件完成從存儲(chǔ)器裝載一條指令,通過譯碼部件產(chǎn)生下一周期數(shù)據(jù)路徑需要的控制信號(hào),完成寄存器的解碼,再送到執(zhí)行單元完成寄存器的讀取、ALU運(yùn)算及運(yùn)算結(jié)果的寫回,需要訪問存儲(chǔ)器的指令完成存儲(chǔ)器的訪問。流水線上雖然一條指令仍需3個(gè)時(shí)鐘周期來完成,但通過多個(gè)部件并行,使得處理器的吞吐率約為每個(gè)周期一條指令,提高了流式指令的處理速度,從而可達(dá)到O.9 MIPS/MHz的指令執(zhí)行速度。
在三級(jí)流水線下,通過R15訪問PC(程序計(jì)數(shù)器)時(shí)會(huì)出現(xiàn)取指位置和執(zhí)行位置不同的現(xiàn)象。這須結(jié)合流水線的執(zhí)行情況考慮,取指部件根據(jù)PC取指,取指完成后PC+4送到PC,并把取到的指令傳遞給譯碼部件,然后取指部件根據(jù)新的PC取指。因?yàn)槊織l指令4字節(jié),故PC值等于當(dāng)前程序執(zhí)行位置+8。
1.2 ARM9流水線技術(shù)
ARM9系列處理器的流水線分為取指、譯碼、執(zhí)行、訪存、回寫。取指部件完成從指令存儲(chǔ)器取指;譯碼部件讀取寄存器操作數(shù),與三級(jí)流水線中不占有數(shù)據(jù)路徑區(qū)別很大;執(zhí)行部件產(chǎn)生ALU運(yùn)算結(jié)果或產(chǎn)生存儲(chǔ)器地址(對(duì)于存儲(chǔ)器訪問指令來講);訪存部件訪問數(shù)據(jù)存儲(chǔ)器;回寫部件完成執(zhí)行結(jié)果寫回寄存器。把三級(jí)流水線中的執(zhí)行單元進(jìn)一步細(xì)化,減少了在每個(gè)時(shí)鐘周期內(nèi)必須完成的工作量,進(jìn)而允許使用較高的時(shí)鐘頻率,且具有分開的指令和數(shù)據(jù)存儲(chǔ)器,減少了沖突的發(fā)生,每條指令的平均周期數(shù)明顯減少。
2 三級(jí)流水線運(yùn)行情況分析
三級(jí)流水線在處理簡(jiǎn)單的寄存器操作指令時(shí),吞吐率為平均每個(gè)時(shí)鐘周期一條指令;但是在存在存儲(chǔ)器訪問指令、跳轉(zhuǎn)指令的情況下會(huì)出現(xiàn)流水線阻斷情況,導(dǎo)致流水線的性能下降。圖1給出了流水線的最佳運(yùn)行情況,圖中的MOV、ADD、SUB指令為單周期指令。從T1開始,用3個(gè)時(shí)鐘周期執(zhí)行了3條指令,指令平均周期數(shù)(CPI)等于1個(gè)時(shí)鐘周期。
流水線中阻斷現(xiàn)象也十分普遍,下面就各種阻斷情況下的流水線性能進(jìn)行詳細(xì)分析。
2.1 帶有存儲(chǔ)器訪問指令的流水線
對(duì)存儲(chǔ)器的訪問指令LDR就是非單周期指令,如圖2所示。這類指令在執(zhí)行階段,首先要進(jìn)行存儲(chǔ)器的地址計(jì)算,占用控制信號(hào)線,而譯碼的過程同樣需要占用控制信號(hào)線,所以下一條指令(第一個(gè)SUB)的譯碼被阻斷,并且由于LDR訪問存儲(chǔ)器和回寫寄存器的過程中需要繼續(xù)占用執(zhí)行單元,所以下一條(第一個(gè)SUB)的執(zhí)行也被阻斷。由于采用馮·諾伊曼體系結(jié)構(gòu),不能夠同時(shí)訪問數(shù)據(jù)存儲(chǔ)器和指令存儲(chǔ)器,當(dāng)LDR處于訪存周期的過程中時(shí),MOV指令的取指被阻斷。因此處理器用8個(gè)時(shí)鐘周期執(zhí)行了6條指令,指令平均周期數(shù)(CPI)=1.3個(gè)時(shí)鐘周期。
2.2 帶有分支指令的流水線
當(dāng)指令序列中含有具有分支功能的指令(如BL等)時(shí),流水線也會(huì)被阻斷,如圖3所示。分支指令在執(zhí)行時(shí),其后第1條指令被譯碼,其后第2條指令進(jìn)行取指,但是這兩步操作的指令并不被執(zhí)行。因?yàn)榉种е噶顖?zhí)行完畢后,程序應(yīng)該轉(zhuǎn)到跳轉(zhuǎn)的目標(biāo)地址處執(zhí)行,因此在流水線上需要丟棄這兩條指令,同時(shí)程序計(jì)數(shù)器就會(huì)轉(zhuǎn)移到新的位置接著進(jìn)行取指、譯碼和執(zhí)行。此外還有一些特殊的轉(zhuǎn)移指令需要在跳轉(zhuǎn)完成的同時(shí)進(jìn)行寫鏈接寄存器、程序計(jì)數(shù)寄存器,如BL執(zhí)行過程中包括兩個(gè)附加操作——寫鏈接寄存器和調(diào)整程序指針。這兩個(gè)操作仍然占用執(zhí)行單元,這時(shí)處于譯碼和取指的流水線被阻斷了。
2.3 中斷流水線
處理器中斷的發(fā)生具有不確定性,與當(dāng)前所執(zhí)行的指令沒有任何關(guān)系。在中斷發(fā)生時(shí),處理器總是會(huì)執(zhí)行完當(dāng)前正被執(zhí)行的指令,然后去響應(yīng)中斷。如圖4所示,在Ox90000處的指令A(yù)DD執(zhí)行期間IRQ中斷發(fā)生,這時(shí)要等待ADD指令執(zhí)行完畢,IRQ才獲得執(zhí)行單元,處理器開始處理IRQ中斷,保存程序返回地址并調(diào)整程序指針指向Oxl8內(nèi)存單元。在Oxl8處有IRO中斷向量(也就是跳向IRQ中斷服務(wù)的指令),接下來執(zhí)行跳轉(zhuǎn)指令轉(zhuǎn)向中斷服務(wù)程序,流水線又被阻斷,執(zhí)行0x18處指令的過程同帶有分支指令的流水線。
[!--empirenews.page--]
3 五級(jí)流水線技術(shù)
五級(jí)流水線技術(shù)在多種RISC處理器中被廣泛使用,被認(rèn)為是經(jīng)典的處理器設(shè)計(jì)方式。五級(jí)流水線中的存儲(chǔ)器訪問部件(訪存)和寄存器回寫部件,解決了三級(jí)流水線中存儲(chǔ)器訪問指令在指令執(zhí)行階段的延遲問題。圖5為五級(jí)流水線的運(yùn)行情況(五級(jí)流水線也存在阻斷)。
3.1 五級(jí)流水線互鎖分析
五級(jí)流水線只存在一種互鎖,即寄存器沖突。讀寄存器是在譯碼階段,寫寄存器是在回寫階段。如果當(dāng)前指令(A)的目的操作數(shù)寄存器和下一條指令(B)的源操作數(shù)寄存器一致,B指令就需要等A回寫之后才能譯碼。這就是五級(jí)流水線中的寄存器沖突。如圖6所示,LDR指令寫R9是在回寫階段,而MOV中需要用到的R9正是LDR在回寫階段將會(huì)重新寫入的寄存器值,MOV譯碼需要等待,直到LDR指令的寄存器回寫操作完成。(注:現(xiàn)在處理器設(shè)計(jì)中,可以通過寄存器旁路技術(shù)對(duì)流水線進(jìn)行優(yōu)化,解決流水線的寄存器沖突問題。)
雖然流水線互鎖會(huì)增加代碼執(zhí)行時(shí)間,但是為初期的設(shè)計(jì)者提供了巨大的方便,可以不必考慮使用的寄存器會(huì)不會(huì)造成沖突;而且編譯器以及匯編程序員可以通過重新設(shè)計(jì)代碼的順序或者其他方法來減少互鎖的數(shù)量。另外分支指令和中斷的發(fā)生仍然會(huì)阻斷五級(jí)流水線。
3.2 五級(jí)流水線優(yōu)化
采用重新設(shè)計(jì)代碼順序在很多情況下可以很好地減少流水線的阻塞,使流水線的運(yùn)行流暢。下面詳細(xì)分析代碼優(yōu)化對(duì)流水線的優(yōu)化和效率的提高。
要實(shí)現(xiàn)把內(nèi)存地址0x1000和Ox2000處的數(shù)據(jù)分別拷貝到0x8000和0x9000處。
Oxl000處的內(nèi)容:1,2,3,4,5,6,7,8,9,10
Ox2000處的內(nèi)容:H,e,l,l,o,W,o,r,l,d
實(shí)現(xiàn)第一個(gè)拷貝過程的程序代碼及指令的執(zhí)行時(shí)空?qǐng)D如圖7所示。
全部拷貝過程由兩個(gè)結(jié)構(gòu)相同的循環(huán)各自獨(dú)立完成,分別實(shí)現(xiàn)兩塊數(shù)據(jù)的拷貝,并且兩個(gè)拷貝過程極為類似,分析其中一個(gè)即可。
T1~T3是3個(gè)單獨(dú)的時(shí)鐘周期;T4~T11是一個(gè)循環(huán),在時(shí)空?qǐng)D中描述了第一次循環(huán)的執(zhí)行情況。在T12的時(shí)候?qū)慙R的同時(shí),開始對(duì)循環(huán)的第一條語句進(jìn)行取指,所以總的流水線周期數(shù)為3+10×10+2×9=121。整個(gè)拷貝過程需要121×2+2=244個(gè)時(shí)鐘周期完成。
考慮到通過減少流水線的沖突可以提高流水線的執(zhí)行效率,而流水線的沖突主要來自寄存器沖突和分支指令,因此對(duì)代碼作如下兩方面調(diào)整:
①將兩個(gè)循環(huán)合并成一個(gè)循環(huán)能夠充分減少循環(huán)跳轉(zhuǎn)的次數(shù),減少跳轉(zhuǎn)帶來的流水線停滯;
②調(diào)整代碼的順序,將帶有與臨近指令不相關(guān)的寄存器插到帶有相關(guān)寄存器的指令之間,能夠充分地避免寄存器沖突導(dǎo)致的流水線阻塞。
對(duì)代碼調(diào)整和流水線的時(shí)空?qǐng)D如圖8所示。
調(diào)整之后,T1~T5是5個(gè)單獨(dú)的時(shí)鐘周期,T6~T13是一個(gè)循環(huán),同樣在T14的時(shí)候BNE指令在寫LR的同時(shí),循環(huán)的第一條指令開始取指,所以總的指令周期數(shù)為5+10×10+2×9+2=125。
通過兩段代碼的比較可看出:調(diào)整之前整個(gè)拷貝過程總共使用了244個(gè)時(shí)鐘周期,調(diào)整了循環(huán)內(nèi)指令的順序后,總共使用了125個(gè)時(shí)鐘周期就完成了同樣的工作,時(shí)鐘周期減少了119個(gè),縮短了119/244=48.8%,效率提升十分明顯。
代碼優(yōu)化前后執(zhí)行周期數(shù)對(duì)比的情況如表1所列。
[!--empirenews.page--]
因此流水線的優(yōu)化問題主要應(yīng)從兩方面考慮:
①通過合并循環(huán)等方式減少分支指令的個(gè)數(shù),從而減少流水線的浪費(fèi);
②通過交換指令的順序,避免寄存器沖突造成的流水線停滯。
4 結(jié) 論
流水線技術(shù)提高了處理器的并行性,與串行CPU相比大大提高了處理器性能。通過調(diào)節(jié)指令序列的方法又能夠有效地避免流水線沖突的發(fā)生,從而提高了流水線的執(zhí)行效率。因此如何采用智能算法進(jìn)行指令序列的自動(dòng)調(diào)節(jié)以提高流水線的效率和進(jìn)一步提高處理器的并行性將是以后研究的主要方向。