计算机集群中负载均衡机制的形式化分析

发布时间：2020-08-04 06:27

【摘要】：本文主要应用Petri网工具形式化分析了计算机集群中负载均衡机制,在建立了负载均衡机制模型的基础上,做出了模型的形式化验证和性能分析。作者的工作主要体现在以下三个方面:一.研究了计算机集群中负载均衡机制;二.对Petri网的分析方法作了综合性的阐述;三.建立了负载均衡的Petri网模型,并应用Petri网理论分析了这个模型。使用形式化方法分析计算机集群中的负载均衡机制是系统的、科学的方法。 在第一章中,介绍了研究背景、现状和领域内常用的研究方法。第二章阐述了计算机集群中负载均衡机制的工作原理、基本的负载均衡算法,并且通过例子来直观的了解负载均衡具体的运作方式。第三章综合阐述了Petri网模型的建立方法,形式化验证方法和性能分析方法,并且简单的介绍了相应的数学理论工具马尔可夫链。第四章建立了计算机集群中负载均衡机制的Petri网模型,并作了形式化的分析。第五章对研究的存在问题和将来需要做的工作做了简要阐述和展望。性能分析中,非马尔可夫模型,辅助分析软件的应用都是值得进一步研究的问题。同时,使用本文的分析方法有助于开发出更加有效的负载均衡算法。
【学位授予单位】：河海大学
【学位级别】：硕士
【学位授予年份】：2006
【分类号】：TP338
【图文】：

计算机集群系统，并将这个系统命名为Be。wufl[2l’。Bewoulf从NASA传遍了整个科研机构和社团。实际上，Boewufl集群高性能计算中的一个分支或流派。f集群具有的特征:wulf是一种系统结构，它使得多个计算机组成的系统能够用wulf系统通常有一个管理节点和多个计算节点构成。它们通他网络)连接。管理节点监控计算节点，通常也是计算节点的端。当然它通常也是集群系统文件服务器。在大型的集群系统需求，这些管理节点的功能也可能由多个节点分摊。oulf系统通常由最常见的硬件设备组成，例如，尸C、以太网机。Beowulf系统很少包含用户定制的特殊设备。fi系统通常采用那些廉价且广为传播的软件，例如，Li~操P(v嶙和消息传递接口(MpD。1所示，是IBM的集群Clusetr1300上Beo认电If集群的组件

【引证文献】

相关期刊论文 前2条

1 欧文锐;王文星;;电子校务系统中间层服务器负载均衡算法研究[J];漯河职业技术学院学报;2010年02期

2 张文斌;;计算机集群中负载均衡技术的研究[J];电子测试;2011年11期

相关硕士学位论文 前9条

1 单芳芳;基于USB的专用模块控制程序设计[D];西安电子科技大学;2009年

2 闫斌;基于分布式的空间数据库引擎设计与实践[D];电子科技大学;2011年

3 王婧;基于粒子群优化算法的集群调度策略研究[D];中国石油大学;2011年

4 吴昊;AFS分布式文件系统中智能监督服务的设计与实现[D];南京理工大学;2007年

5 王群霞;基于集群的不确定因素下的动态负载平衡[D];浙江师范大学;2007年

6 孙茂增;面向集群计算的专用模块控制程序设计[D];西安电子科技大学;2008年

7 王昆;数字媒体节目的传输控制技术[D];山东轻工业学院;2009年

8 欧文锐;负载均衡技术在电子校务系统中的分析与应用[D];郑州大学;2009年

9 高飞;高可用性双层对等环集群的研究与设计[D];西南交通大学;2009年

本文编号：2780175