面向?qū)ο蟪绦虻淖顗膱?zhí)行時(shí)間分析研究.pdf

1、實(shí)時(shí)系統(tǒng)與其它應(yīng)用系統(tǒng)不同之處在于其正確性不僅取決于它的輸出結(jié)果的正確性，同時(shí)取決于其輸出所產(chǎn)生的時(shí)間，實(shí)時(shí)系統(tǒng)的結(jié)果只有在規(guī)定的時(shí)間范圍內(nèi)輸出才是有效的，因此，提前獲得系統(tǒng)中每個(gè)任務(wù)的最壞情況執(zhí)行時(shí)間(WCET)對(duì)于實(shí)時(shí)系統(tǒng)的調(diào)度分析具有非常重要的意義。當(dāng)前實(shí)時(shí)系統(tǒng)的開發(fā)多采用C或匯編語(yǔ)言，雖然用這些語(yǔ)言所開發(fā)的程序的運(yùn)行性能比較好，但是在開發(fā)過程中卻存在著開發(fā)平臺(tái)復(fù)雜、繁瑣、開發(fā)效率低等缺點(diǎn)，目前面向?qū)ο笳Z(yǔ)言被認(rèn)為是最適合開發(fā)大型實(shí)

2、時(shí)系統(tǒng)的語(yǔ)言，實(shí)時(shí)Java規(guī)范的提出使將Java語(yǔ)言應(yīng)用于實(shí)時(shí)系統(tǒng)開發(fā)成為可能，但是Java語(yǔ)言的動(dòng)態(tài)特性卻使程序的最壞執(zhí)行時(shí)間分析較悲觀和難以預(yù)測(cè)。 本文著重于實(shí)時(shí)Java程序的最壞情況執(zhí)行時(shí)間估計(jì)方法的研究，對(duì)原有的基于Javalin體系結(jié)構(gòu)的實(shí)時(shí)Java程序WCET分析方法從高層以及底層兩個(gè)方面進(jìn)行改進(jìn)，提出了一種基于Java字節(jié)碼的面向?qū)崟r(shí)Java程序的最壞執(zhí)行時(shí)間分析新方法，在高層分析中，本文通過對(duì)原有的WCETAn類

3、的擴(kuò)展，引入新的注釋函數(shù)，從而使分析方法可以更加有效的分析具有動(dòng)態(tài)特性的實(shí)時(shí)Java程序；在底層分析中，本文方法通過建立新的時(shí)間模型使程序的WCET預(yù)測(cè)更加精確，在時(shí)間模型建立過程中，分別將底層硬件的管道機(jī)制(Pipeline)以及高級(jí)緩存(Cache)機(jī)制對(duì)程序的最壞情況執(zhí)行時(shí)間的影響引入到時(shí)間模型的建立中，從而提高了對(duì)程序的最壞情況執(zhí)行時(shí)間預(yù)測(cè)的精確性。文章在給出方法詳細(xì)說(shuō)明的同時(shí)也給出了該方法對(duì)于標(biāo)準(zhǔn)實(shí)驗(yàn)程序的實(shí)驗(yàn)結(jié)果，并與其它方