符合生存性的協(xié)同檢查點技術(shù)研究與實現(xiàn).pdf

1、大量實時系統(tǒng)作為安全關(guān)鍵實時系統(tǒng)的核心在運行著。在攻擊、錯誤和失效影響下，系統(tǒng)已經(jīng)不能保持完整的正常工作能力，生存性研究的目的就是保存受危害的信息，維護重要和關(guān)鍵服務。要對系統(tǒng)的生存性進行評估，必須首先定義系統(tǒng)對同一要求提供不同形式的替換服務集，對關(guān)鍵服務和一般服務給予不同級別的保護。其次對其提供的服務進行分析，量化服務的特征和可用性概率。 必須保證實時系統(tǒng)高度的可靠性和嚴格的時間確定性。實時調(diào)度算法與檢查點(Checkpoin

2、t)的結(jié)合是實現(xiàn)系統(tǒng)容錯的重要支撐機制。利用檢查點能縮短恢復過程，提高可用性。通常檢查點的實現(xiàn)，分為系統(tǒng)級和應用級，并各有其優(yōu)點和缺點。但大多數(shù)研究對系統(tǒng)的故障概率分布的假設(shè)不一定符合實際情況。 本文首先對生存性研究，實時容錯調(diào)度算法，檢查點技術(shù)研究的現(xiàn)狀進行綜述。分析了系統(tǒng)級和用戶級檢查點的優(yōu)點和缺點，介紹了結(jié)合兩者優(yōu)點的協(xié)同檢查點算法。然后對協(xié)同檢查點進行了實時容錯調(diào)度的研究，分析了檢查點和任務集的可調(diào)度性之間的約束條件，以