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

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

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

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

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