Java語言自動例化中擴展綁定時間分析技術(shù)的研究.pdf

1、當(dāng)前，計算機技術(shù)發(fā)展迅速。隨著硬件速度的提高，軟件的通用性設(shè)計和復(fù)雜架構(gòu)成為提升整體性能的瓶頸，軟件自動化的研究成為熱點問題，部分求值技術(shù)正是這一領(lǐng)域中提高軟件效率的方法之一。Java語言作為一種面向?qū)ο蟪绦蛟O(shè)計語言具有許多良好的特性，但其解釋執(zhí)行的方式產(chǎn)生的程序性能問題隨著軟件復(fù)雜度的提高變得更加明顯，因此將部分求值技術(shù)應(yīng)用于Java語言是該領(lǐng)域的研究熱點。 在傳統(tǒng)的面向?qū)ο笳Z言部分求值器中，綁定時間分析的不精確導(dǎo)致程序中大量

2、的可例化點被忽略，從而影響了整個部分求值的效果。為此本文提出了一種擴展綁定時間分析技術(shù)，該技術(shù)在傳統(tǒng)綁定時間分析之中引入了對象分析，將分析的單元從類變?yōu)榱藢ο?，從方法變?yōu)榱朔椒ǖ拿看握{(diào)用，進而提出一種對象類例化模型。在對象類例化模型中，同一個類在不同綁定時間上下文環(huán)境下構(gòu)造的對象可以對應(yīng)多個類例化模式，同樣對一個方法的多次調(diào)用也會由于上下文環(huán)境不同而對應(yīng)多個方法例化模式。采用這種方法就可以確定同一個類生成的不同對象在程序運行中各自具有的