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

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

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

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