《基於服務質量的高性能容錯計算機可用性模型研究》是依託哈爾濱工業大學，由左德承擔任項目負責人的面上項目。
基本介紹
- 中文名：基於服務質量的高性能容錯計算機可用性模型研究
- 依託單位：哈爾濱工業大學
- 項目類別：面上項目
- 項目負責人：左德承
項目摘要,結題摘要,
項目摘要
面向事務處理的高性能容錯計算機主要套用於國家關鍵行業，該類計算機要求一方面具有極強的事務處理能力，另一方面具有極高的可用性，可長期提供高速、穩定的信息處理服務，系統的延誤和失效可能會造成不可估量的損失。該類系統的可用性精確度量和預估具有重要意義。以面向事務處理的高性能容錯計算機作為目標系統，提出一種靜態分析與實測相結合的可用性評測方法，通過在系統研製，試運行階段得到的不充分故障數據和加速測試（故障注入、壓力測試）數據，參考經典故障分布，結合不完全覆蓋模型，並進行相關度、敏感度分析，建立系統可靠性/可用性模型；進一步，從用戶的角度分析可用的標準，用某段時間內系統服務質量的某種對應關係來衡量系統可用性，建立多態系統狀態模型，考察可靠性模型和多態模型狀態轉移機率的關係，選擇合適的分析工具進行解析，對各狀態機率進行加權作為系統可用性度量指標
結題摘要
套用於金融業、電信業、能源、交通、航空等關係到國家經濟安全和社會安全的關鍵行業中的事務處理型容錯計算機系統不僅要求具有極強的事務處理能力，還要求具有極高的可用性，能夠提供高速、穩定的信息處理服務。這類系統一旦發生延誤和失效將會造成不可估量的經濟損失，還有可能產生負面的社會影響。開展面向此類計算機系統的可用性測試研究，將有助於提高其可用性，對於保障國民經濟平穩運行具有重要意義。 本課題以事務處理型容錯計算機作為目標系統，順利完成了所有研究內容，達到了預期的研究成果，在國內外期刊和會議上發表一系列有關事務處理型容錯計算機可用性評測方面的論文。 主要研究成果包括：建立了事務處理型容錯計算機可用性評測故障集，取得了基於極值理論的故障覆蓋率估計模型、不完全故障覆蓋下多態系統部件重要度評估模型、事務處理型容錯計算機狀態等級劃分方法、負載行為相關的模組非一致性失效相關度模型、系統軟體故障傳播模型等一系列理論成果。提出靜態分析與實測相結合的可用性評測方法，通過在系統研製，試運行階段得到的不充分故障數據和加速測試（故障注入、壓力測試）數據，參考經典故障分布，結合不完全覆蓋模型，並進行相關度、敏感度分析，建立系統可靠性/可用性模型。以事務處理型容錯計算機可用性評測故障集為基礎，開發了基於ptrace的進程級暫存器故障注入工具、軟體實現的記憶體故障注入工具、網路設備故障注入工具等故障注入工具，並實現了基於Petri網的事務處理型容錯計算機可用性建模與評估工具，設計並開發了面向銀行典型套用的工作負載基準測試程式。
