本文選題：二進(jìn)制翻譯 + 冗余指令�。� 參考：《計(jì)算機(jī)研究與發(fā)展》2017年09期

【摘要】：二進(jìn)制翻譯是實(shí)現(xiàn)軟件移植的主要方法.動(dòng)態(tài)二進(jìn)制翻譯受動(dòng)態(tài)執(zhí)行限制而不能深度優(yōu)化導(dǎo)致效率較低而傳統(tǒng)的靜態(tài)二進(jìn)制翻譯難以處理間接分支,且現(xiàn)有的優(yōu)化方法大部分集中在中間代碼層,對(duì)目標(biāo)碼中存在的大量冗余指令較少關(guān)注.針對(duì)這一現(xiàn)狀,提出一種靜態(tài)二進(jìn)制翻譯框架SQEMU,基于該框架提出了一種對(duì)目標(biāo)碼冗余指令進(jìn)行刪除的優(yōu)化算法.該算法通過(guò)分析目標(biāo)碼生成指令特定數(shù)據(jù)依賴圖(instruction-specific data dependence graph,IDDG),再利用該圖將活性分析和窺孔優(yōu)化的2種理論相結(jié)合,有效刪除目標(biāo)碼中的冗余指令.實(shí)驗(yàn)結(jié)果表明,利用該算法對(duì)目標(biāo)碼優(yōu)化后,其執(zhí)行效率得到顯著提升,最大提升可達(dá)42%,整體性能測(cè)試表明,優(yōu)化后nbench測(cè)試集翻譯效率提高約20%,SPEC CINT2006測(cè)試集翻譯效率提高約17%.
[Abstract]:Binary translation is the main method to implement software transplanting. Dynamic binary translation is limited by dynamic execution and can not be optimized by depth. Traditional static binary translation is difficult to handle indirect branches, and most of the existing optimization methods are concentrated in the middle code layer, and a large number of redundant instructions exist in the target code. In view of this situation, a static binary translation framework SQEMU is proposed, based on which an optimization algorithm for deletion of target code redundancy instructions is proposed. This algorithm is used to generate instruction specific data dependency graph (instruction-specific data dependence graph, IDDG) by analyzing target code, and then using the graph to analyze the activity and the activity analysis. The 2 theories of peephole optimization are combined to effectively delete the redundant instructions in the target code. The experimental results show that the efficiency of the algorithm is improved significantly and the maximum lift up to 42% after the optimization of the target code. The overall performance test shows that the translation efficiency of the nbench test set is improved by about 20% after the optimization, and the translation efficiency of the SPEC CINT2006 test set is raised. High about 17%.
【作者單位】： 數(shù)學(xué)工程與先進(jìn)計(jì)算國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(61472447) 國(guó)家“八六三”高技術(shù)研究發(fā)展計(jì)劃基金項(xiàng)目(2009AA012201) “核高基”國(guó)家科技重大專項(xiàng)基金項(xiàng)目(2009ZX01036-001-001)~~
【分類號(hào)】：TP311.54

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 錢杰;李中萍;許春來(lái);;飛行軟件目標(biāo)碼測(cè)試軟環(huán)境設(shè)計(jì)[J];航天控制;2010年06期

2 王永孟;馬利東;;嵌入式軟件目標(biāo)碼測(cè)試分析[J];科技經(jīng)濟(jì)市場(chǎng);2009年04期

3 文勇;蔡銘;陳剛;楊子江;金星;;目標(biāo)碼流圖和結(jié)構(gòu)覆蓋率獲取方法[J];計(jì)算機(jī)工程與設(shè)計(jì);2010年11期

4 魏強(qiáng);胡定文;王清賢;;目標(biāo)碼動(dòng)態(tài)測(cè)試框架的設(shè)計(jì)及實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2008年06期

5 楊芳;賀紅衛(wèi);謝鵬;饒京宏;;嵌入式軟件目標(biāo)碼仿真測(cè)試平臺(tái)的研究與設(shè)計(jì)[J];計(jì)算機(jī)工程與設(shè)計(jì);2009年19期

6 葉祥明;劉偉;;目標(biāo)碼覆蓋率分析在PPC目標(biāo)環(huán)境中的應(yīng)用[J];電子世界;2013年18期

7 孫玉方，吳健，李有志，牛光遠(yuǎn)，，梁志輝;基于目標(biāo)碼的XENIX核心源程序提取[J];軟件學(xué)報(bào);1994年01期

8 本刊編輯部;;“PE機(jī)目標(biāo)碼程序分析工具”通過(guò)省科委鑒定[J];華北電力學(xué)院學(xué)報(bào);1992年02期

9 韓德源,閆寶中,冀宏,于海燕;固化程序加密的一種簡(jiǎn)易方法[J];電腦學(xué)習(xí);1997年02期

10 梁合慶;嵌入式系統(tǒng)Java的變革[J];電子產(chǎn)品世界;1999年08期

相關(guān)碩士學(xué)位論文 前1條

1 楊子江;虛擬化平臺(tái)支持的目標(biāo)碼驗(yàn)證技術(shù)研究[D];浙江大學(xué);2008年

本文編號(hào)：2098975