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

【引證文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前1條

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

，

本文編號：2701435