分片式處理器上超塊生成器的設(shè)計(jì)與研究.pdf

1、多核和眾核架構(gòu)有望解決或緩解現(xiàn)代處理器設(shè)計(jì)面臨的存儲墻、線延遲和功耗問題，分片式處理器作為一種代表性的眾核實(shí)現(xiàn)方案，強(qiáng)調(diào)功能單元的分布化、結(jié)構(gòu)的層次化，將硬件細(xì)節(jié)暴露給上層的軟件系統(tǒng)，依賴編譯器劃分程序指令，形成較大有效的指令發(fā)射窗口。本文工作圍繞分片式處理器TPA-PI及其編譯系統(tǒng)展開。TPA-PI編譯器分析應(yīng)用程序特征，參照硬件配置，采用啟發(fā)式算法將程序指令劃分成超塊，超塊作為原子執(zhí)行單位，是指令調(diào)度的對象。超塊生成器和指令調(diào)度器作

2、為分片式處理器編譯系統(tǒng)后端的兩大部件，決定著應(yīng)用程序在TPA-PI處理器上能夠獲得的性能，是軟硬件協(xié)同設(shè)計(jì)的場所，也是該類處理器的研究熱點(diǎn)。
　　 本文主要工作是為TPA-PI編譯系統(tǒng)設(shè)計(jì)并實(shí)現(xiàn)超塊生成器。通過對超塊生成算法各方面的量化研究，提出迭代收斂的改進(jìn)型超塊生成算法；基于LLVM編譯框架實(shí)現(xiàn)TPA-PI處理器后端和通用的超塊生成器模塊。
　　 論文的研究工作和成果可以歸納為以下幾個(gè)方面：(1)深入理解LLVM編譯

3、框架提供的通用后端生成器模塊，通過對TPA-PI處理器結(jié)構(gòu)和指令集的研究與設(shè)計(jì)，實(shí)現(xiàn)了TPA-PI處理器后端，為分片式處理器編譯系統(tǒng)打下基礎(chǔ)。(2)根據(jù)超塊生成算法原理，將算法劃分成基本塊選擇、合法性檢驗(yàn)、謂詞轉(zhuǎn)化和調(diào)整優(yōu)化四大步驟，實(shí)現(xiàn)時(shí)將算法中與體系結(jié)構(gòu)相關(guān)的部分抽象成虛函數(shù)，這部分虛函數(shù)通常是關(guān)于指令判斷和處理、合法性檢驗(yàn)，需要在使用超塊表示方式的處理器中實(shí)現(xiàn)；基于LLVM描述程序的數(shù)據(jù)結(jié)構(gòu)實(shí)現(xiàn)算法框架，使得超塊生成模塊可以被復(fù)用

4、。(3)用頭復(fù)制技術(shù)等價(jià)替換超塊生成算法中的循環(huán)優(yōu)化，避免循環(huán)優(yōu)化與謂詞化的順序沖突，有助于形成規(guī)整高效的超塊。對引起分支預(yù)測器失誤的分支結(jié)構(gòu)進(jìn)行分類，賦予不同優(yōu)先級，從而按照優(yōu)先級指導(dǎo)謂詞轉(zhuǎn)化過程，提高預(yù)測器準(zhǔn)確性，并且減少過度謂詞化引起的超塊分割。從靜態(tài)和動(dòng)態(tài)兩個(gè)角度對指令填充的開銷進(jìn)行量化分析。實(shí)驗(yàn)表明，通過衡量影響超塊質(zhì)量的各個(gè)因素對程序性能的影響，改進(jìn)超塊生成算法流程以及啟發(fā)式函數(shù)內(nèi)容，最終設(shè)計(jì)的迭代收斂的超塊生成算法，較原算