基于運(yùn)行時的程序執(zhí)行模型研究.pdf

1、中國科學(xué)技術(shù)大學(xué)博士學(xué)位論文基于運(yùn)行時的程序執(zhí)行模型研究姓名：李世勝申請學(xué)位級別：博士專業(yè)：計算機(jī)軟件與理論指導(dǎo)教師：陳國良20100501摘要中實現(xiàn)了我們提出的針對JavaScript語言程序的動態(tài)類型系統(tǒng)處理算法，并以SunSpider測試程序集為基礎(chǔ)測量了TypeCastorl拘性能，驗證了其高效性。5優(yōu)化j“JavaScript程序在SIMD指令集硬件上的執(zhí)行性能：本文以我們提出的SIMD應(yīng)用程序接口ⅣI以及JavaScript

2、程序執(zhí)行引擎TypeCastor為基礎(chǔ)，設(shè)計j“JavaScript語言的SIMD指令接13，并以此接口優(yōu)化并測量j“JavaScript程序的執(zhí)行性能。6建立并分析了帶SIMD指令集硬件上的JavaScript程序的執(zhí)行模型TPW本文通過分析JavaScript的執(zhí)行行為、向量化優(yōu)化過程以及實驗數(shù)據(jù)，建立一個TPW模型用于描述JavaScript程序的執(zhí)行行為、指導(dǎo)SIMD優(yōu)化的過程、并預(yù)測SIMD優(yōu)化后程序的加速比和執(zhí)行特征。本文的

3、主要創(chuàng)新點有：1提出了一個新的針對虛擬機(jī)垃圾回收中對象移動問題的多線程任務(wù)調(diào)度算法，并對其進(jìn)行了嚴(yán)格的競爭比和問題復(fù)雜度分析，因此對垃圾回收中的線程調(diào)度算法的設(shè)計從理論上給出了指導(dǎo)方法。2首次提出了在Java虛擬機(jī)上的SIMD指令的編程接口，并通過實際的應(yīng)用程序驗證了接口的高效性。該接口貼合Java語言的特征、可移植性強(qiáng)并且足夠抽象，因此為程序員對Java等語言程序進(jìn)行向量化優(yōu)化提供了十分便利有效的工具。3系統(tǒng)的分析了JavaScrip

4、t語言的執(zhí)行行為，總結(jié)出其動態(tài)類型系統(tǒng)的可靜態(tài)預(yù)測性。同時，利用這一性質(zhì)，我們設(shè)計并實現(xiàn)了一個高效的JavaScript執(zhí)行引擎TypeCastor，使用這個引擎可以大大的提高實際的JavaScript程序的執(zhí)行效率。4建立了首個JavaScript程序在SIMD指令集硬件體系結(jié)構(gòu)上的程序執(zhí)行模型TPW。該模型可以用以指導(dǎo)對JavaScript程序的向量化優(yōu)化，并能夠?qū)?yōu)化結(jié)果進(jìn)行較為準(zhǔn)確的預(yù)測。關(guān)鍵詞：程序執(zhí)行模型、性能優(yōu)化、運(yùn)行時、