基于共享總線的多核實(shí)時系統(tǒng)WCET分析.pdf

1、憑借著高性能、低功耗的特點(diǎn)，多核處理器在嵌入式實(shí)時系統(tǒng)中的應(yīng)用越來越廣泛。然而，由多核實(shí)時系統(tǒng)造成的一個最大問題是人們無法對此系統(tǒng)的時間屬性做出比較精確的預(yù)測。在多核系統(tǒng)中，訪存總線通常作為一個非常重要的共享資源。通過共享訪存總線，多核系統(tǒng)中的處理器核心可以對主存進(jìn)行訪問。但是多個處理核心對共享總線并行訪問時會產(chǎn)生沖突，從而導(dǎo)致訪存延遲時間難以預(yù)測。
　　基于這一背景，本文主要研究的內(nèi)容是通過模型檢測技術(shù)來分析共享總線對多核實(shí)時系

2、統(tǒng)WCET的影響。本文所研究的多核系統(tǒng)模型是每個處理器核心都擁有一個私有的Cache，并且這些處理器核心可以通過共享訪存總線來對主存進(jìn)行訪問。本文首先利用基于抽象解釋技術(shù)的Cache分析方法來對此系統(tǒng)中指令Cache的行為進(jìn)行分析，從而可以得到運(yùn)行在每個處理器核心上的程序指令在Cache中是否命中的信息。根據(jù)這些信息，本文采用模型檢測器UPPAAL來對程序的執(zhí)行過程進(jìn)行時間自動機(jī)建模。這些程序時間自動機(jī)模型能夠準(zhǔn)確地模擬出程序在執(zhí)行過程

3、中訪問總線的時間行為。在本文中，共享總線的行為也通過時間自動機(jī)進(jìn)行建模。最后，通過運(yùn)行UPPAAL對由上述時間自動機(jī)模型構(gòu)成的多核系統(tǒng)模型進(jìn)行檢測，從而可以得到程序WCET值。
　　基于上述WCET分析技術(shù)，本文設(shè)計(jì)并實(shí)現(xiàn)了一個能夠?qū)诠蚕砜偩€的多核實(shí)時系統(tǒng)WCET進(jìn)行分析的工具，此WCET分析工具能夠自動生成程序時間自動機(jī)模型和總線時間自動機(jī)模型，并自動分析出程序WCET值。通過此WCET分析工具，本文分別對基于TDMA總線和