【摘要】：隨著實(shí)時(shí)系統(tǒng)應(yīng)用的不斷擴(kuò)大,對(duì)實(shí)時(shí)系統(tǒng)的研究越來越受到關(guān)注。實(shí)時(shí)系統(tǒng)與一般系統(tǒng)的差別在于,實(shí)時(shí)系統(tǒng)的運(yùn)算正確性不僅依賴運(yùn)算結(jié)果的正確,還依賴于運(yùn)算結(jié)束時(shí)間。實(shí)時(shí)系統(tǒng)能夠在指定或者確定的時(shí)間內(nèi)完成系統(tǒng)功能和外部或內(nèi)部、同步或異步時(shí)間做出響應(yīng)的系統(tǒng)。 在傳統(tǒng)概念上,實(shí)時(shí)系統(tǒng)分為硬實(shí)時(shí)系統(tǒng)和軟實(shí)時(shí)系統(tǒng)。在硬實(shí)時(shí)系統(tǒng)中,若一項(xiàng)操作在截止時(shí)間之后才完成,那么運(yùn)算結(jié)果就被認(rèn)為是無用的,更進(jìn)一步地說,這項(xiàng)錯(cuò)過截止時(shí)間的操作可能會(huì)導(dǎo)致整個(gè)系統(tǒng)的失敗。而軟實(shí)時(shí)系統(tǒng)卻可以容忍這樣的延遲,但是卻會(huì)降低服務(wù)質(zhì)量。在可調(diào)度性分析中,我們主要關(guān)心的是硬實(shí)時(shí)系統(tǒng)。可調(diào)度性分析在實(shí)時(shí)系統(tǒng)的設(shè)計(jì)中占有重要位置。任務(wù)是否可調(diào)度決定了該實(shí)時(shí)系統(tǒng)是否可以應(yīng)用在實(shí)際中。 早期的實(shí)時(shí)系統(tǒng)功能簡(jiǎn)單,如單板機(jī)、單片機(jī),以及簡(jiǎn)單的嵌入式實(shí)時(shí)系統(tǒng)等,其調(diào)度過程也相對(duì)簡(jiǎn)單。隨著實(shí)時(shí)系統(tǒng)應(yīng)用范圍的不斷擴(kuò)大,系統(tǒng)復(fù)雜性不斷提高,實(shí)時(shí)系統(tǒng)具備了一些新的特點(diǎn),比如多核處理器的引入。 近年來模型檢測(cè)的方法成功地應(yīng)用于可調(diào)度分析研究中�；跁r(shí)序自動(dòng)機(jī)衍生出的各式自動(dòng)機(jī)具有較強(qiáng)的表達(dá)能力,可以很好地刻畫出時(shí)間這個(gè)在實(shí)時(shí)系統(tǒng)中最重要的維度。其中任務(wù)自動(dòng)機(jī)擴(kuò)展了時(shí)序自動(dòng)機(jī),引入了由時(shí)間事件觸發(fā)的計(jì)算任務(wù),適用于為任務(wù)發(fā)生時(shí)間無規(guī)律的實(shí)時(shí)系統(tǒng)建模。如果存在一種調(diào)度策略使得這個(gè)任務(wù)自動(dòng)機(jī)所能產(chǎn)生的一系列任務(wù)都能調(diào)度成功,即它們能在截止時(shí)間前完成,則這個(gè)任務(wù)自動(dòng)機(jī)是能調(diào)度的。 實(shí)時(shí)系統(tǒng)上的調(diào)度策略可以分為不可搶占式調(diào)度與搶占式調(diào)度兩種。本文將討論基于任務(wù)自動(dòng)機(jī)的多核系統(tǒng)的可調(diào)性分析,提出這兩類調(diào)度策略的建模方法及其相應(yīng)模型的分析。
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2011
【分類號(hào)】：TP332

【共引文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前3條

1 高冠龍;基于時(shí)間自動(dòng)機(jī)模型驗(yàn)證方法優(yōu)化研究[D];鄭州大學(xué);2006年

2 金鑫;工作流模型性能分析與形式化驗(yàn)證：一種基于擴(kuò)展Petri網(wǎng)的方法[D];國防科學(xué)技術(shù)大學(xué);2006年

3 李忠慧;可視化與形式化相結(jié)合的安全協(xié)議分析與驗(yàn)證[D];重慶師范大學(xué);2010年

本文編號(hào)：2759288