【摘要】： 目前,國家對高端容錯計算機的依賴程度日漸增加。高端容錯計算機研制的目標是面向國家關鍵應用領域,一方面具有極強的事務處理能力,另一方面具有極高的可用性,可長期提供高速、穩(wěn)定的信息處理服務。本文試圖解決的主要問題是如何對高端容錯計算機系統(tǒng)的可用性進行評估。 本文首先采用DRBD模型對高端容錯計算機系統(tǒng)進行初步建模,將系統(tǒng)劃分成靜態(tài)可靠性和動態(tài)相關性兩個部分。動態(tài)子系統(tǒng)部分被轉化為GSPN模型,并利用Petri網工具進行求解。之后含有動態(tài)相關性描述的部分抽象為一個部件放回到DRBD模型中,利用傳統(tǒng)的靜態(tài)可靠性框圖的計算公式,計算全系統(tǒng)的可用性。 為了求解高端容錯計算機DRBD模型轉化而來的大規(guī)模GSPN模型,本文擴展了開源的PIPE工具。首先實現(xiàn)了可用度分析模塊,用于求解模型的穩(wěn)態(tài)可用度;采用哈希表數據結構,改進其狀態(tài)空間產生器;采用磁盤存儲方式存儲穩(wěn)定狀態(tài)分布求解器的數據,從而支持大規(guī)模GSPN模型的分析。 實驗結果表明,改進后的PIPE工具一方面能夠準確的求解模型的穩(wěn)態(tài)可用度,從而量化的評估系統(tǒng)的可用性;另一方面其支持分析模型的規(guī)模得到了大幅度的擴充,分析模型的速度得到了很大的提高。改進后的PIPE工具能夠求解超大規(guī)模的GSPN模型,能夠很好地與DRBD結合,從而評估高端容錯計算機系統(tǒng)可用性。
【學位授予單位】：哈爾濱工業(yè)大學
【學位級別】：碩士
【學位授予年份】：2009
【分類號】：TP302.8

【引證文獻】

相關碩士學位論文 前1條

1 劉昊;計算機可用性建模與評估工具的設計與實現(xiàn)[D];哈爾濱工業(yè)大學;2011年

，

本文編號：2701435