容錯(cuò)實(shí)時(shí)系統(tǒng)可調(diào)度性分析研究.pdf

1、實(shí)時(shí)系統(tǒng)在工業(yè)、商業(yè)和軍事領(lǐng)域中得到了廣泛應(yīng)用，這類系統(tǒng)對(duì)響應(yīng)時(shí)間具有嚴(yán)格的要求，尤其是強(qiáng)實(shí)時(shí)系統(tǒng)，如果不能滿足響應(yīng)時(shí)限，將可能導(dǎo)致災(zāi)難性的后果。因此在實(shí)時(shí)系統(tǒng)設(shè)計(jì)過程中必須提供相應(yīng)的手段來保證整個(gè)系統(tǒng)運(yùn)行的實(shí)時(shí)性?？烧{(diào)度性分析是一種驗(yàn)證計(jì)算機(jī)系統(tǒng)是否滿足實(shí)時(shí)性要求的方法，廣泛應(yīng)用于實(shí)時(shí)系統(tǒng)的開發(fā)過程。但是隨著應(yīng)用需求的不斷提高，實(shí)時(shí)系統(tǒng)的設(shè)計(jì)也變得越來越復(fù)雜，尤其是實(shí)時(shí)操作系統(tǒng)、容錯(cuò)技術(shù)以及分布式計(jì)算技術(shù)在實(shí)時(shí)系統(tǒng)中的大量應(yīng)用，現(xiàn)有的

2、分析方法已無法滿足復(fù)雜的應(yīng)用需求。本文以實(shí)時(shí)控制系統(tǒng)的開發(fā)為背景，研究了在采用符合OSEK/VDX標(biāo)準(zhǔn)的實(shí)時(shí)操作系統(tǒng)，主/副版本任務(wù)錯(cuò)誤機(jī)制，以及在分布式系統(tǒng)環(huán)境下，進(jìn)行系統(tǒng)可調(diào)度性分析的方法。本文的工作主要集中在以下四個(gè)方面： 1.混合搶占和分組搶占調(diào)度下的系統(tǒng)可調(diào)度性分析研究?；旌蠐屨己头纸M搶占調(diào)度是OSEK/VDX操作系統(tǒng)規(guī)范推薦的兩種實(shí)時(shí)調(diào)度策略，目前并未見到針對(duì)這兩種調(diào)度策略的可調(diào)度性分析研究。本文分別針對(duì)這兩種調(diào)度策

3、略提出了計(jì)算任務(wù)最大響應(yīng)時(shí)間的方法，通過對(duì)任務(wù)最大響應(yīng)時(shí)間和截止時(shí)間的比較判定系統(tǒng)的可調(diào)度性。為了分析容錯(cuò)機(jī)制對(duì)系統(tǒng)可調(diào)度性的影響，將主/副版本容錯(cuò)機(jī)制分別與混合搶占調(diào)度和分組搶占調(diào)度相結(jié)合，提出了容錯(cuò)機(jī)制下任務(wù)最大響應(yīng)時(shí)間的計(jì)算方法，并在此算法基礎(chǔ)上給出了系統(tǒng)可承受最小錯(cuò)誤間隔的算法。 2.搶占門限調(diào)度下的系統(tǒng)可調(diào)度性分析研究。搶占門限調(diào)度比混合搶占和分組搶占具有更強(qiáng)的靈活性和通用型。但是目前針對(duì)這種調(diào)度策略的可調(diào)度性分析只考

4、慮了系統(tǒng)正常運(yùn)行的情況，并未考慮容錯(cuò)機(jī)制的影響。為此本文對(duì)這種調(diào)度策略進(jìn)行了可調(diào)度性分析的容錯(cuò)擴(kuò)展研究，提出了主/副版本容錯(cuò)機(jī)制下的任務(wù)最大響應(yīng)時(shí)間計(jì)算方法。為了獲得最優(yōu)的系統(tǒng)容錯(cuò)性能，還提出了優(yōu)化遍歷算法和啟發(fā)式算法來計(jì)算系統(tǒng)搶占門限優(yōu)先級(jí)分配的最優(yōu)策略。 3.分布式實(shí)時(shí)系統(tǒng)的可調(diào)度性分析研究?，F(xiàn)有的針對(duì)分布式實(shí)時(shí)系統(tǒng)的可調(diào)度性分析方法無法在滿足分析精確性的同時(shí)保證較高的計(jì)算性能，在實(shí)際應(yīng)用中無法滿足復(fù)雜實(shí)時(shí)系統(tǒng)設(shè)計(jì)對(duì)可調(diào)度性

5、分析的性能要求。為解決這一問題，本文針對(duì)事務(wù)周期不大于其截止時(shí)間的情況，提出了線性分布式系統(tǒng)事務(wù)端到端最大響應(yīng)時(shí)間和最小響應(yīng)時(shí)間的計(jì)算方法。該方法充分考慮了任務(wù)和消息的本地、全局依賴關(guān)系以及釋放抖動(dòng)的影響，可以獲得精確的分析結(jié)果。通過關(guān)鍵時(shí)刻分析和規(guī)范形式轉(zhuǎn)換，降低了算法的計(jì)算復(fù)雜度。實(shí)驗(yàn)表明，本文提出的分布式系統(tǒng)可調(diào)度性分析算法在保證分析精確性的同時(shí)，對(duì)于高CPU利用率和大任務(wù)量的情況都具有優(yōu)越的計(jì)算性能，可滿足復(fù)雜分布式系統(tǒng)的可調(diào)度

6、性分析要求。另外，通過對(duì)事務(wù)運(yùn)行最壞和最優(yōu)兩種邊界情況的分析可以精確地預(yù)測(cè)事務(wù)的最大響應(yīng)抖動(dòng)。 4.可調(diào)度性分析在實(shí)際產(chǎn)品開發(fā)中的工程應(yīng)用方法研究?；诔橄罄碚撃Ｐ偷难芯颗c工程實(shí)踐之間往往存在著較大差別，尤其是實(shí)際采用的操作系統(tǒng)本身的運(yùn)行開銷會(huì)影響分析結(jié)果的準(zhǔn)確性。本文以SmartOSEK操作系統(tǒng)為例，研究了OSEK操作系統(tǒng)運(yùn)行開銷對(duì)任務(wù)響應(yīng)時(shí)間的影響，提出了在實(shí)際運(yùn)行環(huán)境中根據(jù)操作系統(tǒng)的運(yùn)行開銷提高任務(wù)最大響應(yīng)時(shí)間計(jì)算精度的方