多核系統(tǒng)上的調(diào)度策略建模與分析.pdf

1、隨著實(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)

2、的失敗。而軟實(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)功能簡單，如單板機(jī)、單片機(jī)，以及簡單的嵌入式實(shí)時(shí)系統(tǒng)等，其調(diào)度過程也相對(duì)簡單。隨著實(shí)時(shí)系統(tǒng)應(yīng)用范圍的不斷擴(kuò)大，系統(tǒng)復(fù)雜性不斷提高，實(shí)時(shí)系統(tǒng)具備了一些新的特點(diǎn)，比如多核處理器的引入。
　　近年來模型檢測的

3、方法成功地應(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)度兩種。