動(dòng)態(tài)二進(jìn)制翻譯技術(shù)是構(gòu)造高性能異構(gòu)虛擬機(jī)的關(guān)鍵技術(shù),而代碼翻譯的質(zhì)量則是動(dòng)態(tài)二進(jìn)制翻譯性能的關(guān)鍵。本文實(shí)現(xiàn)了一種基于LLVM動(dòng)態(tài)二進(jìn)制翻譯框架,利用LLVM優(yōu)化技術(shù)以及多目標(biāo)編譯的特點(diǎn),實(shí)現(xiàn)了可以針對(duì)多個(gè)目標(biāo)體系結(jié)構(gòu)的高性能動(dòng)態(tài)二進(jìn)制翻譯�；陂_(kāi)源Skyeye實(shí)現(xiàn)了這種翻譯框架,并在兩種目標(biāo)體系結(jié)構(gòu)ARM和PowerPC上驗(yàn)證了框架的可移植性和運(yùn)行效率,與QEMU在ARM目標(biāo)平臺(tái)上做了性能對(duì)比,結(jié)果表明該模擬器比Qemu性能平均快10%以上。 

【文章來(lái)源】：航空科學(xué)技術(shù). 2020,31(08)

【文章頁(yè)數(shù)】：6 頁(yè)

【文章目錄】：
1 Dyncom：設(shè)計(jì)和實(shí)現(xiàn)
    1.1 LLVM模塊
    1.2 翻譯過(guò)程
    1.3 執(zhí)行過(guò)程
    1.4 目標(biāo)架構(gòu)ARM和PowerPC
2 運(yùn)行時(shí)優(yōu)化
    2.1 JIT跳轉(zhuǎn)優(yōu)化
    2.2 全局寄存器映射
    2.3 基本塊粒度冗余指令消除
3 試驗(yàn)以及評(píng)估
4 結(jié)論


【參考文獻(xiàn)】：
期刊論文
[1]基于模型的機(jī)電系統(tǒng)多物理域仿真技術(shù)應(yīng)用研究[J]. 聶同攀.  航空科學(xué)技術(shù). 2017(07)
[2]基于熱例程的動(dòng)態(tài)二進(jìn)制翻譯優(yōu)化[J]. 董衛(wèi)宇,劉金鑫,戚旭衍,何紅旗,蔣烈輝.  計(jì)算機(jī)科學(xué). 2016(05)
[3]面向測(cè)試性虛擬驗(yàn)證的功能-故障-行為-測(cè)試-環(huán)境一體化模型[J]. 張勇,邱靜,劉冠軍,楊鵬.  航空學(xué)報(bào). 2012(02)
[4]二進(jìn)制翻譯中代碼生成的子圖覆蓋算法[J]. 陳頊顥,鄭重,沈立,王志英.  計(jì)算機(jī)科學(xué)與探索. 2011(07)
[5]動(dòng)態(tài)二進(jìn)制翻譯與優(yōu)化技術(shù)研究[J]. 李劍慧,馬湘寧,朱傳琪.  計(jì)算機(jī)研究與發(fā)展. 2007(01)



本文編號(hào)：3197077