發(fā)布時間：2020-08-04 06:27

【摘要】：本文主要應(yīng)用Petri網(wǎng)工具形式化分析了計算機集群中負(fù)載均衡機制,在建立了負(fù)載均衡機制模型的基礎(chǔ)上,做出了模型的形式化驗證和性能分析。作者的工作主要體現(xiàn)在以下三個方面:一.研究了計算機集群中負(fù)載均衡機制;二.對Petri網(wǎng)的分析方法作了綜合性的闡述;三.建立了負(fù)載均衡的Petri網(wǎng)模型,并應(yīng)用Petri網(wǎng)理論分析了這個模型。使用形式化方法分析計算機集群中的負(fù)載均衡機制是系統(tǒng)的、科學(xué)的方法。 在第一章中,介紹了研究背景、現(xiàn)狀和領(lǐng)域內(nèi)常用的研究方法。第二章闡述了計算機集群中負(fù)載均衡機制的工作原理、基本的負(fù)載均衡算法,并且通過例子來直觀的了解負(fù)載均衡具體的運作方式。第三章綜合闡述了Petri網(wǎng)模型的建立方法,形式化驗證方法和性能分析方法,并且簡單的介紹了相應(yīng)的數(shù)學(xué)理論工具馬爾可夫鏈。第四章建立了計算機集群中負(fù)載均衡機制的Petri網(wǎng)模型,并作了形式化的分析。第五章對研究的存在問題和將來需要做的工作做了簡要闡述和展望。性能分析中,非馬爾可夫模型,輔助分析軟件的應(yīng)用都是值得進(jìn)一步研究的問題。同時,使用本文的分析方法有助于開發(fā)出更加有效的負(fù)載均衡算法。
【學(xué)位授予單位】：河海大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2006
【分類號】：TP338
【圖文】：

計算機集群系統(tǒng)，并將這個系統(tǒng)命名為Be。wufl[2l’。Bewoulf從NASA傳遍了整個科研機構(gòu)和社團。實際上，Boewufl集群高性能計算中的一個分支或流派。f集群具有的特征:wulf是一種系統(tǒng)結(jié)構(gòu)，它使得多個計算機組成的系統(tǒng)能夠用wulf系統(tǒng)通常有一個管理節(jié)點和多個計算節(jié)點構(gòu)成。它們通他網(wǎng)絡(luò))連接。管理節(jié)點監(jiān)控計算節(jié)點，通常也是計算節(jié)點的端。當(dāng)然它通常也是集群系統(tǒng)文件服務(wù)器。在大型的集群系統(tǒng)需求，這些管理節(jié)點的功能也可能由多個節(jié)點分?jǐn)�。oulf系統(tǒng)通常由最常見的硬件設(shè)備組成，例如，尸C、以太網(wǎng)機。Beowulf系統(tǒng)很少包含用戶定制的特殊設(shè)備。fi系統(tǒng)通常采用那些廉價且廣為傳播的軟件，例如，Li~操P(v嶙和消息傳遞接口(MpD。1所示，是IBM的集群Clusetr1300上Beo認(rèn)電If集群的組件

【引證文獻(xiàn)】

相關(guān)期刊論文 前2條

1 歐文銳;王文星;;電子校務(wù)系統(tǒng)中間層服務(wù)器負(fù)載均衡算法研究[J];漯河職業(yè)技術(shù)學(xué)院學(xué)報;2010年02期

2 張文斌;;計算機集群中負(fù)載均衡技術(shù)的研究[J];電子測試;2011年11期

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

1 單芳芳;基于USB的專用模塊控制程序設(shè)計[D];西安電子科技大學(xué);2009年

2 閆斌;基于分布式的空間數(shù)據(jù)庫引擎設(shè)計與實踐[D];電子科技大學(xué);2011年

3 王婧;基于粒子群優(yōu)化算法的集群調(diào)度策略研究[D];中國石油大學(xué);2011年

4 吳昊;AFS分布式文件系統(tǒng)中智能監(jiān)督服務(wù)的設(shè)計與實現(xiàn)[D];南京理工大學(xué);2007年

5 王群霞;基于集群的不確定因素下的動態(tài)負(fù)載平衡[D];浙江師范大學(xué);2007年

6 孫茂增;面向集群計算的專用模塊控制程序設(shè)計[D];西安電子科技大學(xué);2008年

7 王昆;數(shù)字媒體節(jié)目的傳輸控制技術(shù)[D];山東輕工業(yè)學(xué)院;2009年

8 歐文銳;負(fù)載均衡技術(shù)在電子校務(wù)系統(tǒng)中的分析與應(yīng)用[D];鄭州大學(xué);2009年

9 高飛;高可用性雙層對等環(huán)集群的研究與設(shè)計[D];西南交通大學(xué);2009年

本文編號：2780175