基于抽象分析的最壞執(zhí)行時(shí)間分析技術(shù).pdf

1、最壞執(zhí)行時(shí)間（WCET）估值的需求在于為計(jì)算機(jī)控制產(chǎn)品和其他實(shí)時(shí)計(jì)算機(jī)系統(tǒng)的程序的時(shí)效性提供保證。這些估值可以用來(lái)保證中斷的及時(shí)地響應(yīng)，也可以確保周期任務(wù)的吞吐量，還有作為任務(wù)調(diào)度或調(diào)度策略的輸入等其他的情況。為了得到程序的WCET估值，軟件與硬件的性能都必須去考慮。WCET估值傳統(tǒng)的計(jì)算方法是通過(guò)測(cè)試或者繁瑣的手動(dòng)分析，而這些方法即耗時(shí)又容易出錯(cuò)。相反，靜態(tài)WCET分析可以計(jì)算出可靠的WCET估值卻不需要真正的運(yùn)行程序。
　　最

2、壞執(zhí)行時(shí)間（WCET）分析目的是為了確定在特定的硬件平臺(tái)環(huán)境下運(yùn)行的一個(gè)程序其執(zhí)行時(shí)間的上限。靜態(tài)分析是計(jì)算出最壞執(zhí)行時(shí)間的主要的方法之一，而且該方法不需要依靠在真正的硬件環(huán)境或模擬平臺(tái)上運(yùn)行得出結(jié)果。通常，靜態(tài)分析一般包括3個(gè)階段：Flow analysis，Low-level analysis and Calculation。
　　在此論文中，我們將提出一種方法名為抽象分析來(lái)進(jìn)行靜態(tài)分析。在 Flow analysis階段，首

3、先為測(cè)量的程序建立控制流圖（CFG），并將數(shù)據(jù)信息與該控制流圖相結(jié)合。然后對(duì)建立好的控制流圖進(jìn)行抽象分析得出基本的抽象結(jié)構(gòu)。使用這些抽象結(jié)構(gòu)可以將分析分成若干相互獨(dú)立的處理部分，這些獨(dú)立的處理部分可以并行的方式運(yùn)行分析。而且根據(jù)這些抽象結(jié)構(gòu)定義的方法，流信息可以自動(dòng)地在流分析階段生成。對(duì)于Low-level analysis階段，我們使用由先前其他論文中提出的常見(jiàn)方法來(lái)得出處理器行為的時(shí)序。這些結(jié)果很大程度上決定了我們的計(jì)算正確與否。在