基于響應(yīng)時(shí)間分析的混合臨界系統(tǒng)實(shí)時(shí)調(diào)度算法研究.pdf

1、隨著安全性關(guān)鍵(Safty-Critical)實(shí)時(shí)嵌入式系統(tǒng)的迅速普及和應(yīng)用，產(chǎn)品成本的要求日益嚴(yán)苛，在同一硬件平臺(tái)上開(kāi)始集成越來(lái)越多關(guān)鍵性不同的的功能和組件，系統(tǒng)的結(jié)構(gòu)趨于復(fù)雜。這種集成化的發(fā)展，同時(shí)還帶來(lái)功耗高、空間占用大，和不便于維護(hù)等問(wèn)題，使得諸如航空航天器、核反應(yīng)堆控制系統(tǒng)及金融在線(xiàn)貿(mào)易系統(tǒng)等混合臨界系統(tǒng)的設(shè)計(jì)和開(kāi)發(fā)面臨巨大的挑戰(zhàn)，其中尤以任務(wù)調(diào)度最為突出。在調(diào)度混合臨界系統(tǒng)中任務(wù)的時(shí)候不僅要保證安全性關(guān)鍵級(jí)任務(wù)能夠通過(guò)非常嚴(yán)

2、格的認(rèn)證，還要考慮因認(rèn)證過(guò)程中悲觀(guān)處理而可能出現(xiàn)的系統(tǒng)資源浪費(fèi)問(wèn)題。
　　當(dāng)前關(guān)于混合臨界系統(tǒng)的研究大多是基于雙重關(guān)鍵級(jí)狀態(tài)，沒(méi)有考慮任務(wù)的關(guān)鍵級(jí)超過(guò)三個(gè)的情況。當(dāng)高關(guān)鍵級(jí)任務(wù)的執(zhí)行時(shí)間需求增加時(shí)，系統(tǒng)拋棄相對(duì)低關(guān)鍵級(jí)任務(wù)以確保高關(guān)鍵級(jí)任務(wù)的執(zhí)行，這種處理方法太過(guò)于消極，實(shí)用性較差。針對(duì)這些問(wèn)題，本文從多個(gè)方面深入研究，主要的工作內(nèi)容如下:
　　首先，由于現(xiàn)有的實(shí)時(shí)系統(tǒng)關(guān)鍵級(jí)狀態(tài)往往不止兩個(gè)，而當(dāng)前基于響應(yīng)時(shí)間分析的混合臨界

3、系統(tǒng)任務(wù)調(diào)度模型是雙重關(guān)鍵級(jí)狀態(tài)，關(guān)于多重關(guān)鍵級(jí)混合臨界系統(tǒng)任務(wù)調(diào)度的響應(yīng)時(shí)間分析并沒(méi)有一個(gè)很準(zhǔn)確的分析方法。本文詳細(xì)分析了現(xiàn)有的響應(yīng)時(shí)間分析算法AMC，在此基礎(chǔ)上系統(tǒng)增加一個(gè)關(guān)鍵級(jí)，分析中間關(guān)鍵級(jí)狀態(tài)任務(wù)的響應(yīng)時(shí)間，由此得到多關(guān)鍵級(jí)狀態(tài)下處于最高和最低關(guān)鍵級(jí)之間所有關(guān)鍵級(jí)任務(wù)的響應(yīng)時(shí)間分析，從而將研究范圍擴(kuò)展到多關(guān)鍵級(jí)狀態(tài)，提出了基于響應(yīng)時(shí)間分析的多關(guān)鍵級(jí)調(diào)度算法，很好地解決了這個(gè)問(wèn)題。
　　其次，在傳統(tǒng)混合臨界系統(tǒng)中，當(dāng)系統(tǒng)關(guān)

4、鍵級(jí)由于某種機(jī)制觸發(fā)導(dǎo)致系統(tǒng)關(guān)鍵級(jí)模式提高后，系統(tǒng)中低于系統(tǒng)關(guān)鍵級(jí)的任務(wù)會(huì)被無(wú)限期掛起，不予執(zhí)行，直到系統(tǒng)關(guān)鍵級(jí)初始為低關(guān)鍵級(jí)狀態(tài)。這樣消極的處理方式無(wú)法保證一些關(guān)鍵級(jí)較低但對(duì)系統(tǒng)很重要的任務(wù)的執(zhí)行，即無(wú)法保證低關(guān)鍵級(jí)任務(wù)的服務(wù)質(zhì)量。針對(duì)這一問(wèn)題本文借鑒弱硬實(shí)時(shí)的概念，提出了具有弱硬實(shí)時(shí)約束的多重關(guān)鍵級(jí)混合臨界調(diào)度算法。在系統(tǒng)關(guān)鍵級(jí)模式提高以后，規(guī)定丟失的低關(guān)鍵級(jí)任務(wù)不能超過(guò)一定的比例，從而達(dá)到積極處理低關(guān)鍵級(jí)任務(wù)的目的。這種算法是算法