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

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

【引證文獻】

相關期刊論文 前2條

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

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

相關碩士學位論文 前9條

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

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

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

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

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

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

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

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

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

本文編號：2780175