Java語(yǔ)言自動(dòng)例化中擴(kuò)展綁定時(shí)間分析技術(shù)的研究.pdf

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

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